A Generative Dialogue System for Arguing about Plans in Situation Calculus.
Alexandros BelesiotisMichael RovatsosIyad RahwanPublished in: ArgMAS (2009)
Keyphrases
- situation calculus
- dialogue system
- initial state
- sensing actions
- dialogue management
- action theories
- spoken language
- event calculus
- natural language
- spoken dialogue systems
- reasoning about actions
- provably correct
- human users
- logical language
- modal logic
- agent programming
- concurrent actions
- planning problems
- blocks world
- domain knowledge
- taxonomic reasoning
- partial information
- incomplete information
- indirect effects
- artificial intelligence