On the Dynamics of Structured Argumentation: Modeling Changes in Default Justification Logic

Stipe Pandzic

Onderzoeksoutput: Conference contributionAcademicpeer review

Samenvatting

This paper studies information changes in default justification logic with argumentation semantics. We introduce dynamic operators that combine belief revision and default theory tools to define both prioritized and non-prioritized operations of contraction, expansion and revision for justification logic-based default theories. This combination enriches both default logics and belief revision techniques. We argue that the kind of attack called "undermining" amounts to those operations that contract a knowledge base by an attacked formula.
Originele taal-2English
TitelFoundations of Information and Knowledge Systems
Subtitel11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings
RedacteurenAndreas Herzig, Juha Kontinen
Plaats van productieCham
UitgeverijSpringer
Pagina's222-241
Aantal pagina's20
ISBN van elektronische versie978-3-030-39951-1
ISBN van geprinte versie978-3-030-39950-4
DOI's
StatusPublished - 2020

Publicatie series

NaamLecture Notes in Computer Science
UitgeverijSpringer
Volume12012

Citeer dit