Abstract
The PI (Plausible Inference) system has been implemented with the ability to reason in both directions, unlike previous AI systems for inexact reasoning. This is combined with truth-maintenance, dependency-directed backtracking, and time-varying contexts to permit modelling dynamic situations. Four rules of inference are employed in PI, Modus Ponens, Modus Tollens, Confirmation, and Denial. Each of these causes credibility as well as truth value to be propagated in a semantic network of assertions. Applications are foreseen in ‘guessing’ the answers to problems in formal deduction so that search trees may be pruned, and in the flexible selection of strategies for planning, as well as diagnostic or trouble-shooting models involving less-than-certain assertions.
This paper represents the results of one phase of research carried out at the Jet Propulsion Laboratory, California Institute of Technology, under contract NAS7-100, sponsored by the National Aeronautics and Space Administration.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bellman and Zadeh '70, ‘Decision-Making in a Fuzzy Environment', Management Science, vol. 17, 141–164.
Collins '78, Studies of Plausible Reasoning, Final Report, October 1976 — February 1978, Vol. I: ‘Human Plausible Reasoning,’ Bolt Beranek and Newman Report No. 3810.
Doyle '78, ‘Truth Maintenance Systems for Problem Solving', M.I.T., AI-TR-419, Jan. 1978
Duda, Hart, Nilsson, and Sutherland '77, 'semantic Network Representations in Rule-Based Inference Systems', S.R.I., AI Center, TN-136, 1977
Duda, Hart, Konolige, and Reboh '79, ‘A Computer-Based Consusltant for Mineral Exploration', Final Report, September 1979, S.R.I., AI Center, Menlo Park, CA. 94025
Fikes '75, ‘Deductive Retrieval Mechanisms for State Description Models', IJCAI4, Tbilisi, USSR, Sept. 1975, pp. 99–106
London '78, ‘Dependency Networks as a Representation for Modelling in General Problem Solvers', Ph. D. Thesis, U. of Maryland, Computer Science Dept., TR-698, Sept. 1978
Polya '54, ‘Patterns of Plausible Inference', Princeton University Press, Princeton, N.J., 1954
Shortliffe and Buchanan '75, ‘A Model of Inexact Reasoning in Medicine', Math. Biosci. 23, pp. 351–379, 1975
Shortliffe '76, ‘Computer-Based Medical Consultations: MYCIN', Elsevier, New York, 1976
Stallman and Sussman '77, ‘Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis', Artificial Intelligence, vol. 9, no. 2, pp. 135–196
Thompson '80, ‘Logical Support in a Time-Varying Model', These Proceedings.
Yager '79, Measurement-Informational Discussion of Fuzzy Union and Intersection', Int. J. Man-Machine Studies, vol. 11. 189–200
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Friedman, L. (1980). Reasoning by plausible inference. In: Bibel, W., Kowalski, R. (eds) 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980. CADE 1980. Lecture Notes in Computer Science, vol 87. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10009-1_11
Download citation
DOI: https://doi.org/10.1007/3-540-10009-1_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10009-6
Online ISBN: 978-3-540-38140-2
eBook Packages: Springer Book Archive