Reasoning about physical systems with the situation calculus
| Author(s) : | Todd G. Kelley, |
| Publisher : | N/A |
| Publication Date : | 1996 |
| ISSN : | N/A |
| Abstract : | I use the results of (Reiter 1996) to show how the situation calculus can be used to reason about a physical system with continuously varying parameters and concurrent actions. The situation calculus model of a toilet is discussed as an example that is well understood, yet interesting. We present a PROLOG technology simulator for situation calculus models, and describe how to translate a situation calculus axiom into its PROLOG equivalent., |