Adaptation of Connectionist Weighted Fuzzy Logic Programs with Kripke-Kleene Semantics (original) (raw)

Abstract

Weighted fuzzy logic programs extend the expressiveness of fuzzy logic programs by allowing the association of a different significance weight with each atom that appears in the body of a fuzzy rule. The semantics and a connectionist representation of these programs have already been studied in the absence of negation; in this paper we first propose a Kripke-Kleene based semantics for the programs which allows for the use of negation as failure. Taking advantage of the increased modelling capabilities of the extended programs, we then describe their connectionist representation and study the problem of adapting the rule weights in order to fit a provided dataset. The adaptation algorithm we develop is based on the subgradient descent method and hence is appropriate to be employed as a learning algorithm for the training of the connectionist representation of the programs.

Preview

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Chortaras, A., Stamou, G., Stafylopatis, A.: Adaptation of weighted fuzzy programs. In: Kollias, S.D., Stafylopatis, A., Duch, W., Oja, E. (eds.) ICANN 2006. LNCS, vol. 4132, pp. 45–54. Springer, Heidelberg (2006)
    Chapter Google Scholar
  2. Chortaras, A., Stamou, G., Stafylopatis, A., Kollias, S.: A connectionist model for weighted fuzzy programs. In: IJCNN 2006: The 2006 International Joint Conference on Neural Networks, pp. 5362–5369 (2006)
    Google Scholar
  3. Damásio, C.V., Medina, J., Ojeda-Aciego, M.: Termination of logic programs with imperfect information: applications and query procedure. Journal of Applied Logic 5(3), 435–458 (2007)
    Article MATH MathSciNet Google Scholar
  4. Damásio, C.V., Pereira, L.M.: Sorted monotonic logic programs and their embeddings. In: IPMU 2004: The 8th International Conference on Information Processing and Management of Uncertainty, pp. 807–814 (2004)
    Google Scholar
  5. Eitzinger, C.: Nonsmooth training of fuzzy neural networks. Soft Computing 8, 443–448 (2004)
    Google Scholar
  6. Fitting, M.: Bilattices and the semantics of logic programming. Journal of Logic Programming 11, 91–116 (1991)
    Article MATH MathSciNet Google Scholar
  7. Hitzler, P., Holldöbler, S., Seda, A.K.: Logic programs and connectionist networks. Journal of Applied Logic 2(3), 245–272 (2004)
    Article MATH MathSciNet Google Scholar
  8. Kiwiel, K.C.: Methods of Descent for Nondifferentiable Optimization. Springer, Heidelberg (1985)
    MATH Google Scholar
  9. Lakshmanan, L.V.S., Shiri, N.: A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering 13(4), 554–570 (2001)
    Article Google Scholar
  10. Medina, J., Mérida-Casermeiro, E., Ojeda-Aciego, M.: A neural implementation of multiadjoint programming. Journal of Applied Logic 2(3), 310–324 (2004)
    Article Google Scholar
  11. Shor, N.Z., Zhurbenko, N.G., Likhovid, A.P., Stetsyuk, P.I.: Algorithms of nondifferentiable optimization: Development and application. Cybernetics and Systems Analysis 39(4), 537–548 (2003)
    Article MATH MathSciNet Google Scholar
  12. Vojtáš, P.: Fuzzy logic programming. Fuzzy Sets and Systems 124, 361–370 (2001)
    Article MATH MathSciNet Google Scholar

Download references

Author information

Authors and Affiliations

  1. School of Electrical and Computer Engineering, National Technical University of Athens, Zografou 157 80, Athens, Greece
    Alexandros Chortaras, Giorgos Stamou, Andreas Stafylopatis & Stefanos Kollias

Authors

  1. Alexandros Chortaras
  2. Giorgos Stamou
  3. Andreas Stafylopatis
  4. Stefanos Kollias

Editor information

Véra Kůrková Roman Neruda Jan Koutník

Rights and permissions

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chortaras, A., Stamou, G., Stafylopatis, A., Kollias, S. (2008). Adaptation of Connectionist Weighted Fuzzy Logic Programs with Kripke-Kleene Semantics. In: Kůrková, V., Neruda, R., Koutník, J. (eds) Artificial Neural Networks - ICANN 2008. ICANN 2008. Lecture Notes in Computer Science, vol 5163. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87536-9\_51

Download citation

Keywords

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Publish with us