Definition and Adaptation of Weighted Fuzzy Logic Programs

Fuzzy logic programming has been lately used as a general framework for representing and handling imprecise knowledge. In this paper, we define the syntax and the semantics of definite weighted fuzzy logic programs, which extend definite fuzzy logic programs by allowing the inclusion of different significance weights in the individual atoms that make up the antecedent of a fuzzy logic rule. The weights add expressiveness to a fuzzy logic program and allow the determination of the level up to which an atom in the antecedent of a rule may affect the truth value of its consequent. In describing the semantics of definite weighted fuzzy logic programs we introduce the notion of the generalized weighted fuzzy conjunction operator, which can be regarded as a weighted t-norm based aggregation. We determine the properties of generalized weighted fuzzy conjunction operators and provide several examples. A methodology for constructing generalized weighted fuzzy conjunction operators using generator functions of existing t-norms is also introduced. Finally, a method for setting up a parametric weighted fuzzy logic program and automatically adapting the weights of its rules using a numerical dataset is developed.

[1]  Umberto Straccia,et al.  A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption , 2007, ECSQARU.

[2]  David W. Opitz,et al.  Dynamically adding symbolically meaningful nodes to knowledge-based neural networks , 1995, Knowl. Based Syst..

[3]  Tru H. Cao,et al.  Annotated fuzzy logic programs , 2000, Fuzzy Sets Syst..

[4]  Andreas Stafylopatis,et al.  Adaptation of Weighted Fuzzy Programs , 2006, ICANN.

[5]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[6]  Helmut Ratschek,et al.  What can interval analysis do for global optimization? , 1991, Journal of Global Optimization.

[7]  Leonard Paulík,et al.  Soundness and Completeness of Non-classical SLD-Resolution , 1996, ELP.

[8]  Ronald R. Yager,et al.  A note on weighted queries in information retrieval systems , 1987, J. Am. Soc. Inf. Sci..

[9]  Rafee Ebrahim,et al.  Fuzzy logic programming , 2001, Fuzzy Sets Syst..

[10]  Laks V. S. Lakshmanan,et al.  Uncertain Deductive Databases: A Hybrid Approach , 1997, Inf. Syst..

[11]  Manuel Ojeda-Aciego,et al.  Termination of logic programs with imperfect information: applications and query procedure , 2007, J. Appl. Log..

[12]  Artur S. d'Avila Garcez,et al.  Fewer Epistemological Challenges for Connectionism , 2005, CiE.

[13]  Umberto Straccia,et al.  The Approximate Well-Founded Semantics for Logic Programs with Uncertainty , 2003, MFCS.

[14]  Enrique Mérida Casermeiro,et al.  A neural implementation of multi-adjoint logic programming , 2004, J. Appl. Log..

[15]  Laks V. S. Lakshmanan,et al.  A Parametric Approach to Deductive Databases with Uncertainty , 2001, IEEE Trans. Knowl. Data Eng..

[16]  Luís Moniz Pereira,et al.  Antitonic Logic Programs , 2001, LPNMR.

[17]  Luís Moniz Pereira,et al.  Monotonic and Residuated Logic Programs , 2001, ECSQARU.

[18]  Joachim Diederich,et al.  Survey and critique of techniques for extracting rules from trained artificial neural networks , 1995, Knowl. Based Syst..

[19]  Umberto Straccia,et al.  The Well-Founded Semantics in Normal Logic Programs with Uncertainty , 2002, FLOPS.

[20]  Krysia Broda,et al.  Symbolic knowledge extraction from trained neural networks: A sound approach , 2001, Artif. Intell..

[21]  Jude W. Shavlik,et al.  Knowledge-Based Artificial Neural Networks , 1994, Artif. Intell..

[22]  Manuel Ojeda-Aciego,et al.  Sorted Multi-adjoint Logic Programs: Termination Results and Applications , 2004, JELIA.

[23]  Peter Vojtás,et al.  Fuzzy logic programming , 2001, Fuzzy Sets Syst..

[24]  Ronald R. Yager,et al.  On ordered weighted averaging aggregation operators in multicriteria decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..

[25]  Manuel Ojeda-Aciego,et al.  Multi-adjoint Logic Programming with Continuous Semantics , 2001, LPNMR.

[26]  Umberto Straccia,et al.  Query Answering in Normal Logic Programs Under Uncertainty , 2005, ECSQARU.

[27]  Didier Dubois,et al.  Weighted minimum and maximum operations in fuzzy set theory , 1986, Inf. Sci..

[28]  Sebastian Bader,et al.  The Core Method: Connectionist Model Generation , 2006, ICANN.

[29]  Michael Kifer,et al.  On the Semantics of Rule-Based Expert Systems with Uncertainty , 1988, ICDT.