Propositional information systems
Resolutions an often used method for deduction in propositional logic. Here a proper organization of deduction is Proposed which avoids redundant computations. It is based on a generic framework of decompositions and local computations as introduced by Shenoy and Shafer. The system contains the two basic operations with information, namely marginalization (or projection) and combination; the latter bring an idempotent operation in the present case. The theory permits the conception of an architecture of distributed computing. As an important application assumption-based reasoning is discussed.
information systems propositional logic assumption-based reasoning marginalization problem valuation networks