On the Computation of Warranted Arguments within a Possibilistic Logic Framework with Fuzzy Unification (original) (raw)

Abstract

Abstract Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at object-language level. The aim of this paper is twofold: first to present an approach towards extending P-DeLP in order to incorporate fuzzy constants and fuzzy unification, and after to propose a way to handle conflicting arguments in the context of the extended framework.

Loading...

Loading Preview

Sorry, preview is currently unavailable. You can download the paper by clicking the button above.

References (18)

  1. Alsinet, T., and Godo, L. 2000. A complete calculus for possibilistic logic programming with fuzzy propositional variables. In Proc. of UAI-2000 Conf., 1-10.
  2. Alsinet, T., and Godo, L. 2001. A proof procedure for possibilistic logic programming with fuzzy constants. In Proc. of the ECSQARU-2001 Conf., 760-771.
  3. Alsinet, T. 2003. Logic Programming with Fuzzy Unifica- tion and Imprecise Constants: Possibilistic Semantics and Automated Deduction. Number 15. IIIA-CSIC. Bellaterra, Spain.
  4. Amgoud, L., and Cayrol, C. 2002. Inferring from incon- sistency in preference-based argumentation frameworks. J. Autom. Reasoning 29(2):125-169.
  5. Amgoud, L., and Kaci, S. 2005. An argumentation frame- work for merging conflicting knowledge bases: The prior- itized case. In Proc. of the ECSQARU-2005 Conf., LNAI 3571, 527-538.
  6. Benferhat, S.; Dubois, D.; and Prade, H. 2002. The pos- sibilistic handling of irrelevance in exception-tolerant rea- soning. Annals of Math. and AI 35:29-61.
  7. Caminada, M., and Amgoud, L. 2005. An axiomatic ac- count of formal argumentation. In Proc. of the AAAI-2005 Conf., 608-613.
  8. Chesñevar, C. I.; Simari, G.; Alsinet, T.; and Godo, L. 2004. A Logic Programming Framework for Possibilis- tic Argumentation with Vague Knowledge. In Proc. of the UAI-2004 Conf., 76-84.
  9. Chesñevar, C.; Simari, G.; Godo, L.; and Alsinet, T. 2005. On warranted inference in possibilistic defeasible logic programming. In Proc. of CCIA-2005. IOS Press, 265- 272. Chesñevar, C.; Maguitman, A.; and Loui, R. 2000. Logical Models of Argument. ACM Computing Surveys 32(4):337- 383. Chesñevar, C.; Simari, G.; and Godo, L. 2005. Computing dialectical trees efficiently in possibilistic defeasible logic programming. In Proc. of LPNMR-2005 Conf., 158-171.
  10. Dubois, D.; Lang, J.; and Prade, H. 1994. Possibilistic logic. In D.Gabbay et al. eds., Handbook of Logic in Art. Int. and Logic Prog. (Nonmonotonic Reasoning and Un- certain Reasoning). Oxford Univ. Press. 439-513.
  11. Haenni, R., and Lehmann, N. 2003. Probabilistic Ar- gumentation Systems: a New Perspective on Dempster- Shafer Theory. Int. J. of Intelligent Systems 1(18):93-106.
  12. Haenni, R.; Kohlas, J.; and Lehmann, N. 2000. Proba- bilistic argumentation systems. Handbook of Defeasible Reasoning and Uncertainty Management Systems.
  13. Pollock, J. L. 2001. Defeasible reasoning with variable degrees of justification. Artif. Intell. 133(1-2):233-282.
  14. Prakken, H., and Sartor, G. 1997. Argument-based ex- tended logic programming with defeasible priorities. Jour- nal of Applied Non-classical Logics 7:25-75.
  15. Schroeder, M., and Schweimeier, R. 2002. Fuzzy argumen- tation for negotiating agents. In Proc. of the AAMAS-2002 Conf., 942-943.
  16. Schweimeier, R., and Schroeder, M. 2001. Fuzzy argu- mentation and extended logic programming. In Proceed- ings of ECSQARU Workshop Adventures in Argumentation (Toulouse, France).
  17. Schweimeier, R., and Schroeder, M. 2004. Fuzzy unifi- cation and argumentation for well-founded semantics. In proc. of SOFSEM 2004, LNCS 2932, 102-121.
  18. Simari, G.; Chesñevar, C.; and García, A. 1994. The role of dialectics in defeasible argumentation. In Proc. of the XIV Intl. Conf. of the Chilean Society for Computer Science, 260-281. Universidad de Concepción, Concepción (Chile).