Measuring inconsistency in fuzzy answer set semantics
Recent approaches have shown that the measurement of the amount of inconsistent
information contained in a logic theory can be useful to infer positive information. This paper …
information contained in a logic theory can be useful to infer positive information. This paper …
[HTML][HTML] Weighted logics for artificial intelligence–an introductory discussion
Before presenting the contents of the special issue, we propose a structured introductory
overview of a landscape of the weighted logics (in a general sense) that can be found in the …
overview of a landscape of the weighted logics (in a general sense) that can be found in the …
[HTML][HTML] Complexity of fuzzy answer set programming under Łukasiewicz semantics
Fuzzy answer set programming (FASP) is a generalization of answer set programming
(ASP) in which propositions are allowed to be graded. Little is known about the …
(ASP) in which propositions are allowed to be graded. Little is known about the …
A finite-valued solver for disjunctive fuzzy answer set programs
Abstract Fuzzy Answer Set Programming (FASP) is a declarative programming paradigm
which extends the flexibility and expressiveness of classical Answer Set Programming …
which extends the flexibility and expressiveness of classical Answer Set Programming …
Fuzzy answer set programming: An introduction
In this chapter, we present a tutorial about fuzzy answer set programming (FASP); we give a
gentle introduction to its basic ideas and definitions. FASP is a combination of answer set …
gentle introduction to its basic ideas and definitions. FASP is a combination of answer set …
A core language for fuzzy answer set programming
A number of different Fuzzy Answer Set Programming (FASP) formalisms have been
proposed in the last years, which all differ in the language extensions they support. In this …
proposed in the last years, which all differ in the language extensions they support. In this …
Fuzzy equilibrium logic: Declarative problem solving in continuous domains
In this article, we introduce fuzzy equilibrium logic as a generalization of both Pearce
equilibrium logic and fuzzy answer set programming. The resulting framework combines the …
equilibrium logic and fuzzy answer set programming. The resulting framework combines the …
[PDF][PDF] REGIMvid at ImageCLEF2012: Improving Diversity in Personal Photo Ranking Using Fuzzy Logic.
This paper handles with two main challenges: retrieving the best matching images to a given
query and improving diversity in ranking using fuzzy logic. The proposed scheme proceeds …
query and improving diversity in ranking using fuzzy logic. The proposed scheme proceeds …
Answer sets in a fuzzy equilibrium logic
Since its introduction, answer set programming has been generalized in many directions, to
cater to the needs of real-world applications. As one of the most general “classical” …
cater to the needs of real-world applications. As one of the most general “classical” …
[PDF][PDF] On the classical content of monadic G∼ and its application to a fuzzy medical expert system
The satisfiability problem for monadic infinite-valued Gödel logic is known to be
undecidable. We identify a fragment of this logic extended with strong negation whose …
undecidable. We identify a fragment of this logic extended with strong negation whose …