Asynchronous knowledge with hidden actions in the situation calculus.
Ryan F. KellyAdrian R. PearcePublished in: Artif. Intell. (2015)
Keyphrases
- situation calculus
- sensing actions
- action theories
- reasoning about actions
- initial state
- concurrent actions
- event calculus
- domain knowledge
- fluent calculus
- modal logic
- logical theories
- indirect effects
- logical language
- action language
- modal operators
- provably correct
- blocks world
- reasoning tasks
- knowledge representation
- knowledge base
- universally quantified
- expert systems
- taxonomic reasoning
- agent programming
- multi agent systems
- high level