Generality in artificial intelligence
Communications of the ACM
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Logic and information
Enabling technology for knowledge sharing
AI Magazine
Formal ontology, conceptual analysis and knowledge representation
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
Formal Ontology in Information Systems: Proceedings of the 1st International Conference June 6-8, 1998, Trento, Italy
Formalizing Context (Expanded Notes)
Formalizing Context (Expanded Notes)
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper, an ’’objective‘‘ conception of contexts based loosely upon situation theory is developed and formalized. Unlike ’’subjective‘‘ conceptions, which take contexts to be something like sets of beliefs, contexts on the objective conception are taken to be complex, structured pieces of the world that (in general) contain individuals, other contexts, and propositions about them. An extended first-order language for this account is developed. The language contains complex terms for propositions, and the standard predicate ’ist‘ that expresses the relation that holds between a context and a proposition just in case the latter is true in the former. The logic for the objective conception features a ’’global‘‘ classical predicate calculus, a ’’local‘‘ logic for reasoning within contexts, and axioms for propositions. The specter of paradox is banished from the logic by allowing ’ist‘ to be nonbivalent in problematic cases: it is not in general the case, for any context c and proposition p, that either ist(c,p) or ist(c, ¬ p). An important representational capability of the logic is illustrated by proving an appropriately modified version of an illustrative theorem from McCarthy‘s classic Blocks World example.