Starting from unification based on similarity, a logic programming system, called Likelog, (LIKEness in LOGic) is derived, thorougly relying on similarity. An operational semantics and a fix-point semantics are defined, using an extension principle for fuzzy operators. The two approaches are proved to be related and a fuzzy extension of the Ieast Herbrand model is given. One of the principal feature of such a logic programming system is to allow flexible information retrieval in deductive data bases.
ARCELLI FONTANA, F., Formato, F. (1999). Likelog: a logic programming language for flexible data retrieval. In 1999 ACM Symposium on Applied Computing (pp.260-267). New York : ACM Press [10.1145/298151.298348].
Likelog: a logic programming language for flexible data retrieval
ARCELLI FONTANA, FRANCESCA;
1999
Abstract
Starting from unification based on similarity, a logic programming system, called Likelog, (LIKEness in LOGic) is derived, thorougly relying on similarity. An operational semantics and a fix-point semantics are defined, using an extension principle for fuzzy operators. The two approaches are proved to be related and a fuzzy extension of the Ieast Herbrand model is given. One of the principal feature of such a logic programming system is to allow flexible information retrieval in deductive data bases.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
