Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Disjunctive Fuzzy Logic Programs with Fuzzy Answer Set Semantics

  • Conference paper
Scalable Uncertainty Management (SUM 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6379))

Included in the following conference series:

  • 894 Accesses

Abstract

Reasoning under fuzzy uncertainty arises in many applications including planning and scheduling in fuzzy environments. In many real-world applications, it is necessary to define fuzzy uncertainty over qualitative uncertainty, where fuzzy values are assigned over the possible outcomes of qualitative uncertainty. However, current fuzzy logic programming frameworks support only reasoning under fuzzy uncertainty. Moreover, disjunctive logic programs, although used for reasoning under qualitative uncertainty it cannot be used for reasoning with fuzzy uncertainty. In this paper we combine extended and normal fuzzy logic programs [30, 23], for reasoning under fuzzy uncertainty, with disjunctive logic programs [7, 4], for reasoning under qualitative uncertainty, in a unified logic programming framework, namely extended and normal disjunctive fuzzy logic programs. This is to allow directly and intuitively to represent and reason in the presence of both fuzzy uncertainty and qualitative uncertainty. The syntax and semantics of extended and normal disjunctive fuzzy logic programs naturally extends and subsumes the syntax and semantics of extended and normal fuzzy logic programs [30, 23] and disjunctive logic programs [7, 4]. Moreover, we show that extended and normal disjunctive fuzzy logic programs can be intuitively used for representing and reasoning about scheduling with fuzzy preferences.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Apt, K.R., Bol, R.N.: Logic programming and negation:a survey. Journal of Logic Programming 19(20), 9–71 (1994)

    Article  MathSciNet  Google Scholar 

  2. Brewwka, G.: Complex preferences for answer set optimization. In: Ninth International Conference on Principles of Knowledge Representation and Reasoning (2004)

    Google Scholar 

  3. Dekhtyar, A., Subrahmanian, V.S.: Hybrid probabilistic program. Journal of Logic Programming 43(3), 187–250 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  4. Brewka, G., Dix, J.: Knowledge representation with logic programs. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol. 1471, p. 1. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  5. Dubois, D., et al.: Towards possibilistic logic programming. In: ICLP. MIT Press, Cambridge (1991)

    Google Scholar 

  6. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICSLP. MIT Press, Cambridge (1988)

    Google Scholar 

  7. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3-4), 363–385 (1991)

    Article  Google Scholar 

  8. Van Gelder, A.: The alternating fixpoint of logic programs with negation. Journal of Computer and System Sciences 47(1), 185–221 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  9. Janssen, J., Schockaert, S., Vermeir, D., De Cock, M.: General fuzzy answer set programs. In: International Workshop on Fuzzy Logic and Applications (2009)

    Google Scholar 

  10. Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12, 335–367 (1992)

    Article  MathSciNet  Google Scholar 

  11. Lakshmanan, V.S.L., Shiri, N.: A parametric approach to deductive databases with uncertainty. IEEE TKDE 13(4), 554–570 (2001)

    Google Scholar 

  12. Loyer, Y., Straccia, U.: The approximate well-founded semantics for logic programs with uncertainty. In: Rovan, B., Vojtáš, P. (eds.) MFCS 2003. LNCS, vol. 2747, pp. 541–550. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  13. Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the semantic Web. Fundamenta Informaticae 82(3), 289–310 (2008)

    MATH  MathSciNet  Google Scholar 

  14. Lukasiewicz, T.: Many-valued disjunctive logic programs with probabilistic semantics. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730, p. 277. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  15. Madrid, N., Ojeda-Aciego, M.: Towards a fuzzy answer set semantics for residuated logic programs. In: Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (2008)

    Google Scholar 

  16. Nerode, A., Remmel, J., Subrahmanian, V.S.: Annotated nonmonotone rule systems. Theoretical Computer Science 171(1-2), 77–109 (1997)

    Article  MathSciNet  Google Scholar 

  17. Niemela, I., Simons, P.: Efficient implementation of the well-founded and stable model semantics. In: Joint International Conference and Symposium on Logic Programming, pp. 289–303 (1996)

    Google Scholar 

  18. Nieuwenborgh, D., Cock, M., Vermeir, D.: An introduction to fuzzy answer set programming. Annals of Mathematics and Artificial Intelligence 50(3-4), 363–388 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  19. Ng, R.T., Subrahmanian, V.S.: Probabilistic logic programming. Information & Computation, 101(2) (1992)

    Google Scholar 

  20. Ng, R.T., Subrahmanian, V.S.: Stable semantics for probabilistic deductive databases. Information & Computation, 110(1) (1994)

    Google Scholar 

  21. Saad, E.: Incomplete knowlege in hybrid probabilistic logic programs. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 399–412. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  22. Saad, E.: A logical approach to qualitative and quantitative reasoning. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 173–186. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  23. Saad, E.: Extended fuzzy logic programs with fuzzy answer set semantics. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS, vol. 5785, pp. 223–239. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  24. Saad, E., Pontelli, E.: Towards a more practical hybrid probabilistic logic programming framework. In: Hermenegildo, M.V., Cabeza, D. (eds.) PADL 2004. LNCS, vol. 3350, pp. 67–82. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  25. Saad, E., Pontelli, E.: Hybrid probabilistic logic programs with non-monotonic negation. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 204–220. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  26. Saad, E., Pontelli, E.: A new approach to hybrid probabilistic logic programs. Annals of Mathematics and Artificial Intelligence Journal 48(3-4), 187–243 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  27. Saad, E., Elmorsy, S., Gabr, M., Hassan, Y.: Reasoning about actions in fuzzy environment. In: the World Congress of the International Fuzzy Systems Association/European society for Fuzzy Logic and Technology, IFSA/EUSFLAT 2009 (2009)

    Google Scholar 

  28. Shapiro, E.: Logic programs with uncertainties: A tool for implementing expert systems. In: Proc. of IJCAI, pp. 529–532 (1983)

    Google Scholar 

  29. Straccia, U., Ojeda-Aciego, M., Damasio, C.V.: On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs. SIAM Journal on Computing 38(5), 1881–1911 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  30. Subrahmanian, V.S.: Amalgamating knowledge bases. ACM TDS 19(2), 291–331 (1994)

    Article  MathSciNet  Google Scholar 

  31. van Emden, M.H.: Quantitative deduction and its fixpoint theory. Journal of Logic Programming 4(1), 37–53 (1986)

    Article  Google Scholar 

  32. Zadeh, L.: Fuzzy Sets. Information and Control 8(3), 338–353 (1965)

    Article  MATH  MathSciNet  Google Scholar 

  33. Zadeh, L.: Outline of a new approach to the analysis of complex systems and decision processes. IEEE Trans. on Systems, Man, and Cybernetics SMC-3, 28–44 (1973)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Gulf University for Science and Technology, Mishref, Kuwait

    Emad Saad

Authors
  1. Emad Saad
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Maryland, MD 20910, College Park, USA

    Amol Deshpande

  2. Department of Computer Science, University College London, Gower Street, WC1E 6BT, London, UK

    Anthony Hunter

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Saad, E. (2010). Disjunctive Fuzzy Logic Programs with Fuzzy Answer Set Semantics. In: Deshpande, A., Hunter, A. (eds) Scalable Uncertainty Management. SUM 2010. Lecture Notes in Computer Science(), vol 6379. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15951-0_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15951-0_29

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15950-3

  • Online ISBN: 978-3-642-15951-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation