Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus.
Stefan SchifferAlexander FerreinGerhard LakemeyerPublished in: J. Intell. Robotic Syst. (2012)
Keyphrases
- situation calculus
- positional information
- reasoning tasks
- reasoning about actions
- blocks world
- taxonomic reasoning
- event calculus
- action theories
- initial state
- modal logic
- fluent calculus
- concurrent actions
- provably correct
- knowledge base
- sensing actions
- logical language
- cp nets
- action language
- knowledge representation and reasoning
- description logics
- answer set programming
- knowledge representation