Satisfiability for Propositional Contexts

Serafini, Luciano and Roelofsen, Floris (2004) Satisfiability for Propositional Contexts. UNSPECIFIED. (In Press)

Download (432Kb) | Preview


    We propose a sound and complete satisfiability algorithm for propositional multi-context systems. In essence, the algorithm is a distribution policy built on top of local reasoning procedures, one for each context, which can be implemented by (a diversity of) customized state-of-the-art SAT solvers. The foremost intuition that has motivated our algorithm, and the very potential strength of contextual reasoning, is that of keeping reasoning as local as possible. In doing so, we improve on earlier established complexity results by Massacci. Moreover, our approach could be applied to enhance recent proposals by Amir and Mcilraith towards a new partition-based reasoning paradigm; particularly, our formalism allows for a more expressive description of interpartition relations, and we provide an algorithm that is explicitly designed to deal with this expressiveness.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA076 Computer software
    Report Number: DIT-04-026
    Repository staff approval on: 20 Apr 2004

    Actions (login required)

    View Item