ECAI 2004 Conference Paper

[full paper]

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

Floris Roelofsen, Luciano Serafini, Alessandro Cimatti

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 reasoning procedures, like Binary Decision Diagrams and propositional SAT solvers, can be used to implement our algorithm.

Keywords: Distributed AI, Satisfiability, Knowledge Representation

Citation: Floris Roelofsen, Luciano Serafini, Alessandro Cimatti: Many Hands Make Light Work: Localized Satisfiability For Multi-Context Systems. In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.53-57.