Using hierarchical autoepistemic logic to model beliefs in dialogue (1994) [1 citations — 1 self]
Abstract:
The study of beliefs in dialogue has proceeded along two separate lines: the creation of logical formalisms which capture the inferences that it seems reasonable for agents to make, and the construction of implemented models that approximate what agents actually do. In our project to connect the two approaches we have created a belief model based on a reason maintenance system, and here we present a theory in nonmonotonic logic which describes the behaviour of this model. We start out by examining the consequences of combining the use of modal operators (to represent nested beliefs) with autoepistemic operators (as a means of nonmonotonic inference). We then look at how some general principles of belief modelling can be represented, such as the persistence and ascription of beliefs, before applying our findings to the construction of a theory for the specific domain in which we are interested. We present a worked example of a dialogue in this domain, and outline the restrictions on
Citations
| 4388 | Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference – Pearl - 1988 |
| 1224 | Some philosophical problems from the standpoint of arti cial intelligence – McCarthy, Hayes - 1969 |
| 263 | Otter 3.0 Reference Manual and Guide – McCune - 1994 |
| 165 | Reasoning about change – Shoham - 1988 |
| 120 | Multivalued logics: A uniform approach to reasoning in artificial intelligence – Ginsberg - 1988 |
| 110 | An application of default logic to speech act theory – Perrault - 1990 |
| 68 | Persistence, intentions, and commitment – Cohen, Levesque - 1990 |
| 58 | A guide to the modal logics of knowledge and belief: preliminary draft – Halpern, Moses - 1985 |
| 48 | Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning: Preliminary Report – Konolige - 1988 |
| 23 | A practical nonmonotonic theory for reasoning about speech acts – Appelt, Konolige - 1988 |
| 7 | A Multi-Agent Planner for Modelling Dialogue – Taylor - 1994 |
| 2 | An ATMS-based belief model for dialogue simulation – Taylor - 1993 |
