Proof Searching Algorithm for the Logic of Plausible Reasoning

摘要

Logic of plausible reasoning (LPR) is a knowledge representation and inference theory which is based on human reasoning techniques. Formalism can be described as a labeled deductive system; therefore reasoning can be considered as looking for proofs of given formulas. The aim of the paper is to present a proof searching algorithm for the LPR. The algorithm would be a core element of any information system using LPR.