Relevance: communication and cognition
Relevance: communication and cognition
SOAR: an architecture for general intelligence
Artificial Intelligence
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Multi-agent reasoning with belief contexts: the approach and a case study
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
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
Fundamenta Informaticae
Reasoning About Theory Adequacy. A New Solution To The Qualification Problem
Fundamenta Informaticae
Understanding Contextual Interactions to Design Navigational Context-Aware Applications
Mobile HCI '02 Proceedings of the 4th International Symposium on Mobile Human-Computer Interaction
Modeling contexts for business process oriented knowledge support
WM'05 Proceedings of the Third Biennial conference on Professional Knowledge Management
Knowledge management framework for the collaborative distribution of information
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Biocomputing: an insight from linguistics
Natural Computing: an international journal
Context modelling and context-aware querying
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Hi-index | 0.00 |
In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival theories of the world. The idea is the following. We start from a very abstract analysis of a context dependent representation into three basic elements. We briefly show that all the mechanisms of contextual reasoning that have been studied in the past fall into three abstract forms: expand/contract, push/pop, and shifting. Moreover we argue that each of the three forms of reasoning actually captures an operation on a different dimension of variation of a context dependent representation, partiality, approximation, and perspective. We show how these ideas are formalized in the framework of MultiContext Systems, and briefly illustrate some applications.