Basic Semantics of the Logic of Plausible Reasoning

  • Authors:

  • Bartlomiej Sniezynski

  • Affiliations:

  • -

  • Venue:
  • ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Logic of plausible reasoning (LPR) is a formalism which is based on human inference patterns. In the paper the LPR is defined as a labeled deductive system. Knowledge base consists of labeled formulas representing object-attribute-value triples, implications, hierarchies, dependencies and similarities between objects. Labels are used to represent plausible parameters. In the paper LPR basic semantics is defined and the proof system is proved to be correct. Finally, several examples of inference pattern application are presented.