Non-Moniotonic and Conditionals in Dialogue Logic.
Antonius J. M. van HoofJaap HoepelmanPublished in: ELP (1989)
Keyphrases
- modal logic
- conditional logic
- proof theoretic
- classical logic
- dialogue management
- predicate logic
- logic programming
- belief revision
- computational properties
- neural network
- sound and complete axiomatization
- natural language dialogue
- linear logic
- conversational agent
- human machine
- truth values
- dialogue system
- spoken dialogue systems
- interactive systems
- nonmonotonic logics
- man machine
- formal theory
- epistemic logic
- logical framework
- commonsense reasoning
- deontic logic
- multi valued
- tutorial dialogue
- natural language
- nonmonotonic inference
- artificial intelligence
- data sets