Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science.
Giuseppe De GiacomoYves LespérancePublished in: AAMAS (2020)
Keyphrases
- situation calculus
- action theories
- event calculus
- logical language
- initial state
- provably correct
- modal logic
- reasoning about actions
- sensing actions
- blocks world
- concurrent actions
- agent programming
- artificial intelligence
- taxonomic reasoning
- universally quantified
- action language
- formal methods
- formal specification
- dynamic environments
- general purpose
- dynamic programming
- reinforcement learning