Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-25T05:45:48.886Z Has data issue: false hasContentIssue false
  • English
  • Français

Range-based argumentation semantics as two-valued models

Published online by Cambridge University Press:  03 May 2016

MAURICIO OSORIO  and
JUAN CARLOS NIEVES
MAURICIO OSORIO
Affiliation:
Universidad de las Américas - Puebla, Depto. de Actuaría, Física y Matemáticas, Sta. Catarina Mártir, Cholula, Puebla, 72820 México (e-mail: [email protected])
JUAN CARLOS NIEVES
Affiliation:
Department of Computing Science, Umeå University SE-901 87, Umeå, Sweden (e-mail: [email protected])
Get access Rights & Permissions [Opens in a new window]

Abstract

Characterizations of semi-stable and stage extensions in terms of two-valued logical models are presented. To this end, the so-called GL-supported and GL-stage models are defined. These two classes of logical models are logic programming counterparts of the notion of range which is an established concept in argumentation semantics.

Keywords

Logic programming semanticsargumentation semanticsnon-monotonic reasoning
Type
Technical Note
Information
Theory and Practice of Logic Programming , Volume 17 , Issue 1 , January 2017 , pp. 75 - 90
Copyright
Copyright © Cambridge University Press 2016 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Baral, C. 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge.Google Scholar
Baroni, P., Caminada, M. and Giacomin, M. 2011. An introduction to argumentation semantics. Knowledge Eng. Review 26, 4, 365–410.Google Scholar
Caminada, M. 2006. Semi-stable semantics. In Proc. of COMMA, Dunne, P. E. and Bench-Capon, T. J., Eds. vol. 144. IOS Press, Netherlands, 121–130.Google Scholar
Caminada, M., Sá, S. and Alcântara, J. 2013. On the Equivalence between Logic Programming Semantics and Argumentation Semantics. Technical Report ABDN-CS-13-01, University of Aberdeen.CrossRefGoogle Scholar
Caminada, M. W. A., Carnielli, W. A. and Dunne, P. E. 2012. Semi-stable semantics. Journal of Logic and Computation 22, 5, 1207–1254.Google Scholar
Carballido, J. L., Nieves, J. C. and Osorio, M. 2009. Inferring preferred extensions by pstable semantics. Iberoamerican Journal of Artificial Intelligence (Inteligencia Artificial) ISSN: 1137-3601, (doi: 10.4114/ia.v13i41.1029) 13, 41, 38–53.Google Scholar
Charwat, G., Dvorák, W., Gaggl, S. A., Wallner, J. P. and Woltran, S. 2015. Methods for solving reasoning problems in abstract argumentation - A survey. Artificial Intelligence 220, 28–63.Google Scholar
Dung, P. M. 1995. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77, 2, 321–358.Google Scholar
Dvorák, W. and Woltran, S. 2010. Complexity of semi-stable and stage semantics in argumentation frameworks. Information Processing Letters 110, 11, 425–430.CrossRefGoogle Scholar
Egly, U., Alice Gaggl, S. and Woltran, S. 2010. Answer-set programming encodings for argumentation frameworks. Argument and Computation 1, 2, 147–177.Google Scholar
Gabbay, D. M. and d'Avila Garcez, A. S. 2009. Logical modes of attack in argumentation networks. Studia Logica 93, 2–3, 199–230.CrossRefGoogle Scholar
Gelfond, M. 2008. Handbook of Knowledge Representation. Elsevier, Chapter Answer Sets, Maryland Heights, MO, 285–316.CrossRefGoogle Scholar
Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In Proc. 5th Conference on Logic Programming, Kowalski, R. and Bowen, K., Eds. MIT Press, Cambridge, MA, 1070–1080.Google Scholar
Nieves, J. C. and Osorio, M. 2014. Ideal extensions as logical programming models. Journal of Logic and Computation DOI:10.1093/logcom/exu014.Google Scholar
Nieves, J. C., Osorio, M. and Cortés, U. 2008. Preferred extensions as stable models. Theory and Practice of Logic Programming 8, 4 (July), 527–543.Google Scholar
Nieves, J. C., Osorio, M. and Zepeda, C. 2011. A schema for generating relevant logic programming semantics and its applications in argumentation theory. Fundamenta Informaticae 106, 2–4, 295–319.Google Scholar
Nieves, J. C., Osorio, M., Zepeda, C. and Cortés, U. 2005. Inferring acceptable arguments with answer set programming. In Proc. 6th Mexican International Conference on Computer Science (ENC 2005). IEEE Computer Science Press, 198–205.Google Scholar
Osorio, M., Navarro, J. A., Arrazola, J. R. and Borja, V. 2006. Logics with common weak completions. Journal of Logic and Computation 16, 6, 867–890.Google Scholar
Osorio, M., Nieves, J. C. and Santoyo, A. 2013. Complete extensions as Clark's completion semantics. In Mexican International Conference on Computer Science. IEEE Computer Science Press, 81–88.Google Scholar
Prakken, H. and Vreeswijk, G. A. W. 2002. Logics for defeasible argumentation. In Handbook of Philosophical Logic, 2nd ed., Vol. 4, Gabbay, D. and Günthner, F., Eds. Kluwer Academic Publishers, Dordrecht/Boston/London, 219–318.Google Scholar
Strass, H. 2013. Approximating operators and semantics for abstract dialectical frameworks. Artif. Intell. 205, 39–70.Google Scholar
Toni, F. and Sergot, M. 2011. Argumentation and answer set programming. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, Balduccini, M. and Son, T. C., Eds., vol. 6565. LNCS, Springer, 164–180.CrossRefGoogle Scholar
Verheij, B. 1996. Two approaches to dialectical argumentation: admissible sets and argumentation stages. In Proc. of the 8th Dutch Conference on Artificial Intelligence (NAIC 1996), 357–368.Google Scholar
Wu, Y., Caminada, M. and Gabbay, D. M. 2009. Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Studia Logica 93, 2–3, 383–403.Google Scholar