© 2014 by the Authors; licensee ECSC. This Open Access article is distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0) Use, distribution, and reproduction in any medium is allowed, provided the original work is cited.
Issue 2/2014
2341-0183
Towards Fuzzy Linguistic Logic Programming
Clemente Rubio-Manzano
*1
and Pascual Juli´ an-Iranzo
2
1
Dep. of Information Systems, Univ. of the B´ ıo-B´ ıo, Chile
2
Dep. of Technologies and Information Systems, Univ. of Castilla-La Mancha, Spain
Email: C. Rubio-Manzano
*
- clrubio@ubiobio.cl; P. Juli´ an-Iranzo - Pascual.Julian@uclm.es;
Abstract
Knowledge representation is one of the central concepts in Artificial Intelli-
gence. It is very common that knowledge about a field is expressed in natural language
(English, Spanish, etc). Therefore, most of the times, knowledge representation using a
logic programming language derives into a translation problem. This translation consists
in the formalization of the statements, belonging to the knowledge level, which are con-
verted into formulas of the so called symbolic level. Knowledge may be imprecise or vague
and, in order to deal with vagueness using declarative techniques, fuzzy logic programming
amalgamates classical logic programming and fuzzy logic. Fuzzy logic programming has
mainly led to programming languages that use annotations (i.e., truth degrees, certainty
factors or degrees of confidence) to represent vagueness. But vagueness is a linguistic phe-
nomenon which is implicit in the statements of the knowledge level. Hence, the natural
connection existing between these two levels is broken when annotations are employed,
since they introduce weights in a symbolic level which are not present in the knowledge
level and converts knowledge representation in a more complex, counterintuitive task.
In order to overcome this problem, we propose a fuzzy linguistic logic framework which
allows the treatment of imprecision through (crisp or fuzzy) linguistic resources. This
framework makes a clean separation between precise knowledge and vague knowledge.
In this paper, we argue that this separation is more declarative than the one dispensed by
the approach based on annotations, and can be beneficial for modeling a problem.
Submitted: 10/03/14. Accepted and Published: 24/11/14.
Rubio-Manzano, Juli ´ an-Iranzo: Towards Fuzzy Linguistic Logic Programming.
APHSC II:2014 DOI tbp - http://www.aphsc.org
Page 1 of 18