Propositional information systems

Propositional Information Systems

Resolution is an often used method for deducation in propositional logic Here a proper organisation of deduction is proposed which avoids redundant computations It is based on a generic framework of decompositions and local computations as intro duced by Shafer Shenoy The system contains the two basic operations with informations namely marginalization or projection and combination the latter b...

Federating Propositional Expert Systems

Expert systems provide a rich problem-solving facility for many applications requiring domain-speci c problem-solving. A federation of interacting expert systems has the potential to tackle problems of greater scope, exhibiting a collective problem-solving capability greater than the sum of its parts. We present the relationship between dependency graphs and execution autonomy for federations o...

Propositional Argumentation Systems vs Theorist

Propositional argumentation systems are based on assumption based reasoning and used for computing arguments which support a given hypotheses Assumption based reasoning is closely related to hypothetical default theories or inference through theory formation The latter approach known as the Theorist frame work has well known relations to abduction and default reasoning In this paper proposition...

Canonical Propositional Gentzen-Type Systems

Web for information seeking: A propositional study

Information seeking represents the activities that are carried out during the search for information. The process of information seeking is important as it enables the individuals to collect information that can address a need. Depending on the nature of the need and the contemporary trends, the sources of information vary. In the pre-Web era, the dependence on information sources having physic...