Abductive Inference of Plans and Intentions in Information-Seeking Dialogues
A robust man-machine interaction requires the capability for inferring the beliefs and intentions of each active agent. In this article it will be proposed a framework that supports the recognition of plans and intentions through abductive inferences over discourse sentences. The possible actions, world knowledge, events and states are represented by extended logic programs (LP with explicit negation) and the abductive inference process is modeled by the framework proposed by Pereira ([PAA92]) which is based on the Well Founded Semantics augmented with explicit negation (WFSX) and contradiction removal semantics (CRSX). It will be shown how this framework supports abductive planning with Event Calculus ([Esh88]) and some classical examples will be shown ([Lit 85, Pol 86]) in the domain of information-seeking dialogues. Finally, some open problems and future work will be pointed out.
KeywordsLogic Program Abductive Reasoning User Goal Abductive Inference Hypothetical Reasoning
Unable to display preview. Download preview PDF.
- [AP92]Douglas E. Appelt and Martha E. Pollack. Weighted abduction for plan ascription. User Modeling and User-Adapted Interaction, 2(1), 1992.Google Scholar
- [CL90]P. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3), 1990.Google Scholar
- [CMP90]P. Cohen, J. Morgan, and M. Pollack. Intentions in Communication. MIT Press, Cambridge, MA, 1990.Google Scholar
- [Esh88]Kave Eshghi. Abductive planning with event calculus. In ICLP, 1988.Google Scholar
- [Lit85]Diane J. Litman. Plan Recognition and Discourse Analysis: An Integrated Approach for Understanding Dialogues. PhD thesis, Dep. of Computer Science, University of Rochester, 1985.Google Scholar
- [Lop91]J. G. Lopes. Architecture for intentional participation of natural language interfaces in conversations. In C. Brown and G. Koch, editors, Natural Language Understanding and Logic Programming III. North Holland, 1991.Google Scholar
- [Mis91]Lode Missiaen. Localized Abductive Planning with the Event Calculus. PhD thesis, Univ. Leuven, 1991.Google Scholar
- [PAA92]L. M. Pereira, J. J. Alferes, and J. N. Aparício. Contradiction removal semantics with explicit negation. In Proc. Applied Logic Conf., 1992.Google Scholar
- [Pol 86]Martha E. Pollack. Inferring Domain Plans in Question-Answering. PhD thesis, Dep. of Computer and Information Science, University of Pennsylvania, 1986.Google Scholar
- [QL92]P. Quaresma and J. G. Lopes. A two-headed architecture for intelligent multimedia man-machine interaction. In Artificial Intelligence V-methodology, systems, applications. B. de Boulay and V. Sgurev, 1992.Google Scholar