Similarity-based SLD resolution and its role for web knowledge discovery

DOI10.1016/j.fss.2003.10.018zbMath1076.68088OpenAlexW2044640909MaRDI QIDQ1827312

Sabrina Senatore, Maria I. Sessa, Vincenzo Loia

Publication date: 6 August 2004

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2003.10.018

zbMATH Keywords

Logic programmingApproximate reasoningSimilarityPROLOG implementation

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)

Related Items

A Transformation-based implementation for CLP with qualification and proximity, Quantitative Logic Programming Revisited, Qualified Logic Programming with Bivalued Predicates

Uses Software

• FRIL
• FPROLOG

Cites Work

• Unnamed Item
• The implementation of FPROLOG - a fuzzy PROLOG interpreter
• Fundamentals of Fuzzy Prolog
• Translations and similarity-based logic programming
• Approximate reasoning by similarity-based SLD resolution.
• Mobile mail-agents through similarity-based reasoning
• On the semantics of fuzzy logic
• Similarity relations and fuzzy orderings
• Abstract interpretation and application to logic programs
• Fuzzy Logic and the Resolution Principle
• Soft computing agents. New trends for designing autonomous systems