Home  Online Resources  Table of Contents

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: juerg.kohlas@unifr.ch, 3E-mail: rolf.haenni@unifr.ch, 4Department of Computer Science, University of Granada, Granada, Spain, E-mail: smc@decsai.ugr.es

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

  Full-Text PDF  (293 KB)


[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 1999.