Journal of Logic and Computation, Volume 9, Issue 5, pp. 651-681: Abstract.
Propositional information systems
J Kohlas1,2, R Haenni1,3 and S Moral4
1Institute of Informatics, University of Fribourg, Fribourg, Switzerland, 2E-mail: email@example.com, 3E-mail: firstname.lastname@example.org, 4Department of Computer Science, University of Granada, Granada, Spain, E-mail: email@example.com
Resolution is 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 being 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.
Keywords: Propositional logic, information systems, assumption-based reasoning, marginalization problem, valuation networks