A declarative formalization of knowledge translation
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Solving conflicts produces new contexts
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Using Abstract Resources to Control Reasoning
Journal of Logic, Language and Information
The Objective Conception of Context and Its Logic
Minds and Machines
Distributed Repositories of Highly Expressive Reusable Ontologies
IEEE Intelligent Systems
First-Order Contextual Reasoning
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Contexts and Views in Object-Oriented Languages
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Context and Relevance: A Pragmatic Approach
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
A decidable multi-modal logic of context
Journal of Applied Logic
Enabling Context-Aware Agents to Understand Semantic Resources on The WWWand The Semantic Web
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Disjunction and modular goal-directed proof search
ACM Transactions on Computational Logic (TOCL)
Security Contexts in Autonomic Systems
Computational Intelligence and Security
Context dependency management in ontology engineering: a formal approach
Journal on data semantics VIII
Quantificational logic of context
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Review: Situation identification techniques in pervasive computing: A review
Pervasive and Mobile Computing
The role of concept, context, and component for dependable software development
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
Logical data independence reconsidered (extended abstract)
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Hi-index | 0.00 |
These notes discuss formalizing contexts as first class objects. The basic relation is Ist(c,p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessary to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess. Fully implementing transcendence seems to require further extensions to mathematical logic, i.e. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic.