Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem.
Todd G. KelleyPublished in: KR (1996)
Keyphrases
- complex systems
- situation calculus
- dynamic systems
- power plant
- fuzzy cognitive maps
- agent based modeling
- action theories
- event calculus
- concurrent actions
- initial state
- multi agent systems
- steady state simulation
- provably correct
- agent based models
- complex adaptive systems
- physical systems
- logical language
- modal logic
- biological systems
- indirect effects
- sensing actions
- artificial intelligence
- reasoning about actions
- blocks world
- agent programming