Generality in artificial intelligence
Communications of the ACM
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Context in problem solving: a survey
The Knowledge Engineering Review
Human Problem Solving
Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Quantificational logic of context
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Fundamenta Informaticae
Reasoning About Theory Adequacy. A New Solution To The Qualification Problem
Fundamenta Informaticae
Analysis and design of physical and social contexts in multi-agent systems using UML
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
Learning to communicate in a decentralized environment
Autonomous Agents and Multi-Agent Systems
ACM Transactions on Computational Logic (TOCL)
A data-oriented survey of context models
ACM SIGMOD Record
Dynamic context management for pervasive applications
The Knowledge Engineering Review
Abstract vs. social roles - Towards a general theoretical account of roles
Applied Ontology - Roles, an interdisciplinary perspective
Natural Language Meets Spatial Calculi
Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
Semantics in Data and Knowledge Bases
Logic programming with social features1
Theory and Practice of Logic Programming
Complexity of contextual reasoning
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Contextual Argumentation in Ambient Intelligence
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Minimal and absent information in contexts
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Natural deduction and context as (constructive) modality
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Reasoning with imperfect context and preference information in multi-context systems
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
A four stage approach for ontology-based health information system design
Artificial Intelligence in Medicine
Artificial Intelligence in Medicine
Context-dependent OWL reasoning in sindice - experiences and lessons learnt
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Minimality and non-determinism in multi-context systems
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Modeling context as statistical dependence
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Higher-order aspects and context in SUMO
Web Semantics: Science, Services and Agents on the World Wide Web
Analysis and design of physical and social contexts in multi-agent systems
Software Engineering for Multi-Agent Systems IV
MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
Abstract vs. social roles - Towards a general theoretical account of roles
Applied Ontology - Roles, an interdisciplinary perspective
Probabilistic multi-context systems
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
Comparing contextual and flat representations ofknowledge: a concrete case about football data
Proceedings of the seventh international conference on Knowledge capture
A strongly-local contextual logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
The problem of context has a long tradition in different areas of artificial intelligence (AI). However, formalizing context has been widely discussed only since the late 80s, when J. McCarthy argued that formalizing context was a crucial step toward the solution of the problem of generality. Since then, two main formalizations have been proposed in AI: Propositional Logic of Context (PLC) and Local Models Semantics/MultiContext Systems (LMS/MCS). In this paper, we propose the first in depth comparison between these two formalizations, both from a technical and a conceptual point of view. The main technical result of this paper is the formal proof of the following facts: (i) PLC can be embedded into a particular class of MCS, called MPLC; (ii) MCS/LMS cannot be embedded in PLC using only lifting axioms to encode bridge rules, and (iii) under some important restrictions (including the hypothesis that each context has finite and homogeneous propositional languages), MCS/LMS can be embedded in PLC with generic axioms. The last part of the paper contains a comparison of the epistemological adequacy of PLC and MCS/LMS for the representation of the most important issues about contexts.