Digitala Vetenskapliga Arkivet

Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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
The Degrees of Monotony-Dilemma in Abstract Argumentation
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap. (Interactive and Intelligent Systems Group)ORCID-id: 0000-0002-6458-2252
University of Luxembourg, Luxembourg; King’s College London, London, UK; Ilan University, Ramat Gan, Israel.
2021 (Engelska)Ingår i: Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings / [ed] Jiřina Vejnarová, Nic Wilson, Cham: Springer, 2021, s. 89-102Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

In this paper, we introduce the notion of the degree of monotony to abstract argumentation, a well-established method for drawing inferences in face of conflicts in non-monotonic reasoning. Roughly speaking, the degree of monotony allows us, given an abstract argumentation semantics and an abstract argumentation framework to be as monotonic as possible, when iteratively drawing inferences and expanding the argumentation framework. However, we also show that when expanding an argumentation framework several times using so-called normal expansions, an agent may, at any given step, select a conclusion that has the highest degree of monotony w.r.t. the previous conclusion (considering the constraints of the semantics), but end up with a conclusion that has a suboptimal degree of monotony w.r.t. one or several conclusions that precede the previous conclusion. We formalize this observation as the degrees of monotony-dilemma.

Ort, förlag, år, upplaga, sidor
Cham: Springer, 2021. s. 89-102
Serie
Lecture Notes in Computer Science (LNCS), ISSN 0302-9743, E-ISSN 1611-3349 ; 12897
Nyckelord [en]
abstract argumentation, non-monotonic reasoning
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
datalogi
Identifikatorer
URN: urn:nbn:se:umu:diva-187845DOI: 10.1007/978-3-030-86772-0_7ISI: 000711926000007Scopus ID: 2-s2.0-85116445896ISBN: 978-3-030-86772-0 (digital)ISBN: 978-3-030-86771-3 (tryckt)OAI: oai:DiVA.org:umu-187845DiVA, id: diva2:1596440
Konferens
16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021
Forskningsfinansiär
Wallenberg AI, Autonomous Systems and Software Program (WASP)
Anmärkning

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 12897)

Tillgänglig från: 2021-09-22 Skapad: 2021-09-22 Senast uppdaterad: 2023-09-05Bibliografiskt granskad
Ingår i avhandling
1. Principle-based non-monotonic reasoning - from humans to machines
Öppna denna publikation i ny flik eller fönster >>Principle-based non-monotonic reasoning - from humans to machines
2022 (Engelska)Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
Alternativ titel[sv]
Principbaserat icke-monotoniskt resonemang - från människor till maskiner
Abstract [en]

A key challenge when developing intelligent agents is to instill behavior into computing systems that can be considered as intelligent from a common-sense perspective. Such behavior requires agents to diverge from typical decision-making algorithms that strive to maximize simple and often one-dimensional metrics. A striking parallel to this research problemcan be found in the design of formal models of human decision-making in microeconomic theory. Traditionally, mathematical models of human decision-making also reflect the ambition to maximize expected utility or a preference function, which economists refer to as the rational man paradigm. However, evidence suggests that these models are flawed, not only because human decision-making is subject to systematic fallacies, but also because the models depend on assumptions that do not hold in reality. Consequently, the research domain of formally modeling bounded rationality emerged, which attempts to account for these shortcomings by systematically relaxing the mathematical constraints of the formal model of economic rationality. Similarly, in the field of symbolic reasoning, approaches have emerged to systematically relax the notion of monotony of entailment, which stipulates (colloquially speaking) that when inferring a set of statements from a knowledge base, the addition of new knowledge to the knowledge base must not lead to the rejection of any of the previously inferred statements.

By drawing from these developments in microeconomic theory and symbolic reasoning, this thesis explores different principle-based approaches to decision-making and non-monotonic reasoning. Thereby, abstract argumentation is used as a fundamental method for reasoning in face of conflicting knowledge (or: beliefs) that reduces non-monotonic reasoning to the problem of drawing conclusions (extensions) from a directed graph, and hence provides a neat abstraction for theoretical exploration. In particular, the works collected in this thesis i) introduce the consistent preferences property of microeconomic theory, as well as some relaxed forms of monotony of entailment as mathematical principles to abstract argumentation-based inference; ii) show how to enforce some of these principles in dynamic environments; iii) devise a formal approach to maximize monotony of entailment, given the constraints imposed by an inference function; iv) extend and apply the aforementioned approaches to the domains of machine reasoning explainability and legal reasoning.

Ort, förlag, år, upplaga, sidor
Umeå: Umeå University, 2022. s. 34
Serie
Report / UMINF, ISSN 0348-0542 ; 22.02
Nyckelord
Non-monotonic reasoning, formal argumentation
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
datalogi
Identifikatorer
urn:nbn:se:umu:diva-193460 (URN)978-91-7855-757-8 (ISBN)978-91-7855-758-5 (ISBN)
Disputation
2022-04-29, MA121 (MIT-huset), Umeå University, Umeå, 13:15 (Engelska)
Opponent
Handledare
Forskningsfinansiär
Wallenberg AI, Autonomous Systems and Software Program (WASP)
Anmärkning

Digital ISBN missing in publication. 

Tillgänglig från: 2022-04-08 Skapad: 2022-04-02 Senast uppdaterad: 2022-04-04Bibliografiskt granskad

Open Access i DiVA

fulltext(297 kB)237 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 297 kBChecksumma SHA-512
534c8bc949f991cdac52eab068e98fbe08e5eeef3f58178b001cb06823ec0a1b86f152a9499966356d9fa024656e5dfd2b53a3f48460ba0d83af24260bb5a1d2
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Sök vidare i DiVA

Av författaren/redaktören
Kampik, Timotheus
Av organisationen
Institutionen för datavetenskap
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 238 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
isbn
urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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