Fuzzy Description Logics (FDLs) combine classical Description Logics with the semantics of Fuzzy Logics in order to represent and reason with vague knowledge. Most FDLs using truth values from the interval [0, 1] have been shown to be undecidable in the presence of a negation constructor and general concept inclusions. One exception are those FDLs whose semantics is based on the infinitely valu...

This paper proposes an equilibrium computation method using linguistic variables based on the conflicting bifuzzy sets. The linguistic terms were defined and associated with the triangular fuzzy number as well as labeling system in the early stages. Then, the negation operator was introduced and the bifuzzy approaches were employed to derive the aggregation equilibrium linguistic judgement for ...

Abstract The paper sketches the state of affairs our understanding postverbal negation. It departs from typological finding that there is a cross-linguistic preference for negator to precede verb. Nevertheless, sizable proportion world’s languages adhere pattern with following verb, and such negators are typically morphologically bound. existence this pattern, unfavorable functional perspective...

Defined over sets of truth values V which are closed subsets of [0, 1] containing both 0 and 1, Gödel logics GV are prominent examples of many-valued logics. We investigate a first-order fragment of GV extended with ∆ that is powerful enough to formalize important properties of fuzzy rule-based systems. The satisfiability problem in this fragment is shown to be NP-complete for all GV , also in ...