Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Contexts: a formalization and some applications
Contexts: a formalization and some applications
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
A framework for knowledge structuring
AIMSA '94 Proceedings of the sixth international conference on Artificial intelligence : methodology, systems, applications: methodology, systems, applications
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
| Hi-index | 0.00 |
In this paper we address the issue related to modeling some aspects of contextual reasoning. A particular class of multicontext systems is proposed with a single bridge rule linking any two communicating contexts. The proposed approach of contextual reasoning is illustrated by sketching how two first order logics can be accommodated to the contextual framework. Some concepts such as kernel and imported part of contexts are defined, reflecting the distinction between the “self‐generated” and the communicated facts and providing a ground for defining a particular subclass of importing contexts. In order to support a larger “repertoire” of contexts a set of operators for combining contexts into compound structures is introduced, thus defining an algebra of contexts. The notion of compound context reflects the intuition that depending on the problem, interaction between contexts involves variety of dynamic context formations.