Results 51 to 60 of about 143,005 (117)

Probability Logic [PDF]

open access: yesarXiv, 2019
This chapter presents probability logic as a rationality framework for human reasoning under uncertainty. Selected formal-normative aspects of probability logic are discussed in the light of experimental evidence. Specifically, probability logic is characterized as a generalization of bivalent truth-functional propositional logic (short "logic"), as ...
arxiv  

On Metric Temporal Description Logics [PDF]

open access: yes, 2016
We introduce metric temporal description logics (mTDLs) as combinations of the classical description logic ALC with (a) LTLbin, an extension of the temporal logic LTL with succinctly represented intervals, and (b) metric temporal logic MTL, extending LTLbinwith capabilities to quantitatively reason about time delays.
Victor Gutierrez Basulto   +2 more
openaire   +2 more sources

Undecidability of the unification and admissibility problems for modal and description logics [PDF]

open access: yesarXiv, 2006
We show that the unification problem `is there a substitution instance of a given formula that is provable in a given logic?' is undecidable for basic modal logics K and K4 extended with the universal modality. It follows that the admissibility problem for inference rules is undecidable for these logics as well. These are the first examples of standard
arxiv  

On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm [PDF]

open access: yesarXiv, 2011
Recently there have been some unexpected results concerning Fuzzy Description Logics (FDLs) with General Concept Inclusions (GCIs). They show that, unlike the classical case, the DL ALC with GCIs does not have the finite model property under Lukasiewicz Logic or Product Logic and, specifically, knowledge base satisfiability is an undecidable problem ...
arxiv  

Bisimulation-Based Comparisons for Interpretations in Description Logics [PDF]

open access: yesarXiv, 2013
We study comparisons between interpretations in description logics with respect to "logical consequences" of the form of semi-positive concepts (like semi-positive concept assertions). Such comparisons are characterized by conditions similar to the ones of bisimulations.
arxiv  

Expressive probabilistic description logics

open access: yesArtificial Intelligence, 2008
AbstractThe work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role in the development of the Semantic Web, since they provide a precise definition of shared terms in web resources.
openaire   +3 more sources

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version) [PDF]

open access: yesarXiv
Definite descriptions, such as 'the General Chair of KR 2024', are a semantically transparent device for object identification in knowledge representation. In first-order modal logic, definite descriptions have been widely investigated for their non-rigidity, which allows them to designate different objects (or none at all) at different states.
arxiv  

Home - About - Disclaimer - Privacy