Reasoning by plausible inference
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.
Unable to display preview. Download preview PDF.
- Bellman and Zadeh '70, ‘Decision-Making in a Fuzzy Environment', Management Science, vol. 17, 141–164.Google Scholar
- Collins '78, Studies of Plausible Reasoning, Final Report, October 1976 — February 1978, Vol. I: ‘Human Plausible Reasoning,’ Bolt Beranek and Newman Report No. 3810.Google Scholar
- Doyle '78, ‘Truth Maintenance Systems for Problem Solving', M.I.T., AI-TR-419, Jan. 1978Google Scholar
- Duda, Hart, Nilsson, and Sutherland '77, 'semantic Network Representations in Rule-Based Inference Systems', S.R.I., AI Center, TN-136, 1977Google Scholar
- 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. 94025Google Scholar
- Fikes '75, ‘Deductive Retrieval Mechanisms for State Description Models', IJCAI4, Tbilisi, USSR, Sept. 1975, pp. 99–106Google Scholar
- 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. 1978Google Scholar
- Polya '54, ‘Patterns of Plausible Inference', Princeton University Press, Princeton, N.J., 1954Google Scholar
- Shortliffe and Buchanan '75, ‘A Model of Inexact Reasoning in Medicine', Math. Biosci. 23, pp. 351–379, 1975Google Scholar
- Shortliffe '76, ‘Computer-Based Medical Consultations: MYCIN', Elsevier, New York, 1976Google Scholar
- 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–196Google Scholar
- Thompson '80, ‘Logical Support in a Time-Varying Model', These Proceedings.Google Scholar
- Yager '79, Measurement-Informational Discussion of Fuzzy Union and Intersection', Int. J. Man-Machine Studies, vol. 11. 189–200Google Scholar