An introduction to fuzzy answer set programming

  • Davy Van Nieuwenborgh
  • Martine De Cock
  • Dirk Vermeir
Article

Abstract

In this paper we show how the concepts of answer set programming and fuzzy logic can be successfully combined into the single framework of fuzzy answer set programming (FASP). The framework offers the best of both worlds: from the answer set semantics, it inherits the truly declarative non-monotonic reasoning capabilities while, on the other hand, the notions from fuzzy logic in the framework allow it to step away from the sharp principles used in classical logic, e.g., that something is either completely true or completely false. As fuzzy logic gives the user great flexibility regarding the choice for the interpretation of the notions of negation, conjunction, disjunction and implication, the FASP framework is highly configurable and can, e.g., be tailored to any specific area of application. Finally, the presented framework turns out to be a proper extension of classical answer set programming, as we show, in contrast to other proposals in the literature, that there are only minor restrictions one has to demand on the fuzzy operations used, in order to be able to retrieve the classical semantics using FASP.

Keywords

Answer set programming Fuzzy logic 

Mathematics Subject Classifications (2000)

68T27 68T30 68T37 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alsinet, T., Godo, L., Sandri, S.: Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. Electr. Notes Theor. Comput. Sci. 66(5), 1–21 (2002)CrossRefGoogle Scholar
  2. 2.
    Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: Proceedings of the International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series (2003)Google Scholar
  3. 3.
    Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press (2003)Google Scholar
  4. 4.
    Birkhoff, G.: Lattice Theory, vol. 25, 3rd edn. American Mathematical Society Colloquium Publications (1967)Google Scholar
  5. 5.
    Brewka, G.: Logic programming with ordered disjunction. In: Proceedings of the 18th National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 2002, pp. 100–105. AAAI Press (2002)Google Scholar
  6. 6.
    Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. Artif. Intell. 109(1–2), 297–356 (April 1999)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Buccafurri, F., Leone, N., Rullo, P.: Strong and weak constraints in disjunctive datalog. In: Proceedings of the 4th International Conference on Logic Programming (LPNMR ’97), pp. 2–17 (1997)Google Scholar
  8. 8.
    Damasio, C.V., Pereira, L.M.: Sorted monotonic logic programs and their embedding. In: Proceedings of the 10th Intl. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-04), pp. 807–814 (2004)Google Scholar
  9. 9.
    Damasio, C.V., Medina, J., Ojeda-Aciego, M.: Sorted multi-adjoint logic programs: termination results and applications. Lect. Notes Comput. Sci. 3229, 252–265 (2007)MathSciNetCrossRefGoogle Scholar
  10. 10.
    De Vos, M., Vermeir, D.: On the role of negation in choice logic programs. In: Logic Programming and Non-Monotonic Reasoning Conference (LPNMR’99). LNAI, vol. 1730, pp. 236–246. Springer (1999)Google Scholar
  11. 11.
    Dubois, D., Prade, H.: Possibilistic logic: a retrospective and prospective view. Fuzzy Sets Syst. 144(1), 3–23 (2004)MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Eiter, T., Faber, W., Leone, N., Pfeifer, G.: The diagnosis frontend of the dlv system. AI Commun. 12(1–2), 99–111 (1999)MathSciNetGoogle Scholar
  13. 13.
    Gabbay, D., Laenens, E., Vermeir, D.: Credulous vs. sceptical semantics for ordered logic programs. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 208–217. Morgan Kaufmann (1991)Google Scholar
  14. 14.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, August 1988, pp. 1070–1080. Seattle, Washington, The MIT Press. (1988)Google Scholar
  15. 15.
    Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3–4), 365–386 (1991)CrossRefGoogle Scholar
  16. 16.
    Dix, D.N.J., Kuter, U.: Planning in answer set programming using ordered task decomposition. In: Proceedings of the 27th German Annual Conference on Artificial Intelligence (KI ’03). LNAI, vol. 2821, pp. 490–504. Springer (2003)Google Scholar
  17. 17.
    Mateis, C.: Extending disjunctive logic programming by t-norms. In: Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR99), LNAI, vol. 1730, pp. 290–304. Springer (1999)Google Scholar
  18. 18.
    Nicolas, P., Garcia, L., Stéphan, I.: Possibilistic stable models. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, pp. 248–253 (2005)Google Scholar
  19. 19.
    Nicolas, P., Garcia, L., Stéphan, I., Lefèvre, C.: Possibilistic uncertainty handling for answer set programming. Ann. Math. Artif. Intell. 47(1–2), 139–181 (2006)MATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An a-prolog decision support system for the space shuttle. In: Third International Symposium on Practical Aspects of Declarative Languages. LNCS, vol. 1990, pp. 169–183. Springer (2001)Google Scholar
  21. 21.
    Novák, V., Perfilieva, I., Moc̆kor̆, J.: Mathematical Principles of Fuzzy Logic. Kluwer (1999)Google Scholar
  22. 22.
    Sacca, D., Zaniolo, C.: Stable models and non-determinism in logic programs with negation. In: PODS ’90: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 205–217. ACM Press (1990)Google Scholar
  23. 23.
    Soininen, T., Niemelä, I.: Developing a declarative rule language for applications in product configuration. In: Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL ’99). LNCS, vol. 1551, pp. 305–319. Springer (1999)Google Scholar
  24. 24.
    Straccia, U.: Annotated answer set programming. In: Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-06) (2006)Google Scholar
  25. 25.
    Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pac. J. Math. 5, 285–309 (1955)MATHMathSciNetGoogle Scholar
  26. 26.
    van Gelder, A., Ross, K.A., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. In: Proceedings of the 7th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 1988, pp. 221–230. ACM Press, Austin, Texas, (1988)CrossRefGoogle Scholar
  27. 27.
    van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. Assoc. Comput. Mach. 38(3), 620–650 (1991)MATHMathSciNetGoogle Scholar
  28. 28.
    Van Nieuwenborgh, D., Vermeir, D.: Preferred answer sets for ordered logic programs. Theory Pract. Log. Program. 6(1–2), 107–167 (2006)MATHCrossRefMathSciNetGoogle Scholar
  29. 29.
    Wagner, G.: A logical reconstruction of fuzzy inference in databases and logic programs. In: Proceedings of the International Fuzzy Set Association World Congress (IFSA’97) (1997)Google Scholar
  30. 30.
    Yager, R.: Including importances in owa aggregations using fuzzy systems modeling. IEEE Trans. Fuzzy Syst. 6(2), 286–291 (1998)CrossRefGoogle Scholar
  31. 31.
    Zadeh, L.: Fuzzy logic and approximate reasoning. Synthese 30, 407–428 (1975)MATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2007

Authors and Affiliations

  • Davy Van Nieuwenborgh
    • 1
  • Martine De Cock
    • 2
  • Dirk Vermeir
    • 1
  1. 1.Department of Computer ScienceVrije Universiteit Brussel, VUBBrusselsBelgium
  2. 2.Department of Applied Mathematics and Computer ScienceUniversiteit GentGhentBelgium

Personalised recommendations