Similarity in Logic Programming

  • Giangiacomo Gerla
  • Maria I. Sessa
Part of the The International Series on Asian Studies in Computer and Information Science book series (ASIS, volume 6)


By introducing a similarity relation R between constant and predicate symbols in the language of a logic program P, it is possible to perform approximate inferences. Indeed, it allows us to manage alternative instances of entities that can be considered“equal” with a given degree. We analyze the semantics of this approach exploiting an abstract interpretation technique. The abstract domain is obtained by considering suitable equivalence relations associated with the similarity R. The optimality of the abstract semantics is proved and the definition of fuzzy Herbrand model is also introduced.


Logic programming approximate reasoning similarity relation abstract interpretation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Apt Krkysztof, R. Logic Programming. In Handbook of Theoretical Computer Science Vol. B, Jan van Leeuwen (Ed.), Amsterdam: Elsevier, 1990.Google Scholar
  2. Biacino, L.; Gerla, G. Logics with approximate premises. (To appear in Journal of Intelligent Systems).Google Scholar
  3. Cousot, P.; Cousot, R. Abstract interpretation and application to logic programs. Journal of Logic Programming, 1992; 13: 103–179.MathSciNetzbMATHCrossRefGoogle Scholar
  4. Van Emden, M.H.; Kowalski, R.A. The semantics of predicate Logic as a programming language. Journal of ACM 1976; 23(4): 733–742.Google Scholar
  5. Formato, F.; Gerla, G.; Sessa, M.I. Similarity-based Unification. (Submitted).Google Scholar
  6. Klawonn, F.; Castro, J.L. Similarity in fuzzy reasoning. Mathware & Soft Computing 1995; 2: 197–228; Ying M. A logic for approximate reasoning. The Journal of Symbolic Logic 1994; 59.MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer Science+Business Media New York 1999

Authors and Affiliations

  • Giangiacomo Gerla
    • 1
  • Maria I. Sessa
    • 1
  1. 1.DMI Universita’ di SalernoItaly

Personalised recommendations