E-connections of abstract description systems

Abstract

Combining knowledge representation and reasoning formalisms is an important and challenging task. It is important because non-trivial AI applications often comprise different aspects of the world, thus requiring suitable combinations of available formalisms modeling each of these aspects. It is challenging because the computational behavior of the resulting hybrids is often much worse than the behavior of their components. In this paper, we propose a new combination method which is computationally robust in the sense that the combination of decidable formalisms is again decidable, and which, nonetheless, allows non-trivial interactions between the combined components. The new method, called E-connection, is defined in terms of abstract description systems (ADSs), a common generalization of description logics, many logics of time and space, as well as modal and epistemic logics. The basic idea of E-connections is that the interpretation domains of n combined systems are disjoint, and that these domains are connected by means of n-ary ‘link relations.’ We define several natural variants of E-connections and study in-depth the transfer of decidability from the component systems to their E-connections.

DOI: 10.1016/j.artint.2004.02.002

Extracted Key Phrases

3 Figures and Tables

Statistics

02040'04'06'08'10'12'14'16
Citations per Year

267 Citations

Semantic Scholar estimates that this publication has 267 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Kutz2004EconnectionsOA, title={E-connections of abstract description systems}, author={Oliver Kutz and Carsten Lutz and Frank Wolter and Michael Zakharyaschev}, journal={Artif. Intell.}, year={2004}, volume={156}, pages={1-73} }