Top-down computation of the semantics of weighted fuzzy logic programs

  • Authors:
  • Alexandros Chortaras;Giorgos Stamou;Andreas Stafylopatis

  • Affiliations:
  • School of Electrical and Computer Engineering, National Technical University of Athens, Athens, Greece;School of Electrical and Computer Engineering, National Technical University of Athens, Athens, Greece;School of Electrical and Computer Engineering, National Technical University of Athens, Athens, Greece

  • Venue:
  • RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We describe a procedural, query answering-oriented semantics for weighted fuzzy logic programs. The computation of the semantics combines resolution with tabling methodologies and is done by constructing and evaluating an appropriate resolution graph.