Contexts: a formalization and some applications
Contexts: a formalization and some applications
Representing multiple theories
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Reasoning about knowledge
A Context-Based Logic for Distributed Knowledge Representation and Reasoning
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Formalizing Context (Expanded Notes)
Formalizing Context (Expanded Notes)
Non-omniscient belief as context-based reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A reflective proof system for reasoning in contexts
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Quantificational logic of context
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Contextual reasoning is NP-complete
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Fundamenta Informaticae
A strongly-local contextual logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
The objective of this paper is to develop a first order logic of contexts. Dealing with contexts in an explicit way has been initially proposed by J. McCarthy [16] as a means for handling generality in knowledge representation. For instance, knowledge may be distributed among multiple knowledge bases where each base represents a specific domain with its own vocabulary. To overcome this problem, contextual logics aim at defining mechanisms for explicitly stating the assumptions (i.e. the context) underlying a theory and also mechanisms for linking different contexts, such as lifting axioms for connecting one context to another one. However, integrating knowledge supposes the definition of inter-contextual links, based not only on relationships between contextual assertions, but also on relationships built upon contexts. In this paper, we introduce a quantificational modal-based logic of contexts where contexts are represented as explicit terms and may be quantified: we show how this framework is useful for defining first order properties over contexts.