Non-Monotonic Reasoning最新文献

Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity 基于假设的论证诱发的论证框架:规模与复杂性的关系

Non-Monotonic Reasoning Pub Date : 2023-09-01 DOI: 10.24963/kr.2023/43

Anna Rapberger, Markus Ulbricht, J. Wallner

{"title":"Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity","authors":"Anna Rapberger, Markus Ulbricht, J. Wallner","doi":"10.24963/kr.2023/43","DOIUrl":"https://doi.org/10.24963/kr.2023/43","url":null,"abstract":"A key ingredient of computational argumentation in AI is the generation of arguments in favor of or against claims under scrutiny. In this paper we look at the complexity of argument construction and reasoning in the prominent structured formalism of assumption-based argumentation (ABA). We point out that reasoning in ABA by means of constructing an abstract argumentation framework (AF) gives rise to two main sources of complexity: (i) constructing the AF and (ii) reasoning within the constructed graph. Since both steps are intractable in general, it is no surprise that the best performing state-of-the-art ABA reasoners skip the instantiation procedure entirely and perform tasks directly on the input knowledge base. Driven by this observation, we identify and study atomic and symmetric ABA, two ABA fragments that preserve the expressive power of general ABA, and that can be utilized to have milder complexity in the first or second step. We show that using atomic ABA allows for an instantiation procedure for general ABA leading to polynomially-bounded AFs and that symmetric ABA can be used to create AFs that have mild complexity to reason on. By an experimental evaluation, we show that using the former approach with modern AF solvers can be competitive with state-of-the-art ABA solvers, improving on previous AF instantiation approaches that are hindered by intractable argument construction.","PeriodicalId":274824,"journal":{"name":"Non-Monotonic Reasoning","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125923312","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View 主张中心视角下的抽象论证偏好效应

Non-Monotonic Reasoning Pub Date : 2022-04-28 DOI: 10.48550/arXiv.2204.13305

M. Bernreiter, W. Dvořák, Anna Rapberger, S. Woltran

引用次数: 4

On sceptical vs credulous acceptance for abstract argument systems 论对抽象论证体系的怀疑与轻信接受

Non-Monotonic Reasoning Pub Date : 2004-09-27 DOI: 10.1007/978-3-540-30227-8_39

S. Doutre, J. Mengin

引用次数: 25

Logic programs with annotated disjunctions 带注释析取的逻辑程序

Non-Monotonic Reasoning Pub Date : 2004-09-06 DOI: 10.1007/978-3-540-27775-0_30

Joost Vennekens, Sofie Verbaeten, M. Bruynooghe

引用次数: 250

On acyclic and head-cycle free nested logic programs 关于无循环和头循环的嵌套逻辑程序

Non-Monotonic Reasoning Pub Date : 2004-09-06 DOI: 10.1007/978-3-540-27775-0_16

Thomas Linke, H. Tompits, S. Woltran

引用次数: 10

ASP-PROLOG: a system for reasoning about answer set programs in prolog ASP-PROLOG:在prolog中对答案集程序进行推理的系统

Non-Monotonic Reasoning Pub Date : 2004-06-18 DOI: 10.1007/978-3-540-24836-1_11

Omar El-Khatib, Enrico Pontelli, Tran Cao Son

引用次数: 29

The structural model interpretation of the NESS test NESS检验的结构模型解释

Non-Monotonic Reasoning Pub Date : 2004-05-17 DOI: 10.1007/978-3-540-24840-8_21

Richard A. Baldwin, E. Neufeld

引用次数: 12

Optimality theory through default logic 通过默认逻辑的最优理论

Non-Monotonic Reasoning Pub Date : 2003-09-15 DOI: 10.1007/978-3-540-39451-8_8

P. Besnard, Robert E. Mercer, Torsten Schaub

引用次数: 4

A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report 具有嵌套表达式的逻辑程序到析取逻辑程序的多项式转换:初步报告

Non-Monotonic Reasoning Pub Date : 2002-07-19 DOI: 10.1007/3-540-45619-8_28

D. Pearce, Vladimir Sarsakov, Torsten Schaub, H. Tompits, S. Woltran

引用次数: 41

Some logics of belief and disbelief 一些相信和不相信的逻辑

Non-Monotonic Reasoning Pub Date : 2002-07-09 DOI: 10.1007/978-3-540-24581-0_31

S. Chopra, J. Heidema, T. Meyer

引用次数: 6