Transforming Timed Influence Nets into Time Sliced Bayesian Networks
نویسندگان
چکیده
The paper presents an algorithm for transforming Timed Influence Nets (TIN) into Time Sliced Bayesian Networks (TSBN). The advantage of TINs lies in their ability to represent both causal and time-sensitive information in a compact and integrated manner. They are used to help a decision maker model the causal and temporal interdependencies among variables in a system. The TIN formalism offers a suite of analysis tools that can be used by a user to analyze the impact of alternate courses of actions on likely outcomes. An even larger, and more robust suite of analysis tools exists for TSBNs. These algorithms also allow analyses that are not available in the TIN formalism, e.g., provision for incorporating real-time information in the form of evidence regarding certain variables and calculating its impact on the rest of the system. The knowledge acquisition process of TSBNs, however, is intractable for large models. This paper is an attempt to combine the advantages of both modeling paradigms, TIN and TSBN, into a single formalism by providing a mapping from a TIN to a TSBN. The proposed formalism uses the TIN approach for the model building and the TSBN for analysis and evaluation. A system analyst, in this combined approach, interacts with a TIN, and the analysis results obtained on the TSBN are mapped back to the TIN, making the transformation completely hidden to the analyst.
منابع مشابه
14th Iccrts
An extension to the formalism of Timed Influence Networks, including time-varying and cyclic influences is presented. The proposed time-varying influence functions allow modeling of influences whose strengths vary with time. A cyclic influence, on the other hand, provides a provision for a selfpromoting set of influences. The two extensions will provide TIN models with the capability to depict ...
متن کاملModeling time-varying uncertain situations using Dynamic Influence Nets
This paper enhances the Timed Influence Nets (TIN) based formalism to model uncertainty in dynamic situations. The enhancements enable a system modeler to specify persistence and time-varying influences in a dynamic situation that the existing TIN fails to capture. The new class of models is named Dynamic Influence Nets (DIN). Both TIN and DIN provide an alternative easy-to-read and compact rep...
متن کاملTimed-Arc Petri Nets vs. Networks of Timed Automata
We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass where every clock used in the guard has to be reset). The presented translations are very tight (up to isomorphism of labelled transition systems with time). This provides a convenient characterization from the theoretical poin...
متن کاملAlgebraic Approach to Timed Petri Nets with Applications to Communication Networks
In this diploma thesis, we define a formalism for a time-extension to classic P/T (or Petri-)nets. This allows time durations to be assigned to transitions of a P/T net, representing delays present in the systems that are being modelled, which in turn influence (restrict) the firing behaviour of the nets. This is especially useful when modelling time-critical systems. The new contribution of th...
متن کامل