Results 1 to 10 of about 19,919 (127)
Bisimilarity and refinement for hybrid(ised) logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The complexity of modern software systems entails the need for reconfiguration mechanisms gov- erning the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures.
Alexandre Madeira +2 more
doaj +1 more source
Algorithms for Instance Retrieval and Realization in Fuzzy Ontologies
Mathematics, 2020 Fuzzy description logics, the formalism behind fuzzy ontologies, are an important mathematical method with applications in many artificial intelligence scenarios. This paper proposes the first specific algorithms to solve two reasoning tasks with respect
Ignacio Huitzil +2 more
doaj +1 more source
Fuzzy Description Logics – A Survey [PDF]
, 2017 Mathematical Fuzzy Logics [51, 60] have a long tradition with roots going back to the many-valued logics of Łukasiewicz, Godel, and Kleene [57, 68, 73] and the Fuzzy Set Theory of Zadeh [111]. Their purpose is to model vagueness or imprecision in the real world, by introducing new degrees of truth as additional shades of gray between the Boolean true ...
Borgwardt, S, Peñaloza, R
openaire +1 more source
A Neutrosophic Description Logic [PDF]
, 2008 Description Logics (DLs) are appropriate, widely used, logics for managing structured knowledge. They allow reasoning about individuals and concepts, i.e. set of individuals with common properties.
ANDRÉ ROGATKO +8 more
core +2 more sources
Reducing fuzzy answer set programming to model finding in fuzzy logics [PDF]
, 2011 In recent years, answer set programming (ASP) has been extended to deal with multivalued predicates. The resulting formalisms allow for the modeling of continuous problems as elegantly as ASP allows for the modeling of discrete problems, by combining the
Bauters +23 more
core +2 more sources
SEMANTIC IMAGE ANALYSIS USING A SYMBOLIC NEURAL ARCHITECTURE
Image Analysis and Stereology, 2010 Image segmentation and classification are basic operations in image analysis and multimedia search which have gained great attention over the last few years due to the large increase of digital multimedia content. A recent trend in image analysis aims at
Ilianna Kollia +3 more
doaj +1 more source
The Varieties of Ought-implies-Can and Deontic STIT Logic [PDF]
, 2021 STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role.
Lyon, Tim, van Berkel, Kees
core
Knowledge Representation Using Type-2 Fuzzy Rough Ontologies in Ontology Web Language
Fuzzy Information and Engineering, 2015 Nowadays semantic web languages play a vital role in representing ontologies. In order to deal with uncertainty in the semantic web languages, we need a concrete procedure to represent such information. We may tackle this problem by extending the current
D. Nilavu, R. Sivakumar
doaj +1 more source
Fuzzy Description Logics and t-norm based fuzzy logics
International Journal of Approximate Reasoning, 2010 Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for dealing with vague concepts, commonly present in real applications.
Garcı´a-Cerdaña, Àngel +2 more
openaire +2 more sources
Can many-valued logic help to comprehend quantum phenomena? [PDF]
, 2014 Following {\L}ukasiewicz, we argue that future non-certain events should be described with the use of many-valued, not 2-valued logic. The Greenberger-Horne-Zeilinger `paradox' is shown to be an artifact caused by unjustified use of 2-valued logic while ...
Pykacz, Jarosław
core +3 more sources