Authors:
Pascual Julián Iranzo
and
Clemente Rubio Manzano
Affiliation:
University of Castilla-La Mancha, Spain
Keyword(s):
Fuzzy logic programming, Fuzzy prolog, Weak SLD resolution, Bousi∼Prolog applications.
Related
Ontology
Subjects/Areas/Topics:
Approximate Reasoning and Fuzzy Inference
;
Artificial Intelligence
;
Computational Intelligence
;
Fuzzy Information Retrieval and Data Mining
;
Fuzzy Systems
;
Fuzzy Systems Design, Modeling and Control
;
Soft Computing
Abstract:
Bousi∼Prolog is an extension of the standard Prolog language. Its operational semantics is an adaptation of the SLD resolution principle where classical unification has been replaced by a fuzzy unification algorithm based on fuzzy relations defined on a syntactic domain. In this paper we describe how Bousi∼Prolog may contribute to resolve several problems extracted from different application areas, where it is mandatory to deal with vagueness and uncertain knowledge, such as: flexible deductive databases, fuzzy control, fuzzy experts
systems, data retrieval or approximate reasoning. Hence, through several (small but meaningful) examples we show the great potential of this programming language.