TR-2011008: The Ontology of Justifications in the Logical Setting
نویسنده
چکیده
Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models. We show that Fitting models for Justification Logic naturally encode modular models and can be regarded as convenient pre-models of the former.
منابع مشابه
The Ontology of Justifications in the Logical Setting
Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models. We show that ...
متن کاملDiversity of Reason: Equivalence Relations over Description Logic Explanations
Given the high expressivity of modern ontology languages, such as OWL, there is the possibility for great diversity in the logical content of ontologies. Informally, this can be seen by the constant evolution of reasoners to deal with new sorts of content and the range of optimisations reasoners need in order to be competitive. More formally, the fact that many naturally occurring entailments h...
متن کاملDeclutter Your Justifications: Determining Similarity Between OWL Explanations
Given the high expressivity of the Web Ontology Language OWL 2, there is a potential for great diversity in the logical content of OWL ontologies. The fact that many naturally occurring entailments of such ontologies have multiple justifications indicates that ontologies often overdetermine their consequences, suggesting a diversity in supporting reasons. On closer inspection, however, we often...
متن کاملComputing Subsumption Justifications of Terminologies – Extended Abstract
In this paper, we introduce the notion of subsumption justification to capture the subsumption knowledge about a term with respect to all primitive and complex concepts built from terms in a given vocabulary Σ. It extends the notion of classical justification that is a minimal set of axioms needed to preserve the entailment of a particular subsumption C v D. Then we apply this notion to compute...
متن کاملTR-2010004: Tracking Evidence
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justifications for a true statement, one which is correct and one which is not. We formalize this example in a system of Justification Logic with two knowers: the object agent and the observer, and we show that whereas the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016