Document Type

Conference Proceeding

Publication Date

1-2015

Abstract

Modularity is an essential aspect of knowledge representation and reasoning theory and practice. It has received substantial attention. We introduce model-based modular systems, an abstract framework for modular knowledge representation formalisms, similar in scope to multi-context systems but employing a simpler information-flow mechanism. We establish the precise relationship between the two frameworks, showing that they can simulate each other. We demonstrate that recently introduced modular knowledge representation formalisms integrating logic programming with satisfiability and, more generally, with constraint satisfaction can be cast as modular systems in our sense. These results show that our formalism offers a simple unifying framework for studies of modularity in knowledge representation.

Comments

Paper to be presented at The Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15) (http://www.aaai.org/Conferences/AAAI/aaai15.php), January 25-30, 2015 in Austin, TX.

Download

Share

COinS