Loading...
Please wait, while we are loading the content...
Similar Documents
Belief update, the markovian situation calculus, and discrete event systems (1997).
| Content Provider | CiteSeerX |
|---|---|
| Author | Oneill, Tyrone Foo, Norman |
| Abstract | . Imposing a markovian condition on the situation calculus enables the embedding of situation calculus theories into the DEVS (discrete event system specification) modelling and simulation framework. DEVS has an algebraic formalism relying on classical systems theory, and has been used to good effect in practical domains. The demonstrated correspondence between the situation calculus and DEVS is based upon an independently interesting translation from the semantics of circumscription into a simpler semantics based on belief updates. 1 Introduction A markovian situation calculus is one for which the history of the transitions caused by event occurrence is functionally irrelevant to determining the future transitions of the system. Markovian systems are of fundamental importance in systems theory and control. Unfortunately, much of the attention given to the situation calculus has either explicity assumed a non-markovian system or ignored the issue altogether. The research described in ... |
| File Format | |
| Publisher Date | 1997-01-01 |
| Access Restriction | Open |
| Subject Keyword | Belief Update Markovian Situation Calculus Situation Calculus Discrete Event System Situation Calculus Theory Fundamental Importance Discrete Event System Specification Good Effect Classical System Theory Event Occurrence Interesting Translation Algebraic Formalism Markovian System Simpler Semantics Practical Domain Markovian Condition Future Transition Demonstrated Correspondence Simulation Framework Non-markovian System |
| Content Type | Text |
