Generality in artificial intelligence
Communications of the ACM
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
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
First-Order Contextual Reasoning
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Comparing formal theories of context in AI
Artificial Intelligence
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Contextual reasoning in agent systems
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
ALCALC: a context description logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Quantificational logic of context
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
A novel contextual logic is presented that combines features of both multi-context systems and logics of context. Broadly, contextual logics are those with a formal notion of context -- knowledge that is true only under specific assumptions. Multicontext systems use discrete logistic systems as individual contexts, related by meta-level rules, whereas logics of context partition a single knowledge base into contexts, related using object-level rules. The contextual logic presented here is strongly-local, in that knowledge and inference is discrete for individual contexts, but which are nevertheless part of a single logistic system that relates contexts at the object-level, so combining advantages of both. A deductive system of contextual inference and a possible-worlds based semantics is given, with formal results including soundness and completeness, and a number of properties are examined.