IEEE - Institute of Electrical and Electronics Engineers, Inc. - Similarity-based SLD resolution and its implementation in an extended Prolog system

Proceedings of 10th Annual IEEE Conference on Fuzzy Systems

Author(s): V. Loia ; S. Senatore ; M.I. Sessa
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2001
Conference Location: Melbourne, Victoria, Australia, Australia
Conference Date: 2 December 2001
Volume: 2
Page Count: 4
ISBN (Paper): 0-7803-7293-X
DOI: 10.1109/FUZZ.2001.1009038
Regular:

This paper presents an extension of SLD resolution towards approximate reasoning. The proposed refutation procedure overcomes failures in the unification process by exploiting similarity relation... View More

Advertisement