Modelling default and likelihood reasoning as probabilistic reasoning

Research output: Contribution to journalArticleResearchpeer-review

Abstract

This paper presents a probabilistic analysis of plausible reasoning about defaults and about likelihood. "Likely" and "by default" are in fact treated as duals in the same sense as "possibility" and "necessity". To model these four forms probabilistically, a logic QDP and its quantitative counterpart DP are derived that allow qualitative and corresponding quantitative reasoning. Consistency and consequence results for subsets of the logics are given that require at most a quadratic number of satisfiability tests in the underlying prepositional logic. The quantitative logic shows how to track the propagation error inherent in these reasoning forms. The methodology and sound framework of the system highlights their approximate nature, the dualities, and the need for complementary reasoning about relevance.

Original languageEnglish
Pages (from-to)25-68
Number of pages44
JournalAnnals of Mathematics and Artificial Intelligence
Volume4
Issue number1-2
DOIs
Publication statusPublished - 1 Mar 1991

Keywords

  • Default
  • likelihood
  • plausible reasoning
  • qualitative reasoning
  • subjective probability

Cite this