F. Herrera Dep. of Computer Science and Artificial Intelligence University of Granada 18071 – Granada, Spain [email protected] F.A. Márquez Dep. of Electronic Engineering, Computer Systems and Automatics University of Huelva 21071 – Huelva, Spain [email protected] A. Peregrín Dep. of Electronic Engineering, Computer Systems and Automatics University of Huelva 21071 – Huelva, Spa...

Tarski gave a general semantics for deductive reasoning: a formula a may be deduced from a set A of formulas iff a holds in all models in which each of the elements of A holds. A more liberal semantics has been considered: a formula a may be deduced from a set A of formulas iff a holds in all of the preferred models in which all the elements of A hold. Shoham proposed that the notion of preferr...

Classical logic has a serious limitation in that it cannot cope with the issues of vagueness and uncertainty into which fall most modes of human reasoning. In order to provide a foundation for human knowledge representation and reasoning in the presence of vagueness, imprecision, and uncertainty, fuzzy logic should have the ability to deal with linguistic hedges, which play a very important rol...

Let Gm be the m-valued Gödel-Dummett fuzzy logic. If m ≥ 3 then neither conjunction nor implication is in Gm expressible in terms of the remaining connectives. This fact remains true even if the propositional language is enriched by propositional constants for all truth values. Gödel-Dummett fuzzy propositional logic can be defined as an extension of the intuitionistic propositional logic by th...

We design a fuzzy model of the loadings of 10 heavy metals in Liverpool bay. Each metal concentration is associated with a fuzzy set “contaminated”, defined over the set of 70 sampling sites. The higher the concentration, the higher the degree of membership of the site. Six overall loading indices are calculated using aggregation connectives between fuzzy sets. The loading indices are then inte...

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 programming and fuzzy logics which has recently been proposed. From the answer set semantics, FASP inherits the declarative nonmonotonic reasoning capabilities, while fuzzy logic adds the power to model continuous...

Paraconsistency is the study of logics (as deductive systems) having a negation operator ¬ such that not every contradiction {φ,¬φ} trivializes or explodes. In other words, a paraconsistent logic is a logic having at least a contradictory, non-trivial theory. Among the plethora of paraconsistent logics proposed in the literature, the so-called Logics of Formal Inconsistency (LFIs), proposed in ...

In the paper aspects of negative information and of information symmetry in context of uncertain information processing is considered. Both aspects are presented in frames of fuzzy sets theory involved in data aggregation and decision making process. Asymmetry of classical fuzziness and its orientation to positive information are pointed out. The direct dependence of symmetry of uncertain infor...