On the Progression of Knowledge in the Situation Calculus.
Yongmei LiuXiming WenPublished in: IJCAI (2011)
Keyphrases
- situation calculus
- sensing actions
- event calculus
- action theories
- knowledge base
- knowledge representation
- expert systems
- domain knowledge
- logical language
- provably correct
- fluent calculus
- initial state
- background knowledge
- reasoning about actions
- domain specific knowledge
- agent programming
- human experts
- artificial intelligence