{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T14:40:37Z","timestamp":1777560037838,"version":"3.51.4"},"reference-count":48,"publisher":"SAGE Publications","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIC"],"published-print":{"date-parts":[[2024,6,19]]},"abstract":"<jats:p>Operations like belief change or merging have been adapted to the context of abstract argumentation. However, these operations may require to express some uncertainty or some disjunction in the result, which is not representable in classical AFs. For this reason, some of these earlier works require a set of AFs or a set of extensions as the outcome of the operation, somehow to represent a \u201cdisjunction\u201d of AFs or extensions. In parallel, the notion of Incomplete AFs (IAFs) has been developed recently. It corresponds to AFs where the existence of some arguments or attacks may be uncertain. Each IAF can be associated with a set of classical AFs called completions, that correspond to different ways of resolving the uncertainty. While these IAFs could be good candidates for a compact representation of a disjunction of AFs, we prove that this model is not expressive enough. Then we introduce Constrained IAFs, that include a propositional formula allowing to select the set of completions used for reasoning. We prove that this model is expressive enough for representing any set of AFs, or any set of extensions. Moreover, we study the complexity of various decision problems related to the verification of extensions and the acceptability of arguments. While some of them are one level higher in the polynomial hierarchy (compared to their counterpart with standard IAFs), most of them have the same complexity than in the case of IAFs. Finally, we show that CIAFs can be used to model a new form of extension enforcement, where the possible evolutions of an AF are taken into account and modeled by the completions of the CIAF.<\/jats:p>","DOI":"10.3233\/aic-220298","type":"journal-article","created":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T11:22:32Z","timestamp":1700220152000},"page":"299-322","source":"Crossref","is-referenced-by-count":1,"title":["Constrained incomplete argumentation frameworks: Expressiveness, complexity and enforcement"],"prefix":"10.1177","volume":"37","author":[{"given":"Jean-Guy","family":"Mailly","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris Cit\u00e9, LIPADE, F-75006 Paris, France"}]}],"member":"179","reference":[{"issue":"2","key":"10.3233\/AIC-220298_ref1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: Partial meet contraction and revision functions","volume":"50","author":"Alchourr\u00f3n","year":"1985","journal-title":"J. Symb. Log."},{"key":"10.3233\/AIC-220298_ref2","doi-asserted-by":"crossref","unstructured":"P.\u00a0Balbiani, A.\u00a0Herzig and N.\u00a0Troquard, Dynamic logic of propositional assignments: A well-behaved variant of PDL, in: 28th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25\u201328, 2013, IEEE Computer Society, 2013, pp.\u00a0143\u2013152.","DOI":"10.1109\/LICS.2013.20"},{"key":"10.3233\/AIC-220298_ref3","unstructured":"P.\u00a0Baroni, M.\u00a0Caminada and M.\u00a0Giacomin, Abstract argumentation frameworks and their semantics, in: Handbook of Formal Argumentation, P.\u00a0Baroni, D.\u00a0Gabbay, M.\u00a0Giacomin and L.\u00a0van der Torre, eds, College Publications, 2018, pp.\u00a0159\u2013236."},{"key":"10.3233\/AIC-220298_ref4","unstructured":"R.\u00a0Baumann and G.\u00a0Brewka, Expanding argumentation frameworks: Enforcing and monotonicity results, in: Proc. of COMMA\u201910, Vol.\u00a0216, 2010, pp.\u00a075\u201386."},{"issue":"6","key":"10.3233\/AIC-220298_ref5","first-page":"1623","article-title":"Enforcement in formal argumentation","volume":"8","author":"Baumann","year":"2021","journal-title":"Journal of Applied Logics \u2013 IfCoLog Journal of Logics and their Applications"},{"key":"10.3233\/AIC-220298_ref6","unstructured":"R.\u00a0Baumann, S.\u00a0Doutre, J.-G.\u00a0Mailly and J.P.\u00a0Wallner, Enforcement in formal argumentation, in: Handbook of Formal Argumentation, D.\u00a0Gabbay, M.\u00a0Giacomin, G.R.\u00a0Simari and M.\u00a0Thimm, eds, Vol.\u00a02, College Publications, 2021, Chapter 8."},{"key":"10.3233\/AIC-220298_ref7","unstructured":"R.\u00a0Baumann, W.\u00a0Dvor\u00e1k, T.\u00a0Linsbichler, H.\u00a0Strass and S.\u00a0Woltran, Compact argumentation frameworks, in: Proc. of ECAI\u201914, Vol.\u00a0263, 2014, pp.\u00a069\u201374."},{"key":"10.3233\/AIC-220298_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103470"},{"key":"10.3233\/AIC-220298_ref9","doi-asserted-by":"crossref","unstructured":"D.\u00a0Baumeister, D.\u00a0Neugebauer and J.\u00a0Rothe, Verification in attack-incomplete argumentation frameworks, in: Proc. of ADT\u201915, 2015, pp.\u00a0341\u2013358.","DOI":"10.1007\/978-3-319-23114-3_21"},{"key":"10.3233\/AIC-220298_ref10","unstructured":"D.\u00a0Baumeister, D.\u00a0Neugebauer and J.\u00a0Rothe, Credulous and skeptical acceptance in incomplete argumentation frameworks, in: Proc. of COMMA\u201918, 2018, pp.\u00a0181\u2013192."},{"key":"10.3233\/AIC-220298_ref11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2018.08.001","article-title":"Verification in incomplete argumentation frameworks","volume":"264","author":"Baumeister","year":"2018","journal-title":"Artif. Intell."},{"key":"10.3233\/AIC-220298_ref12","doi-asserted-by":"crossref","unstructured":"D.\u00a0Baumeister, J.\u00a0Rothe and H.\u00a0Schadrack, Verification in argument-incomplete argumentation frameworks, in: Proc. of ADT\u201915, 2015, pp.\u00a0359\u2013376.","DOI":"10.1007\/978-3-319-23114-3_22"},{"key":"10.3233\/AIC-220298_ref13","doi-asserted-by":"crossref","unstructured":"E.\u00a0Bonzon, J.\u00a0Delobelle, S.\u00a0Konieczny and N.\u00a0Maudet, A parametrized ranking-based semantics for persuasion, in: Proc. of SUM\u201917, 2017, pp.\u00a0237\u2013251.","DOI":"10.1007\/978-3-319-67582-4_17"},{"key":"10.3233\/AIC-220298_ref14","unstructured":"G.\u00a0Brewka, H.\u00a0Strass, S.\u00a0Ellmauthaler, J.P.\u00a0Wallner and S.\u00a0Woltran, Abstract dialectical frameworks revisited, in: Proc. of IJCAI\u201913, F.\u00a0Rossi, ed., 2013, pp.\u00a0803\u2013809."},{"key":"10.3233\/AIC-220298_ref15","doi-asserted-by":"crossref","unstructured":"S.\u00a0Cook, The complexity of theorem-proving procedures, in: Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, 1971, pp.\u00a0151\u2013158.","DOI":"10.1145\/800157.805047"},{"issue":"10\u201315","key":"10.3233\/AIC-220298_ref16","doi-asserted-by":"publisher","first-page":"730","DOI":"10.1016\/j.artint.2007.04.012","article-title":"On the merging of Dung\u2019s argumentation systems","volume":"171","author":"Coste-Marquis","year":"2007","journal-title":"Artif. Intell."},{"key":"10.3233\/AIC-220298_ref17","unstructured":"S.\u00a0Coste-Marquis, C.\u00a0Devred and P.\u00a0Marquis, Constrained argumentation frameworks, in: Proc. of KR\u201906, 2006, pp.\u00a0112\u2013122."},{"key":"10.3233\/AIC-220298_ref18","unstructured":"S.\u00a0Coste-Marquis, S.\u00a0Konieczny, J.-G.\u00a0Mailly and P.\u00a0Marquis, On the revision of argumentation systems: Minimal change of arguments statuses, in: Proc. of KR\u201914, 2014."},{"key":"10.3233\/AIC-220298_ref19","doi-asserted-by":"crossref","unstructured":"S.\u00a0Coste-Marquis, S.\u00a0Konieczny, J.-G.\u00a0Mailly and P.\u00a0Marquis, A translation-based approach for revision of argumentation frameworks, in: Proc. of JELIA\u201914, 2014, pp.\u00a077\u201385.","DOI":"10.1007\/978-3-319-11558-0_28"},{"key":"10.3233\/AIC-220298_ref20","unstructured":"S.\u00a0Coste-Marquis, S.\u00a0Konieczny, J.-G.\u00a0Mailly and P.\u00a0Marquis, Extension enforcement in abstract argumentation as an optimization problem, in: Proc. of IJCAI\u201915, 2015, pp.\u00a02876\u20132882."},{"key":"10.3233\/AIC-220298_ref21","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1613\/jair.989","article-title":"A knowledge compilation map","volume":"17","author":"Darwiche","year":"2002","journal-title":"J. Artif. Intell. Res."},{"key":"10.3233\/AIC-220298_ref22","unstructured":"J.\u00a0Delobelle, A.\u00a0Haret, S.\u00a0Konieczny, J.-G.\u00a0Mailly, J.\u00a0Rossit and S.\u00a0Woltran, Merging of abstract argumentation frameworks, in: Proc. of KR\u201916, 2016, pp.\u00a033\u201342."},{"key":"10.3233\/AIC-220298_ref23","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1016\/j.ijar.2017.11.013","article-title":"An extension-based approach to belief revision in abstract argumentation","volume":"93","author":"Diller","year":"2018","journal-title":"Int. J. Approx. Reason."},{"key":"10.3233\/AIC-220298_ref24","doi-asserted-by":"crossref","unstructured":"Y.\u00a0Dimopoulos, J.-G.\u00a0Mailly and P.\u00a0Moraitis, Control argumentation frameworks, in: Proc. of AAAI\u201918, 2018, pp.\u00a04678\u20134685.","DOI":"10.1609\/aaai.v32i1.11583"},{"key":"10.3233\/AIC-220298_ref25","unstructured":"Y.\u00a0Dimopoulos, J.-G.\u00a0Mailly and P.\u00a0Moraitis, Argumentation-based negotiation with incomplete opponent profiles, in: Proc. of AAMAS\u201919, 2019, pp.\u00a01252\u20131260."},{"issue":"3","key":"10.3233\/AIC-220298_ref26","doi-asserted-by":"crossref","first-page":"223","DOI":"10.3233\/AAC-180425","article-title":"Constraints and changes: A survey of abstract argumentation dynamics","volume":"9","author":"Doutre","year":"2018","journal-title":"Argument Comput."},{"key":"10.3233\/AIC-220298_ref27","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","article-title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games","volume":"77","author":"Dung","year":"1995","journal-title":"Art. Intel."},{"key":"10.3233\/AIC-220298_ref28","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.artint.2015.07.006","article-title":"Characteristics of multiple viewpoints in abstract argumentation","volume":"228","author":"Dunne","year":"2015","journal-title":"Artif. Intell."},{"key":"10.3233\/AIC-220298_ref29","unstructured":"W.\u00a0Dvor\u00e1k and P.E.\u00a0Dunne, Computational problems in formal argumentation and their complexity, in: Handbook of Formal Argumentation, P.\u00a0Baroni, D.\u00a0Gabbay, M.\u00a0Giacomin and L.\u00a0van der Torre, eds, College Publications, 2018, pp.\u00a0631\u2013688."},{"key":"10.3233\/AIC-220298_ref30","doi-asserted-by":"crossref","unstructured":"B.\u00a0Fazzinga, S.\u00a0Flesca and F.\u00a0Furfaro, Revisiting the notion of extension over incomplete abstract argumentation frameworks, in: Proc. of IJCAI\u201920, 2020, pp.\u00a01712\u20131718.","DOI":"10.24963\/ijcai.2020\/237"},{"key":"10.3233\/AIC-220298_ref31","doi-asserted-by":"crossref","unstructured":"B.\u00a0Fazzinga, S.\u00a0Flesca and F.\u00a0Furfaro, Reasoning over argument-incomplete AAFs in the presence of correlations, in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event, Montreal, Canada, 19\u201327 August 2021, Z.\u00a0Zhou, ed., ijcai.org, 2021, pp.\u00a0189\u2013195.","DOI":"10.24963\/ijcai.2021\/27"},{"key":"10.3233\/AIC-220298_ref32","doi-asserted-by":"crossref","unstructured":"B.\u00a0Fazzinga, S.\u00a0Flesca and F.\u00a0Furfaro, Reasoning over attack-incomplete AAFs in the presence of correlations, in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online Event, 2021, November 3\u201312, M.\u00a0Bienvenu, G.\u00a0Lakemeyer and E.\u00a0Erdem, eds, 2021, pp.\u00a0301\u2013311.","DOI":"10.24963\/kr.2021\/29"},{"key":"10.3233\/AIC-220298_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-89391-0_11"},{"key":"10.3233\/AIC-220298_ref34","unstructured":"H.\u00a0Katsuno and A.O.\u00a0Mendelzon, On the difference between updating a knowledge base and revising it, in: Proc. of KR\u201991, 1991, pp.\u00a0387\u2013394."},{"issue":"3","key":"10.3233\/AIC-220298_ref35","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","article-title":"Propositional knowledge base revision and minimal change","volume":"52","author":"Katsuno","year":"1992","journal-title":"Artif. Intell."},{"issue":"5","key":"10.3233\/AIC-220298_ref36","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1093\/logcom\/12.5.773","article-title":"Merging information under constraints: A logical framework","volume":"12","author":"Konieczny","year":"2002","journal-title":"J. Log. Comput."},{"key":"10.3233\/AIC-220298_ref38","unstructured":"J.-G.\u00a0Mailly, Possible controllability of control argumentation frameworks, in: Proc. of COMMA\u201920, Vol.\u00a0326, 2020, pp.\u00a0283\u2013294."},{"key":"10.3233\/AIC-220298_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-86772-0_8"},{"key":"10.3233\/AIC-220298_ref40","unstructured":"J.-G.\u00a0Mailly, Constrained incomplete argumentation frameworks, in: 15\u00e8mes Journ\u00e9es d\u2019Intelligence Artificielle Fondamentale, Z.\u00a0Bouraoui and S.\u00a0Doutre, eds, 2021, pp.\u00a06\u201314."},{"issue":"3","key":"10.3233\/AIC-220298_ref41","doi-asserted-by":"publisher","first-page":"291","DOI":"10.3233\/AAC-210010","article-title":"Yes, no, maybe, I don\u2019t know: Complexity and application of abstract argumentation with incomplete knowledge","volume":"13","author":"Mailly","year":"2022","journal-title":"Argument Comput."},{"key":"10.3233\/AIC-220298_ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-40875-5_6"},{"key":"10.3233\/AIC-220298_ref43","doi-asserted-by":"crossref","unstructured":"A.\u00a0Niskanen, D.\u00a0Neugebauer and M.\u00a0J\u00e4rvisalo, Controllability of control argumentation frameworks, in: Proc. of IJCAI\u201920, 2020, pp.\u00a01855\u20131861.","DOI":"10.24963\/ijcai.2020\/257"},{"key":"10.3233\/AIC-220298_ref44","doi-asserted-by":"crossref","unstructured":"A.\u00a0Niskanen, D.\u00a0Neugebauer, M.\u00a0J\u00e4rvisalo and J.\u00a0Rothe, Deciding acceptance in incomplete argumentation frameworks, in: Proc. of AAAI\u201920, 2020, pp.\u00a02942\u20132949.","DOI":"10.1609\/aaai.v34i03.5686"},{"key":"10.3233\/AIC-220298_ref45","unstructured":"H.\u00a0Prakken, Formalising an aspect of argument strength: Degrees of attackability, in: Computational Models of Argument \u2013 Proceedings of COMMA 2022, Cardiff, Wales, UK, 14\u201316 September 2022, F.\u00a0Toni, S.\u00a0Polberg, R.\u00a0Booth, M.\u00a0Caminada and H.\u00a0Kido, eds, Frontiers in Artificial Intelligence and Applications, Vol.\u00a0353, IOS Press, 2022, pp.\u00a0296\u2013307."},{"issue":"1","key":"10.3233\/AIC-220298_ref46","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1080\/19462166.2013.869878","article-title":"A tutorial on assumption-based argumentation","volume":"5","author":"Toni","year":"2014","journal-title":"Argument Comput."},{"issue":"1\u20132","key":"10.3233\/AIC-220298_ref47","doi-asserted-by":"publisher","first-page":"151","DOI":"10.3233\/AAC-190471","article-title":"Structural constraints for dynamic operators in abstract argumentation","volume":"11","author":"Wallner","year":"2020","journal-title":"Argument Comput."},{"key":"10.3233\/AIC-220298_ref48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.5415","article-title":"Complexity results and algorithms for extension enforcement in abstract argumentation","volume":"60","author":"Wallner","year":"2017","journal-title":"J. Artif. Intell. Res."},{"issue":"2","key":"10.3233\/AIC-220298_ref49","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1093\/logcom\/exac098","article-title":"Qualitative uncertainty and dynamics of argumentation through dynamic logic","volume":"33","author":"Yuste-Ginel","year":"2023","journal-title":"J. Log. Comput."}],"container-title":["AI Communications"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AIC-220298","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T18:28:13Z","timestamp":1777400893000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospress&doi=10.3233\/AIC-220298"}},"subtitle":[],"editor":[{"given":"Zied","family":"Bouraoui","sequence":"additional","affiliation":[]},{"given":"Ana\u00eblle","family":"Wilczynski","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2024,6,19]]},"references-count":48,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.3233\/aic-220298","relation":{},"ISSN":["1875-8452","0921-7126"],"issn-type":[{"value":"1875-8452","type":"electronic"},{"value":"0921-7126","type":"print"}],"subject":[],"published":{"date-parts":[[2024,6,19]]}}}