liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.ORCID-id: 0000-0002-8681-7470
Massachusetts Institute of Technology, USA.ORCID-id: 0000-0003-0131-6771
DICE group, Paderborn University, Germany.ORCID-id: 0000-0002-5651-5391
Institut f¨ur Theoretische Informatik, Leibniz Universit¨at Hannover, Germany.ORCID-id: 0000-0002-8061-5376
2023 (Engelska)Ingår i: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) / [ed] Edith Elkind, IJCAI-INT JOINT CONF ARTIF INTELL , 2023, s. 3212-3220Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Argumentation is a well-established formalism for nonmonotonic reasoning and a vibrant area of research in AI. Claim-augmented argumentation frameworks (CAFs) have been introduced to deploy a conclusion-oriented perspective. CAFs expand argumentation frameworks by an additional step which involves retaining claims for an accepted set of arguments. We introduce a novel concept of a justifcation status for claims, a quantitative measure of extensions supporting a particular claim. The wellstudied problems of credulous and skeptical reasoning can then be seen as simply the two endpoints of the spectrum when considered as a justifcation level of a claim. Furthermore, we explore the parameterized complexity of various reasoning problems for CAFs, including the quantitative reasoning for claim assertions. We begin by presenting a suitable graph representation that includes arguments and their associated claims. Our analysis includes the parameter treewidth, and we present decompositionguided reductions between reasoning problems in CAF and the validity problem for QBF.

Ort, förlag, år, upplaga, sidor
IJCAI-INT JOINT CONF ARTIF INTELL , 2023. s. 3212-3220
Nyckelord [en]
Knowledge Representation and Reasoning: KRR: Argumentation, Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:liu:diva-198463DOI: 10.24963/ijcai.2023/358ISI: 001202344203034ISBN: 9781956792034 (tryckt)OAI: oai:DiVA.org:liu-198463DiVA, id: diva2:1804753
Konferens
IJCAI-23, Macao, S.A.R, 19-25 August, 2023
Forskningsfinansiär
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Anmärkning

Funding Agencies|ELLIIT - Swedish government; Austrian Science Fund (FWF) [J4656, P32830, Y1329]; Society for Research Funding Lower Austria (GFF) [ExzF-0004]; Vienna Science and Technology Fund (WWTF) [ICT19-060, ICT19-065]; European Union's Horizon Europe research and innovation programme within project ENEXA [101070305]; German Research Organisation (DFG) [ME4279/3-1 (511769688)]

Tillgänglig från: 2023-10-13 Skapad: 2023-10-13 Senast uppdaterad: 2024-08-27Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Person

Fichte, Johannes Klaus

Sök vidare i DiVA

Av författaren/redaktören
Fichte, Johannes KlausHecher, MarkusYasir, MahmoodMeier, Arne
Av organisationen
Programvara och systemTekniska fakulteten
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 108 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf