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
Ensuring reference independence and cautious monotony in abstract argumentation
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.ORCID-id: 0000-0002-6458-2252
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.ORCID-id: 0000-0003-4072-8795
2022 (Engelska)Ingår i: International Journal of Approximate Reasoning, ISSN 0888-613X, E-ISSN 1873-4731, Vol. 140, s. 173-210Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

In the symbolic artificial intelligence community, abstract argumentation with its semantics, i.e. approaches for defining sets of valid conclusions (extensions) that can be derived from argumentation graphs, is considered a promising method for non-monotonic reasoning. However, from a sequential perspective, abstract argumentation-based decision-making processes typically do not guarantee an alignment with common formal notions to assess consistency; in particular, abstract argumentation can, in itself, not enforce the satisfaction of relational principles such as reference independence (based on a key principle of microeconomic theory) and cautious monotony. In this paper, we address this issue by introducing different approaches to ensuring reference independence and cautious monotony in sequential argumentation: a reductionist, an expansionist, and an extension-selecting approach. The first two approaches are generically applicable, but may require comprehensive changes to the corresponding argumentation framework. In contrast, the latter approach guarantees that an extension of the corresponding argumentation framework can be selected to satisfy the relational principle by requiring that the used argumentation semantics is weakly reference independent or weakly cautiously monotonous, respectively, and also satisfies some additional straightforward principles. To highlight the relevance of the approach, we illustrate how the extension-selecting approach to reference independent argumentation can be applied to model (boundedly) rational economic decision-making.

Ort, förlag, år, upplaga, sidor
Elsevier, 2022. Vol. 140, s. 173-210
Nyckelord [en]
Applied Mathematics, Artificial Intelligence, Theoretical Computer Science, Software
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
datalogi
Identifikatorer
URN: urn:nbn:se:umu:diva-189163DOI: 10.1016/j.ijar.2021.10.007ISI: 000721007500003Scopus ID: 2-s2.0-85117800047OAI: oai:DiVA.org:umu-189163DiVA, id: diva2:1609125
Forskningsfinansiär
Knut och Alice Wallenbergs StiftelseWallenberg AI, Autonomous Systems and Software Program (WASP)Tillgänglig från: 2021-11-06 Skapad: 2021-11-06 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(888 kB)294 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 888 kBChecksumma SHA-512
e8265329cd733983882ddc9174f70366f06ad43abdcc3c05fa478e9ffc34549a3682343a21f56a33c9fb87b672f4d3faf1cfb5a7f471c2c2debac4a169d4f7fe
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Sök vidare i DiVA

Av författaren/redaktören
Kampik, TimotheusNieves, Juan Carlos
Av organisationen
Institutionen för datavetenskap
I samma tidskrift
International Journal of Approximate Reasoning
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 295 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
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 669 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