An algorithm for stage semantics

Part of book or chapter of book English OPEN
Caminada, Martin (2010)

In the current paper, we re-examine the concept of stage semantics, which is one of the oldest semantics for abstract argumentation. Using a formal treatment of its properties, we explain how the intuition behind stage semantics differs from the intuition behind the admissibility based semantics that most scholars in argumentation theory are familiar with. We then provide a labelling-based algorithm for computing all stage extensions, based on earlier algorithms for computing all preferred, stable and semi-stable extensions.
  • References (19)
    19 references, page 1 of 2

    [1] [2] O. Arieli and A. Avron. The value of the four values. Artificial Intelligence, 102:97-141, 1998.

    P. Baroni, F. Cerutti, M. Giacomin, and G. Guida. Encompassing attacks to attacks in abstract argumentation frameworks. In Proc. of ECSQARU 2009, 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, pages 83-94, 2009.

    P. Baroni, M. Giacomin, and G. Guida. SCC-recursiveness: a general schema for argumentation semantics. Artificial Intelligence, 168(1-2):165-210, 2005.

    M.W.A. Caminada. On the issue of reinstatement in argumentation. In M. Fischer, W. van der Hoek, B. Konev, and A. Lisitsa, editors, Logics in Artificial Intelligence; 10th European Conference, JELIA 2006, pages 111-123. Springer, 2006. LNAI 4160.

    M.W.A. Caminada. Semi-stable semantics. In P.E. Dunne and TJ.M. Bench-Capon, editors, Computational Models of Argument; Proceedings of COMMA 2006, pages 121-130. IOS Press, 2006.

    M.W.A. Caminada. An algorithm for computing semi-stable semantics. In Proceedings of the 9th European Conference on Symbolic and Quantitalive Approaches to Reasoning with Uncertainty (ECSQARU 2007), number 4724 in Springer Lecture Notes in AI, pages 222-234, Berlin, 2007. Springer Verlag.

    M.W.A. Caminada. A labelling approach for ideal and stage semantics. submitted, 2010.

    M.W.A. Caminada and D.M. Gabbay. A logical account of formal argumentation. Studia Logica, 93(2- 3):109-145, 2009. Special issue: new ideas in argumentation theory.

    W. Carnielli, M.E. Coniglio, and J. Marcos. Logics of formal inconsistency. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, second edition, volume 14, pages 15-114.

    Springer Verlag, 2002.

  • Metrics
    0
    views in OpenAIRE
    0
    views in local repository
    13
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    Online Research @ Cardiff - IRUS-UK 0 13
Share - Bookmark