A description logic based situation calculus.
Yilan GuMikhail SoutchanskiPublished in: Ann. Math. Artif. Intell. (2010)
Keyphrases
- situation calculus
- action theories
- event calculus
- initial state
- reasoning about actions
- reasoning tasks
- logical language
- fluent calculus
- concurrent actions
- provably correct
- modal logic
- blocks world
- agent programming
- software engineering
- search algorithm
- sensing actions
- high level
- logical theories
- universally quantified