Similarity-based unification: a multi-adjoint approach. Fuzzy sets and systems (2002)
by
Jesús Medina
,
Manuel Ojeda-aciego
| Venue: | In Proc. EUSFLAT Conference in Fuzzy Logic and Technology |
| Citations: | 15 - 2 self |
BibTeX
@INPROCEEDINGS{Medina02similarity-basedunification:,
author = {Jesús Medina and Manuel Ojeda-aciego},
title = {Similarity-based unification: a multi-adjoint approach. Fuzzy sets and systems},
booktitle = {In Proc. EUSFLAT Conference in Fuzzy Logic and Technology},
year = {2002},
pages = {2004},
publisher = {Elsevier}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The aim of this paper is to build a formal model for fuzzy unification in multi-adjoint logic programs containing both a declarative and a procedural part, and prove its soundness and completeness. Our approach is based on a general framework for logic programming, which gives a formal model of fuzzy logic programming extended by fuzzy similarities and axioms of first-order logic with equality.
