This work presents the implementation of an extension of SLD resolution towards approximate reasoning and its implementation in an extended Prolog system. The proposed refutation procedure overcomes failures in the unification process by exploiting similarity relations defined between predicate and constant symbols. This enables to compute approximate solutions, with an associated approximation degree, when failures of the exact inference process occur. In this paper we outline the main ideas of this approach and we present an extended PROLOG interpreter, named SiLog, which implements this inference procedure. Then we point out on a web-based platform, usable for knowledge discovery, that exploits as inner feature the similarity-based SLD resolution.

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

LOIA, Vincenzo;SENATORE, Sabrina;SESSA, Maria Immacolata
2004

Abstract

This work presents the implementation of an extension of SLD resolution towards approximate reasoning and its implementation in an extended Prolog system. The proposed refutation procedure overcomes failures in the unification process by exploiting similarity relations defined between predicate and constant symbols. This enables to compute approximate solutions, with an associated approximation degree, when failures of the exact inference process occur. In this paper we outline the main ideas of this approach and we present an extended PROLOG interpreter, named SiLog, which implements this inference procedure. Then we point out on a web-based platform, usable for knowledge discovery, that exploits as inner feature the similarity-based SLD resolution.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11386/1002106
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 15
  • ???jsp.display-item.citation.isi??? 11
social impact