An introduction to fuzzy answer set programming

Annals of Mathematics and Artificial Intelligence

Volumn 50, Issue 3-4, 2007, Pages 363-388

  Van Nieuwenborgh, Davy ^a   De Cock, Martine ^b   Vermeir, Dirk ^a  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^b GHENT UNIVERSITY   (Belgium)

Author keywords

Answer set programming; Fuzzy logic

Indexed keywords

EID: 34548269173     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10472-007-9080-3     Document Type: Conference Paper

References (31)

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)
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)
3. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press (2003)
4. Birkhoff, G.: Lattice Theory, vol. 25, 3rd edn. American Mathematical Society Colloquium Publications (1967)
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)
6. Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. Artif. Intell. 109(1-2), 297-356 (April 1999)
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)
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)
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)
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)
11. Dubois, D., Prade, H.: Possibilistic logic: a retrospective and prospective view. Fuzzy Sets Syst. 144(1), 3-23 (2004)
12. Eiter, T., Faber, W., Leone, N., Pfeifer, G.: The diagnosis frontend of the dlv system. AI Commun. 12(1-2), 99-111 (1999)
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)
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)
15. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3-4), 365-386 (1991)
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)
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)
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)
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)
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)
21. Novák, V., Perfilieva, I., Mǒckǒr, J.: Mathematical Principles of Fuzzy Logic. Kluwer (1999)
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)
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)
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)
25. Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pac. J. Math. 5, 285-309 (1955)
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)
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)
28. Van Nieuwenborgh, D., Vermeir, D.: Preferred answer sets for ordered logic programs. Theory Pract. Log. Program. 6(1-2), 107-167 (2006)
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)
30. Yager,R.: Including importances in owa aggregations using fuzzy systems modeling. IEEE Trans. Fuzzy Syst. 6(2), 286-291 (1998)
31. Zadeh, L.: Fuzzy logic and approximate reasoning. Synthese 30, 407-428 (1975)