The Logic of Plausible Reasoning: A Core Theory
Cognitive SciencePublished 1 January 1989Open access
Allan Collins, Ryszard S. Michalski
Citations361
SJR quartileQ1
SJR score1.13
SNIP1.32
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This is one of the first attempts to construct a formal theory that addresses both the semantic and parametric aspects of the kind of everyday reasoning that pervades.
Abstract
The paper presents a core theory of human plausible reasoning based on analysis of people's answers to everyday questions about the world. The theory consists of three parts: a formal representation of plausible inference patterns; such as deductions, inductions, and analogies, that are frequently employed in answering everyday questions; a set of parameters, such as conditional likelihood, typicality, and similarity, that affect the certainty of people's answers to such questions; and a system relating the different plausible inference patterns and the different certainty parameters. This is one of the first attempts to construct a formal theory that addresses both the semantic and parametric aspects of the kind of everyday reasoning that pervades. all of human discourse.
Keywords
Computer Science
Judgment under Uncertainty: Heuristics and Biases
23,088 Citations1975Amos Tversky, Daniel Kahneman
ASPECTS OF THE THEORY OF SYNTAX
10,941 Citations1964Noam Chomsky
Cognitive PsychologyAvailability: A heuristic for judging frequency and probability
9,943 Citations1973Amos Tversky, Daniel Kahneman
Psychological ReviewA spreading-activation theory of semantic processing.
8,093 Citations1975Allan M. Collins, Elizabeth F. Loftus
The present paper shows how the extended theory can account for results of several production experiments by Loftus, Juola and Atkinson's multiple-category experiment, Conrad's sentence-verification experiments, and several categorization experiments on the effect of semantic relatedness and typicality by Holyoak and Glass, Rips, Shoben, and Smith, and Rosch.
Cambridge University Press eBooksJudgment under Uncertainty
8,011 Citations1982Kahneman, Daniel 1934-2024, Slovic, Paul 1938- +1 more
Psychological ReviewFeatures of similarity.
7,287 Citations1977Amos Tversky
The metric and dimensional assumptions that underlie the geometric representation of similarity are questioned on both theoretical and empirical grounds and a set of qualitative assumptions are shown to imply the contrast model, which expresses the similarity between objects as a linear combination of the measures of their common and distinctive features.
Human Problem Solving
4,923 Citations1972Allen Newell
Cognitive PsychologySubjective probability: A judgment of representativeness
4,871 Citations1972Daniel Kahneman, Amos Tversky
Elsevier eBooksA FRAMEWORK FOR REPRESENTING KNOWLEDGE
4,545 Citations1988Marvin Minsky
The enormous problem of the volume of background common sense knowledge required to understand even very simple natural language texts is discussed and it is suggested that networks of frames are a reasonable approach to represent such knowledge.
Artificial IntelligenceA logic for default reasoning
3,920 Citations1980Raymond Reiter
This paper proposes a logic for default reasoning, develops a complete proof theory and shows how to interface it with a top down resolution theorem prover, and provides criteria under which the revision of derived beliefs must be effected.
Cambridge University Press eBooksSimilarity and Analogical Reasoning
2,397 Citations1989Stella Vosniadou, Stella Vosniadou +22 more
Semantic Information Processing
2,175 Citations1968Marvin Minsky
This book solves different problems like resolving ambiguities in word meanings, finding analogies between things, making logical and nonlogical inference, resolving inconsistency in information engaging in coherent discourse with a person and more.
Artificial IntelligenceFusion, propagation, and structuring in belief networks
2,152 Citations1986Judea Pearl
Cognitive ScienceAn overview of the KL-ONE Knowledge Representation System
1,620 Citations1985R. J. Brachman, James G. Schmolze
The kernel ideas of KL-ONE are presented, emphasizing its ability to form complex structured descriptions, and notions of taxonomy and classification that are central to it are highlighted.
Artificial IntelligenceA theory and methodology of inductive learning
1,006 Citations1983Ryszard S. Michalski
The presented theory views inductive learning as a heuristic search through a space of symbolic descriptions, generated by an application of various inference rules to the initial observational statements.
Cognitive ScienceAn Overview of the KL‐ONE Knowledge Representation System*
977 Citations1985Ronald J. Brachman, James G. Schmolze
Cognitive ScienceAn Overview of KRL, a Knowledge Representation Language
899 Citations1977Daniel G. Bobrow, Terry Winograd
KRL is an attempt to integrate procedural knowledge with a broad base of declarative forms to give flexibility in associating procedures with specific pieces of knowledge, and to control the relative accessibility of different facts and descriptions.
Elsevier eBooksWHAT'S IN A LINK
790 Citations1975William A. Woods
The chapter presents the logical inadequacies of almost all current network notations for representing quantified information and also discusses some of the disadvantages of a few logically adequate techniques.
Cambridge University Press eBooksCausal schemas in judgments under uncertainty
603 Citations1982Amos Tversky, Daniel Kahneman
This paper develops the thesis that the impact of evidence on intuitive judgements of probabilities depends critically on whether it is perceived as causal, diagnostic or incidental, and shows that people assign greater impact to causal data than to diagnostic data of equal informativeness.
Cambridge University Press eBooksSimilarity, typicality, and categorization
593 Citations1989Lance J. Rips
Elsevier eBooksFRAME REPRESENTATIONS AND THE DECLARATIVE/PROCEDURAL CONTROVERSY
477 Citations1975Terry Winograd
This chapter presents some criteria for evaluating ideas for representation and presents a rough sketch of a particular version of a frame representation, and discusses the ways in which it can deal with the issues raised.
Journal of Verbal Learning and Verbal BehaviorInductive judgments about natural categories
472 Citations1975Lance J. Rips
Studies in logic and the foundations of mathematicsConstructive Mathematics and Computer Programming
408 Citations1982Per Martin-Löf
This chapter discusses that relating constructive mathematics to computer programming seems to be beneficial, and that it may well be possible to turn what is now regarded as a high level programming language into machine code by the invention of new hardware.
IEEE Transactions on Pattern Analysis and Machine IntelligencePattern Recognition as Rule-Guided Inductive Inference
405 Citations1980Ryszard S. Michalski
The paper formulates the theoretical framework and a method for inferring general and optimal descriptions of object classes from examples of classification or partial descriptions and an experimental computer implementation of the method is briefly described and illustrated by an example.
Research Showcase @ Carnegie Mellon University (Carnegie Mellon University)Reasoning, problem solving and decision processes : the problem space as a fundamental category
244 Citations2018Newell
Cambridge University Press eBooksHow people construct mental models
232 Citations1987Allan Collins, Dedre Gentner
Cognitive SciencePassing markers: A theory of contextual influence in language comprehension
167 Citations1983Eugene Charniak
Elsevier eBooksREASONING FROM INCOMPLETE KNOWLEDGE
158 Citations1975Allan Collins, Eleanor H. Warnock +2 more
This chapter describes this kind of human reasoning in terms of how a computer can be made to reason in the same illogical way as human reasoning, and presents SCHOLAR, a computer program whose knowledge about the world is stored in a semantic network structured like human memory.
Cognitive SciencePassing Markers: A Theory of Contextual Influence in Language Comprehension*
135 Citations1983Eugene Charniak
An alternative which, while keeping modularity, will account for several puzzles for typical “syntax first” theories, which includes a “marker passing” (or “spreading activation”) component, which operates in parallel to the normal syntactic component.
Artificial IntelligenceVariable precision logic
121 Citations1986Ryszard S. Michalski, Patrick Henry Winston
This work addresses primarily certainty and employs censored production rules as an underlying representational and computational mechanism for handling trade-offs between the precision of inferences and the computational efficiency of deriving them.
SSRN Electronic JournalA logical approach to reasoning by analogy
104 Citations1987Todd Davies, Stuart Russell
The logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance is analyzed, given schematically as the "determination rule", which expresses the relation of one set of variables determining the values of another set.
Artificial IntelligenceUsing approximate reasoning to represent default knowledge
99 Citations1987Ronald R. Yager
It is shown how the reasoning mechanism of the theory of approximate reasoning can represent default knowledge in the framework of this theory and how this knowledge can be represented in the context of default inference rules.
Fragments of a theory of human plausible reasoning
72 Citations1978Allan Collins
A computational theory of human plausible reasoning constructed from analysis of people's answers to everyday questions, which consists of a dimensionalized space of different inference types and their certainty conditions, including a variety of meta-inference types where the inference depends on the person's knowledge about his own knowledge.
International Joint Conference on Artificial IntelligenceNatural Semantics in Artificial Intelligence
72 Citations1973Jaime Carbonell, Allan M. Collina
This paper discusses human semantic knowledge and processing in terms of the SCHOLAR system and discusses strategies people use to make different types of deductive, negative, and functional inferences, and the way uncertainties combine in these inferences.
Memory & CognitionStudies of inference from lack of knowledge
71 Citations1981Dedre Gentner, Allan Collins
The more important the assertion and the more expert the person who lacks knowledge, the more certain is the lack-of-knowledge inference, as measured by a decrease in the rated likelihood of the assertion.
Multiple Conceptual Models of a Complex System
70 Citations2021Albert L. Stevens, Allan Collins
Some of the strategies and knowledge tutors use in teaching about the causes of rainfall are described, which allow students to understand a system from different points of view and to derive the consequences of changing different critical variables in the model.
AI MagazineA Theory of Heuristic Reasoning About Uncertainty
65 Citations1983Paul R. Cohen, Milton R. Grinberg
The theory of endorsements provide a richer representation of the factors that affect certainty and supports multiple strategies for dealing with uncertainty.
National Conference on Artificial IntelligenceEmbracing causality in formal reasoning
52 Citations1987Judea Pearl
This note questions the ability of formal systems to reflect common-sense inferences without acknowledging such distinction and outlines a way in which the flow of causation can be summoned within the formal framework of default logic.
Human Plausible Reasoning
33 Citations1988Alan Collins, Mark Burstein +1 more
This paper describes the current state of implementation of a cognitive computer model of human plausible reasoning, based on the theory of plausible reasoning described by Collins and Michalski, and uses the simulation as a means of testing and refining the theory.
Elsevier eBooksMULTIPLE MODELS OF EVAPORATION PROCESSES
18 Citations1990Allan Collins, Dedre Gentner
The analysis identified three different levels of mental models subjects use to reason about evaporation; macroscopic functional models, microscopic aggregate models, and microscopic molecular models.
Information SciencesAPPLAUSE: An implementation of the Collins-Michalski theory of plausible reasoning
16 Citations1990Kejitan Dontas, Maria Zemankova
A pilot version of the theory of plausible reasoning has been implemented in a system called applause, which assumes that human knowledge can be represented as objects or concepts that are related by similarity, generalization and specialization relations and are arranged into hierarchies.
A theory of heuristic reasoning about uncertainty
11 Citations1989Paul R. Cohen, Milton R. Grinberg
International Joint Conference on Artificial IntelligenceImplementing a model of human plausible reasoning
9 Citations1987Michelle Baker, Mark Burstein +1 more
This paper describes the current state of implementation of a cognitive computer model of human plausible reasoning, based on the theory of plausible reasoning described by Collins and Michalski, and uses the simulation as a means of testing and refining the theory.