Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change

Doutre, Sylvie; Herzig, Andreas; Perrussel, Laurent

doi:10.1007/978-981-13-7791-4_8

Cited by 5 publications

(25 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…for any set of atoms P [21]. 3 Hence, by the semantics of the sequential composition operator ;, we have that (v IAF , v ) ∈ ||makeComp IAF || amounts to saying that the set of variables whose truth values differs from v IAF to v , formally the set (v \ v IAF ) ∪ (v IAF \ v ), must be a subset of AW A ?…”

Section: Incomplete Afs In Dl-pamentioning

confidence: 99%

“…Concurrently, a large number of works within formal argumentation have focused on building a suitable logical theory for reasoning about argumentation formalisms, with a special focus on AFs and their dynamics (see [13] for a recent survey on the topic). The dynamic logic of propositional assignments (DL-PA) [4] has been shown to be a useful tool for this enterprise [20][21][22]. DL-PA is a well-behaved variant of propositional dynamic logic (PDL) [26], where atomic programs are restricted to assignments of propositional variables to either Truth or Falsity.…”

Section: Introductionmentioning

confidence: 99%

“…Moreover, its advantages over other encodings of AFs in equally succinct languages (e.g. quantified Boolean formulas) have also been highlighted [21].…”

Section: Introductionmentioning

confidence: 99%

“…Contribution and Structure. In this paper, we explain how to extend the machinery of [20][21][22] so as to use DL-PA for reasoning about different formalisms for arguing with qualitative uncertainty. In particular, and after introducing the basic tools (Sects.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic

Herzig

Yuste-Ginel

2021

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

show abstract

Section: Incomplete Afs In Dl-pamentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

“…Moreover, its advantages over other encodings of AFs in equally succinct languages (e.g. quantified Boolean formulas) have also been highlighted [21].…”

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic

Herzig

Yuste-Ginel

2021

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…A further perspective is to investigate the dynamics of IAFs in dynamic extensions of epistemic logic and ELV (cf. (Herzig and Yuste Ginel 2021)), taking inspiration from what has been done for Dung AFs in (Doutre, Maffre, and McBurney 2017;Doutre, Herzig, and Perrussel 2018).…”

Section: Discussionmentioning

confidence: 99%

On the Epistemic Logic of Incomplete Argumentation Frameworks

Herzig

Yuste-Ginel

2021

Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning

Self Cite

View full text Add to dashboard Cite

We study the relation between two existing formalisms: incomplete argumentation frameworks (IAFs) and epistemic logic of visibility (ELV). We show that the set of completions of a given IAF naturally corresponds to a specific equivalence class of possible worlds within the model of visibility. This connection is further strengthened in two directions. First, we show how to reduce argument acceptance problems of IAFs to ELV model-checking problems. Second, we highlight the epistemic assumptions that underlie IAFs by providing a minimal epistemic logic for IAFs.

show abstract

How to Manage Supports in Incomplete Argumentation

Lagasquie-Schiex,

Mailly,

Yuste-Ginel

2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

The growing interest in generalizations of Dung's abstract argumentation frameworks has recently led to the simultaneous and independent discovery of a combination of two of these generalizations: Bipolar Argumentation Frameworks (BAFs), where a relation representing supports between arguments is added, and Incomplete Argumentation Frameworks (IAFs), where the existence of arguments and attacks may be uncertain, resulting in the so-called Incomplete Bipolar Abstract Argumentation Frameworks (IBAFs). This paper digs deeper into such a combination by: (i) providing a thoughtful analysis of the existing notions of completion (the hypothetical removal of uncertainty used in IBAFs to reason about argument acceptability); (ii) proposing, motivating and studying new notions of completion; (iii) throwing new complexity results on argument acceptability problems associated with IBAFs; (iv) encoding these reasoning problems into a lightweight version of dynamic logic.

show abstract

Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change

Cited by 5 publications

References 26 publications

Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic

Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic

On the Epistemic Logic of Incomplete Argumentation Frameworks

How to Manage Supports in Incomplete Argumentation

Contact Info

Product

Resources

About