Accession Number : ADA301476

Title :   A Characterization of Probabilistic Entailment in Adams' Logic of Conditionals.

Corporate Author : NAVAL COMMAND CONTROL AND OCEAN SURVEILLANCE CENTER RDT AND E DIV SAN DIEGO CA

Personal Author(s) : Bamber, D.

PDF Url : ADA301476

Report Date : SEP 1995

Pagination or Media Count : 7

Abstract : Ernest Adams' logic of conditionals is useful in expert systems because it can be used to reason about imperfect generalizations, i.e., generalizations of the form: In nearly all instances where a is true, b is true. This paper defines a notion of importance and then shows that Adams' logic is equivalent to a logic for reasoning about generalizations of the form: in all important instances where a is true, b is true. A new method of proving results in Adam's logic-a method based upon the importance notion-is described. This method of proof is often quite easy, particularly since Venn diagrams can be used to help find proofs. An example using this new method of proof is presented. The example shows that Adams' logic justifies a common method of conflict resolution in expert systems, namely, the specificity-wins method. Finally, it is shown that Adams' logic can be used to reason about a topic seemingly unrelated to imperfect generalizations: the choices made by rational agents.

Descriptors :   *MATHEMATICAL LOGIC, *EXPERT SYSTEMS, ALGORITHMS, REASONING, PROBABILITY, RESOLUTION, CONFLICT, SYSTEMS ANALYSIS.

Subject Categories : Theoretical Mathematics
      Cybernetics

Distribution Statement : APPROVED FOR PUBLIC RELEASE