An Abstract View on Modularity in Knowledge Representation

Authors

  • Yuliya Lierler University of Nebraska at Omaha
  • Miroslaw Truszczynski University of Kentucky

DOI:

https://doi.org/10.1609/aaai.v29i1.9390

Keywords:

knowledge representation, modularity, multi-context systems

Abstract

Modularity is an essential aspect of knowledge representation 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.

Downloads

Published

2015-02-18

How to Cite

Lierler, Y., & Truszczynski, M. (2015). An Abstract View on Modularity in Knowledge Representation. Proceedings of the AAAI Conference on Artificial Intelligence, 29(1). https://doi.org/10.1609/aaai.v29i1.9390

Issue

Section

AAAI Technical Track: Knowledge Representation and Reasoning