Weakest link, prioritized default logic and principles in argumentation

PARDO VENTURA, Pere; YU, Liuwen; Chen, Chen; VAN DER TORRE, Leon

doi:10.1093/logcom/exaf007

Download

Article (Scientific journals)

Weakest link, prioritized default logic and principles in argumentation

PARDO VENTURA, Pere; YU, Liuwen; Chen, Chen et al.

2025 • In Journal of Logic and Computation, 35 (4)

Peer Reviewed verified by ORBi

Permalink
https://hdl.handle.net/10993/66945

DOI
10.1093/logcom/exaf007

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

JLC Weakest Link 2025.pdf

Author postprint (970.37 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

logic; Declarative logic; Default logic; Knowledge base; Logic; Weakest links; Theoretical Computer Science

Abstract :

[en] In this article, we study procedural and declarative logics for defaults in modular orders. Brewka’s prioritized default logic (PDL) and structured argumentation based on weakest link are compared to each other in different variants. This comparison takes place within the framework of attack relation assignments and the axioms (principles) recently proposed for them by Dung. To this end, we study which principles are satisfied by weakest link and disjoint weakest link attacks. With the aim of approximating PDL using argumentation, we identify an attack defined from PDL extensions, prove that each such PDL extension is a stable belief set under it and offer a similar principle-based analysis. We also prove an impossibility theorem for Dung’s axioms that covers PDL-inspired attack relation assignments. Finally, a novel variant of PDL with concurrent selection of defaults is also proposed, and compared to these argumentative approaches. In sum, our contributions fill an important gap in the literature created by Dung’s recent methods and open up new research questions on these methods.

Disciplines :

Computer science

Author, co-author :

PARDO VENTURA, Pere ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

YU, Liuwen ; University of Luxembourg > Faculty of Science, Technology and Medicine > Department of Computer Science > Team Réka MARKOVICH

Chen, Chen; School of Philosophy, Zhejiang University, Hangzhou, China

VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

External co-authors :

yes

Language :

English

Title :

Weakest link, prioritized default logic and principles in argumentation

Publication date :

June 2025

Journal title :

Journal of Logic and Computation

ISSN :

0955-792X

eISSN :

1465-363X

Publisher :

Oxford University Press

Volume :

Issue :

Peer reviewed :

Peer Reviewed verified by ORBi

Additional URL :

https://academic.oup.com/logcom/article-pdf/35/4/exaf007/61738807/exaf007.pdf

Available on ORBilu :

since 21 December 2025

Statistics

Number of views

23 (1 by Unilu)

Number of downloads

11 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

OpenAlex citations

WoS citations^™

Bibliography

L. Amgoud and C. Cayrol. Inferring from inconsistency in preference-based argumentation frameworks. Journal of Automated Reasoning, 29, 125–169, 2002.
K. J. Arrow. A difficulty in the concept of social welfare. Journal of Political Economy, 58, 328–346, 1950.
M. Beirlaen, J. Heyninck, P. Pardo and C. Straßer. Argument strength in formal argumentation. Journal of Logics and their Applications - IfCoLog, 5, 629–676, 2018.
P. Besnard and A. Hunter. Elements of Argumentation. The MIT Press, Cambridge, MA, 2008.
A. Bondarenko, P. M. Dung, R. A. Kowalski and F. Toni. An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence, 93, 63–101, 1997.
G. Brewka. Reasoning about priorities in default logic. In Proc. of the 12th National Conference on AI, B. Hayes-Roth and R. E. Korf, eds, vol. 2, pp. 940–945. AAAI Press/The MIT Press, Cambridge, MA, 1994.
G. Brewka and T. Eiter. Preferred answer sets for extented logic programs. Artificial Intelligence, 109, 297–356, 1999.
G. Brewka and T. Eiter. Prioritizing default logic. In Intellectics and Computational Logic, S. Hölldobler, ed., vol. 19 of Applied Logic Series, pp. 27–45. Springer Netherlands, Dordrecht, 2000.
M. Caminada. Rationality postulates: Applying argumentation theory for non-monotonic reasoning. Journal of Applied Logics - IfCoLog, 4, 2457–2492, 2017.
M. Caminada and L. Amgoud. On the evaluation of argumentation formalisms. Artificial Intelligence, 171, 286–310, 2007.
C. Chen, P. Pardo, L. van der Torre and L. Yu. Weakest link in formal argumentation: Lookahead and principle-based analysis. In Proc. of Logic and Argumentation - 5th International Conference, CLAR 2023, volume 14156 of Lecture Notes in Computer Science, A. Herzig, J. Luo and P. Pardo, eds, pp. 61–83. Springer, Berlin Heidelberg, 2023.
J. P. Delgrande and T. Schaub. Expressing preferences in default logic. Artificial Intelligence, 123, 41–87, 2000.
J. P. Delgrande, T. Schaub, H. Tompits and K. Wang. A classification and survey of preference handling approaches in nonmonotonic reasoning. Computational Intelligence, 20, 308–334, 2004.
P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77, 321–357, 1995.
P. M. Dung. An axiomatic analysis of structured argumentation for prioritized default reasoning. In ECAI 2014 - 21st European Conference on Artificial Intelligence, volume 263 of Frontiers in Artificial Intelligence and Applications, T. Schaub, G. Friedrich and B. O’Sullivan, eds, pp. 267–272. IOS Press, Amsterdam, 2014.
P. M. Dung. An axiomatic analysis of structured argumentation with priorities. Artificial Intelligence, 231, 107–150, 2016.
P. M. Dung. A canonical semantics for structured argumentation with priorities. In Computational Models of Argument - Proceedings of COMMA, volume 287 of Frontiers in Artificial Intelligence and Applications, P. Baroni, T. F. Gordon, T. Scheffler and M. Stede, eds, pp. 263–274. IOS Press, Amsterdam, 2016.
P. M. Dung and P. M. Thang. Fundamental properties of attack relations in structured argumentation with priorities. Artificial Intelligence, 255, 1–42, 2018.
P. M. Dung, P. M. Thang and T. C. Son. On structured argumentation with conditional preferences. In The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI, pp. 2792–2800. AAAI Press, Cambridge, MA, 2019.
N. Goodman. Fact, Fiction, and Forecast. Harvard University Press, Cambridge, MA, 1955.
N. Gorogiannis and A. Hunter. Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artificial Intelligence, 175, 1479–1497, 2011.
G. Governatori, M. J. Maher, G. Antoniou and D. Billington. Argumentation semantics for defeasible logic. Journal of Logic and Computation, 14, 675–702, 2004.
Tuomo Lehtonen, Johannes P Wallner and Matti Järvisalo. Computing stable conclusions under the weakest-link principle in the ASPIC+ argumentation formalism. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, Luc de Raedt, ed, vol 19, pp. 215–225. IJCAI Organization, Menlo Park, CA, 2022.
B. Liao, N. Oren, L. van der Torre and S. Villata. Prioritized norms in formal argumentation. Journal of Logic and Computation, 29, 215–240, 2019.
B. Liao, P. Pardo, M. Slavkovik and L. van der Torre. The Jiminy Advisor: moral agreements among stakeholders based on norms and argumentation. Journal of Artificial Intelligence Research, 77, 737–792, 2023.
D. Makinson. General patterns in nonmonotonic reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming, H. Gabbay and P. Robinson, eds, vol. 3, pp. 35–110. Oxford University Press, Oxford, 1994.
S. Modgil and H. Prakken. A general account of argumentation with preferences. Artificial Intelligence, 195, 361–397, 2013.
S. Modgil and H. Prakken. The ASPIC+ framework for structured argumentation: a tutorial. Argument & Computation, 5, 31–62, 2014.
S. Modgil and H. Prakken. Abstract rule-based argumentation. In Handbook of Formal Argumentation,, et al. S. Baroni, eds, vol. 1, pp. 287–364. College Publications, 2018.
P. Pardo and C. Straßer. Modular orders on defaults in formal argumentation. Journal of Logic and Computation (online: exac084), Rickmansworth, 2022.
G. Pigozzi and L. van der Torre. Arguing about constitutive and regulative norms. Journal of Applied Non-Classical Logics, 28, 189–217. Oxford, 2018.
J. L. Pollock. Defeasible reasoning. Cognitive Science, 11, 481–518, 1987.
J. L. Pollock. How to reason defeasibly. Artificial Intelligence, 57, 1–42, 1992.
J. L. Pollock. Justification and defeat. Artificial Intelligence, 67, 377–407, 1994.
J. L. Pollock. Cognitive Carpentry: A Blueprint for how to Build a Person. The MIT Press, Cambridge, MA, 1995.
J. L. Pollock. Defeasible reasoning with variable degrees of justification. Artificial Intelligence, 133, 233–282, 2001.
J. L. Pollock. Defeasible reasoning and degrees of justification. Argument & Computation, 1, 7–22, 2010.
H. Prakken and J. F. Horty. An appreciation of John Pollock’s work on the computational study of argument. Argument & Computation, 3, 1–19, 2012.
H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics, 7, 25–75, 1997.
H. Prakken and G. Vreeswijk. Logics for defeasible argumentation. In Handbook of Philosophical Logic, pp. 219–318. Springer Netherlands, Dordrecht, 2002.
T. Reid. Essays on the Intellectual Powers of Man. Cambridge University Press, Cambridge, 2011.
A. P. Young, S. Modgil and O. Rodrigues. Prioritised default logic as rational argumentation. In Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, C. M. Jonker, S. Marsella, J. Thangarajah and K. Tuyls, eds, pp. 626–634. ACM, New York, 2016.
A. P. Young, S. Modgil and O. Rodrigues. On the interaction between logic and preference in structured argumentation. In Theory and Applications of Formal Argumentation - 4th International Workshop, E. Black, S. Modgil and N. Oren, eds, vol. 10757, pp. 35–50. Springer, Cham, Berlin Heidelberg, 2017.