Similarity-based unification: a multi-adjoint approach

The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming which allows the simultaneous use of different implications in the rules and rather general connectives in the bodies is int...

Full description

Saved in:
Bibliographic Details
Published in:Fuzzy sets and systems 2004-08, Vol.146 (1), p.43-62
Main Authors: Medina, Jesús, Ojeda-Aciego, Manuel, Vojtáš, Peter
Format: Article
Language:English
Subjects:
Applied sciences
Circuit properties
Computer science
control theory
systems
Control theory. Systems
Digital circuits
Electric, optical and optoelectronic circuits
Electronic circuits
Electronics
Exact sciences and technology
Fuzzy unification
Information, signal and communications theory
Mathematical methods
Miscellaneous
Similarity
System theory
Telecommunications and information theory
Theoretical computing
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming which allows the simultaneous use of different implications in the rules and rather general connectives in the bodies is introduced, then a procedural semantics for this framework is presented, and an approximative-completeness theorem proved. On this computational model, a similarity-based unification approach is constructed by simply adding axioms of fuzzy similarities and using classical crisp unification which provides a semantic framework for logic programming with different notions of similarity.
ISSN:0165-0114
1872-6801
DOI:10.1016/j.fss.2003.11.005