Receive a 20% Discount on All Purchases Directly Through IGI Global's Online Bookstore.

Additionally, libraries can receive an extra 5% discount. Learn More

Additionally, libraries can receive an extra 5% discount. Learn More

Herman Akdag (LIASD, University Paris 8, France) and Isis Truck (LIASD, University Paris 8, France)

Copyright: © 2009
|Pages: 7

DOI: 10.4018/978-1-60566-010-3.ch305

Chapter Preview

TopThis article investigates different tools for knowledge representation and modelling in decision making problems. In this variety of AI systems the experts’ knowledge is often heterogeneous, that is, expressed in many forms: numerical, interval-valued, symbolic, linguistic, etc. Linguistic concepts (adverbs, sentences, sets of words…) are sometimes more efficient in many expertise domains rather than precise, interval-valued or fuzzy numbers. In these cases, the nature of the information is qualitative and the use of such concepts is appropriate and usual. Indeed, in the case of fuzzy logic for example, data are represented through fuzzy functions that allow an infinite number of truth values between 0 and 1. Instead, it can be more appropriate to use a finite number of qualitative symbols because, among other reasons, any arbitrary fuzzification becomes useless; because an approximation will be needed at the end anyway; etc. A deep study has been recently carried out about this subject in (Gottwald, 2007).

In this article we propose a survey of different tools manipulating these symbols as well as human reasoning handles with natural linguistic statements. In order to imitate or automatize expert reasoning, it is necessary to study the representation and handling of discrete and linguistic data (Truck & Akdag, 2005; Truck & Akdag, 2006). One representation is the *many-valued logic* framework in which this article is situated.

The many-valued logic, which is a generalization of classical boolean logic, introduces truth degrees which are intermediate between *true* and *false* and enables the partial truth notion representation. There are several many-valued logic systems (Lukasiewicz’s, Gödel’s, etc.) comprising finite-valued or infinite-valued sets of truth degrees. The system addressed in this article is specified by the use of L* _{M}* = {τ

These degrees can be seen as membership degrees: *x* partially belongs to a multiset^{3}*A* with a degree τ* _{i}* if and only if

*x* is *v*_{α}*A* ⇔ “*x* is *A*” is τ_{α} – true

Search this Book:

Reset

Copyright © 1988-2018, IGI Global - All Rights Reserved