Verification of the Logic of Plausible Reasoning
Bartłomiej Śnieżyński · Advances in intelligent and soft computing · 2001
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. In this formalism knowledge base consists of formulas representing hierarchies, dependencies and similarities between objects, object-attribute-value triples and implications. Inference patterns are defined as proof rules and are proven to be logically correct. Several examples of inference pattern application are presented.