Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems

In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, we propose a distributed decision procedure that maximally exploits the potential amenity of localizing reasoning and restricting it to relevant contexts. We show that the latter approach is computationally superior to our translation-based procedure, and outline how off-the-shelf efficient reasoning procedures can be used to implement our algorithm.

• Type: Conference
• Year: 2004
• Where: ECAI
• Authors: Floris Roelofsen, Luciano Serafini, Alessandro Cimatti
• Keywords: Artificial Intelligence, Distributed Decision Procedure, ECAI 2004, Satisfiability Algorithm, Satisfiability Problem