THE STATUS OF ARGUMENTS IN ABSTRACT ARGUMENTATION FRAMEWORKS. A TABLEAUX METHOD

BODANZA, GUSTAVO A.; HERNÁNDEZ-MANFREDINI, ENRIQUE

doi:10.1590/0100-6045.2023.V46N2.GE

Acessibilidade / Reportar erro

Brasil

Español English

sumário « anterior atual seguinte »

Sumário

Articles • Manuscrito 46 (2) • Apr-Jun 2023 • https://doi.org/10.1590/0100-6045.2023.V46N2.GE copy

THE STATUS OF ARGUMENTS IN ABSTRACT ARGUMENTATION FRAMEWORKS. A TABLEAUX METHOD^∗ * This research was partially supported by Agencia Nacional de Promoción de la Investigación, el Desarrollo Tecnológico y la Innovación (PICT 2017-1702 and PICT 2022-75) and Universidad Nacional del Sur (PGI 24/I265), Argentina. Five anonymous referees are acknowledged for valuable comments and criticisms on this and previous versions that notably improved the work. The first author appreciates the invitation of the Department of Mathematics of the Universidad de Aveiro, Portugal, for a visit in September 2019, during which this paper was developed.

Authorship SCIMAGO INSTITUTIONS RANKINGS

Abstract

Dung’s argumentation frameworks are formalisms widely used to model interaction among arguments. Although their study has been profusely developed in the field of Artificial Intelligence, it is not common to see its treatment among those less connected to computer science within the logical-philosophical community. In this paper we propose to bring to that audience a proof-theory for argument justification based on tableaux, very similar to those the Logic students are familiar with. The tableaux enable to calculate whether an argument or subset of arguments are accepted or rejected in accordance to Dung’s preferred and grounded extension-based semantics. Soundness and completeness results regarding those semantics are provided.

Keywords:
Argumentation frameworks; Extension semantics; Tableaux

UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência Rua Sérgio Buarque de Holanda, 251, 13083-859 Campinas-SP, Tel: (55 19) 3521 6523, Fax: (55 19) 3289 3269 - Campinas - SP - Brazil
E-mail: publicacoes@cle.unicamp.br

Acompanhe os números deste periódico no seu leitor de RSS

1.	a ^I	Ø
2.	b ^O	(In a, 1)	{1}
3.	c ^I	(Out b, 2)	{1, 2}
4.	b ^O	(In c, 3)	{1, 2, 3}
5.	ω	(Cycle b, 2, 4)	{1, 2, 3, 4}

1.	a ^I	Ø
2.	$b_{1}^{0}$	(In a, 1)	{1}
3.	$c_{1}^{0}$	(In a, 1)	{1}
4.	$b_{2}^{I}$	(Out b ₁, 2)	{1, 2}
5.	$b_{3}^{0}$	(In b ₂, 4)	{1, 2, 4}
6.	$c_{3}^{0}$	(In b ₂, 4)	{1, 2, 4}
7.	d ^I	(Out b ₃, 5)	{1, 2, 4, 5}
8.	−	(In d, 7)	{1, 2, 4, 5, 7}
9.	d ^I	(Out c ₃, 6)	{1, 2, 4, 6}
10.	−	(In d, 9)	{1, 2, 4, 5, 9}
11.	$c_{2}^{I}$	(Out c ₁, 3)	{1, 3}
12.	$b_{3}^{0}$	(In c ₂, 11)	{1, 3, 11}
13.	$c_{3}^{0}$	(In c ₂, 11)	{1, 3, 11}
14.	d ^I	(Out b ₃, 12)	{1, 3, 11, 12}
15.	d ^I	(Out c ₃, 13)	{1, 3, 11, 13}
16.	−	(In d, 14)	{1, 3, 11, 12, 14}
17.	−	(In d, 15)	{1, 3, 11, 12, 15}

1.	a ^I	Ø
2.	$b_{1}^{0}$	(In a, 1)	{1}
3.	$c_{1}^{0}$	(In a, 1)	{1}
4.	$b_{2}^{I}$	(Out b ₁, 2)	{1, 2}
5.	$b_{3}^{0}$	(In b ₂, 4)	{1, 2, 4}
6.	$c_{3}^{0}$	(In b ₂, 4)	{1, 2, 4}
7.	d ^I	(Out b ₃, 5)	{1, 2, 4, 5}
8.	−	(In d, 7)	{1, 2, 4, 5, 7}
9.	d ^I	(Out c ₃, 6)	{1, 2, 4, 6}
10.	−	(Replay d, 7, 9)	{1, 2, 4, 5, 6, 7, 9}
11.	$c_{2}^{I}$	(Out c ₁, 3)	{1, 3}
12.	$b_{3}^{0}$	(In c ₂, 11)	{1, 3, 11}
13.	−	(Replay b ₃, 5, 11)	{1, 2, 3, 4, 11}