On knowledge-based programming with sensing in the situation calculus.
Raymond ReiterPublished in: ACM Trans. Comput. Log. (2001)
Keyphrases
- situation calculus
- sensing actions
- action theories
- event calculus
- programming language
- fluent calculus
- reasoning tasks
- reasoning about actions
- modal logic
- provably correct
- initial state
- logical language
- agent programming
- concurrent actions
- modal operators
- indirect effects
- blocks world
- expert systems
- logical theories
- universally quantified
- taxonomic reasoning