Ability and Knowing How in the Situation Calculus.
Yves LespéranceHector J. LevesqueFangzhen LinRichard B. ScherlPublished in: Stud Logica (2000)
Keyphrases
- situation calculus
- event calculus
- action theories
- initial state
- reasoning about actions
- provably correct
- logical language
- reasoning tasks
- fluent calculus
- modal logic
- concurrent actions
- universally quantified
- agent programming
- blocks world
- taxonomic reasoning
- action language
- integrity constraints
- indirect effects
- sensing actions
- artificial intelligence
- general purpose