Belief Update, the Markovian Situation Calculus, and Discrete Event Systems.
Tyrone O'NeillNorman Y. FooPublished in: Australian Joint Conference on Artificial Intelligence (1997)
Keyphrases
- discrete event systems
- situation calculus
- belief update
- petri net
- complex systems
- formal theory
- belief revision
- telecommunication networks
- belief change
- model based diagnosis
- action theories
- discrete event
- reasoning about actions
- modal logic
- initial state
- planning under uncertainty
- belief state
- temporal constraints
- knowledge base
- dynamic systems
- multi agent systems
- deductive databases
- ai planning
- first order logic