A Generative Dialogue System for Arguing about Plans in Situation Calculus.

Alexandros Belesiotis Michael Rovatsos Iyad Rahwan

Published 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