Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Douglas E. Appelt and Martha E. Pollack. Weighted abduction for plan ascription. User Modeling and User-Adapted Interaction, 2(1), 1992.
P. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3), 1990.
P. Cohen, J. Morgan, and M. Pollack. Intentions in Communication. MIT Press, Cambridge, MA, 1990.
Kave Eshghi. Abductive planning with event calculus. In ICLP, 1988.
R. E. Fikes and Nils J. Nilsson. Strips: A new approach to the application of theorem proving to problem solving. Artificial Intellligence, (2):189–208, 1971.
D. Litman and J. Allen. Aplan recognition model for subdialogues in conversations. Cognitive Science, (11):163–200, 1987.
Diane J. Litman. Plan Recognition and Discourse Analysis: An Integrated Approach for Understanding Dialogues. PhD thesis, Dep. of Computer Science, University of Rochester, 1985.
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.
Lode Missiaen. Localized Abductive Planning with the Event Calculus. PhD thesis, Univ. Leuven, 1991.
L. M. Pereira, J. J. Alferes, and J. N. AparÃcio. Contradiction removal semantics with explicit negation. In Proc. Applied Logic Conf., 1992.
Martha E. Pollack. Inferring Domain Plans in Question-Answering. PhD thesis, Dep. of Computer and Information Science, University of Pennsylvania, 1986.
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.
Earl D. Sacerdoti. A Structure for Plans and Behavior. American Elsevier, New York, 1977.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media New York
About this chapter
Cite this chapter
Quaresma, P., Lopes, J.G. (1994). Abductive Inference of Plans and Intentions in Information-Seeking Dialogues. In: Baeza-Yates, R. (eds) Computer Science 2. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-9805-0_31
Download citation
DOI: https://doi.org/10.1007/978-1-4757-9805-0_31
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-9807-4
Online ISBN: 978-1-4757-9805-0
eBook Packages: Springer Book Archive