Abstract
We describe an approach to abductive reasoning calledweighted abduction, which uses inference weights to compare competing explanations for observed behavior. We present an algorithm for computing a weighted-abductive explanation, and sketch a model-theoretic semantics for weighted abduction. We argue that this approach is well suited to problems of reasoning about mental state. In particular, we show how the model of plan ascription developed by Konolige and Pollack can be recast in the framework of weighted abduction, and we discuss the potential advantages and disadvantages of this encoding.
Similar content being viewed by others
References
Allen, J. F.: 1983, ‘Recognizing Intentions from Natural Language Utterances’. In: M. Brady and R. C. Berwick (eds.):Computational Models of Discourse. Cambridge, MA: MIT Press.
Calistri-Yeh, R. J.: 1991, ‘Utilizing User Models to Handle Ambiguity in Robust Plan Recognition.User Modeling and User-Adapted Interaction 1(4), 289–322.
Charniak E. and Goldman, R.: 1988, ‘A Logic for Semantic Interpretation’.26th Annual Meeting of the Association for Computational Linguistics, Buffalo, NY, pp. 87–94.
Cohen, P. R. and Levesque, H. J.: 1990, ‘Intention is Choice with Commitment’.Artificial Intelligence 42(3), 213–262.
Cohen, P. R., Morgan, J., and Pollack, M. E.: 1990,Intentions in Communication. Cambridge, MA: MIT Press.
Doyle, J.: 1979, ‘A Truth Maintenance System’.Artificial Intelligence 12(3), 231–272.
Hobbs, J. R., Stickel, M., Martin, P., and Edwards, D.: 1988, ‘Interpretation as Abduction’.26th Annual Meeting of the Association for Computational Linguistics, Buffalo, NY, pp. 95–103.
Kautz, H. A.: 1990, ‘A Circumscriptive Theory of Plan Recognition’. In: Cohen, Morgan, and Pollack (eds.):Intentions in Communication.
Konolige, K.: 1988, ‘Defeasible Argumentation in Reasoning About Events’.Proceedings of the International Symposium on Machine Intelligence and Systems, Torino, Italy.
Konolige, K. and Pollack, M. E.: 1989, ‘Ascribing Plans to Agents: Preliminary Report’.Eleventh International Joint Conference on Artificial Intelligence, Detroit, MI, pp. 924–930.
Levesque, H. J.: 1989, ‘A Knowledge-level Account of Abduction’.Eleventh International Joint Conference on Artificial Intelligence, Detroit, MI, pp. 1061–1067.
Ng, H. T. and Mooney, R. J.: 1989, ‘Occam's Razor Isn't Sharp Enough: The Importance of Coherence in Abductive Explanation’.Second AAAI Workshop on Plan Recognition, Detroit, MI.
Pierce, C.: 1955,Abduction and Induction. New York, NY: Dover.
Pollack, M. E.: 1986, ‘Inferring Domain Plans in Question-answering’. TR 403, Artificial Intelligence Center, SRI International, Menlo Park, CA. (Also appears as a University of Pennsylvania PhD thesis.)
Pollack, M. E.: 1990, ‘Plans as Complex Mental Attitudes’. In: Cohen, Morgan, and Pollack (eds.):Intentions in Communication.
Poole, D.: 1989, ‘Explanation and Prediction: An Architecture for Default and Abductive Reasoning.Computational Intelligence 5(2), 97–110.
Pople, H.: 1982, ‘Heuristic Methods for Imposing Structure on Ill-structured Problems: The Structuring of Medical Diagnosis’. In: P. Szolovits (ed.):Artificial Intelligence in Medicine. Boulder, CO: Westview Press.
Quilici, A., Dyer, M., and Flowers, M.: 1988, ‘Recognizing and Responding to Plan-oriented Misconceptions’.Computational Linguistics 14(3), 38–51.
Raskutti, B. and Zukerman, I.: 1991, ‘Generation and Selection of Likely Interpretations during Plan Recognition’.User Modeling and User-Adapted Interaction 1(4), 323–353.
Reggia, J.: 1983, ‘Diagnostic Expert Systems Based on a Set-covering Model’.International Journal of Man-Machine Studies 19(5), 437–460.
Reiter, R.: 1987, ‘A Theory of Diagnosis from First Principles’.Artificial Intelligence 32(1), 57–96.
Selman, B. and Levesque, H.: 1990, ‘Abductive and Default Reasoning: A Computational Core’.Eighth National Conference on Artificial Intelligence (AAAI), pp. 343–348.
Sidner, C. L.: 1985, ‘Plan Parsing for Intended Response Recognition in Discourse’.Computational Intelligence 1(1), 1–10.
Selman, B. and Kautz, H.: 1988, ‘The Complexity of Model-preference Default Theories’. In: M. Reinfrank, J. deKleer, M. L. Ginsberg, and E. Sandewall (eds.):Second International Workshop on Non-Monotonic Reasoning. Berlin: Springer Verlag.
Stickel, M. E.: 1988a, ‘A Prolog-like Inference System for Computing Minimum-cost Abductive Explanations in Natural-language Interpretation’.International Computer Science Conference, Hong Kong, pp. 343–350.
Stickel, M. E.: 1988b, ‘A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler’.Journal of Automated Reasoning 4, 353–380.
Author information
Authors and Affiliations
Additional information
Dr. Douglas E. Appelt is a Senior Computer Scientist in the Artificial Intelligence Center at SRI International, as well as a research affiliate at the Center for the Study of Language and Information. He received a B.A. degree in Computer Science from Michigan State University, and M.S. and Ph.D. degrees in Computer Science from Stanford University. Dr. Appelt has published a book and numerous technical papers about the application of problem solving techniques and speech-act theory to the generation and understanding of natural language.
Dr. Martha E. Pollack received her B.A. degree in Linguistics from Dartmouth College, and her M.S.E.E. and Ph.D. degrees in Computer and Information Science from the University of Pennsylvania. Since 1985, she has been a Computer Scientist at the Artificial Intelligence Center at SRI International, and a Senior Researcher at the Center for the Study of Language and Information. She is also Consulting Assistant Professor of Computer Science at Stanford University. She has conducted research and published papers in theories of rational action, plan generation and plan recognition, experimental evaluation of AI systems, and natural-language semantics and pragmatics.
Rights and permissions
About this article
Cite this article
Appelt, D.E., Pollack, M.E. Weighted abduction for plan ascription. User Model User-Adap Inter 2, 1–25 (1992). https://doi.org/10.1007/BF01101857
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01101857