A formal account of opportunism based on the situation calculus.
Jieting LuoJohn-Jules Ch. MeyerPublished in: AI Soc. (2017)
Keyphrases
- situation calculus
- action theories
- event calculus
- initial state
- fluent calculus
- concurrent actions
- reasoning about actions
- reasoning tasks
- provably correct
- logical language
- modal logic
- blocks world
- agent programming
- formal methods
- sensing actions
- artificial intelligence
- taxonomic reasoning
- action language
- knowledge representation