A semantic characterization of a useful fragment of the situation calculus with knowledge.
Gerhard LakemeyerHector J. LevesquePublished in: Artif. Intell. (2011)
Keyphrases
- situation calculus
- action theories
- event calculus
- sensing actions
- semantic information
- domain knowledge
- initial state
- semantic network
- high level
- logical theories
- reasoning tasks
- knowledge base
- reasoning about actions
- higher level
- blocks world
- provably correct
- knowledge sources
- integrity constraints
- domain independent
- conceptual structures
- domain ontology
- programming language
- taxonomic reasoning