Digitala Vetenskapliga Arkivet

Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Argumentation-based Health Information Systems: A Design Methodology
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap. (Interactive and Intelligent Systems Group)ORCID-id: 0000-0002-8430-4241
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap. (Interactive and Intelligent Systems Group)ORCID-id: 0000-0002-6458-2252
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap. (Interactive and Intelligent Systems)ORCID-id: 0000-0002-6035-800x
Umeå universitet, Medicinska fakulteten, Institutionen för samhällsmedicin och rehabilitering. Umeå universitet, Medicinska fakulteten, Institutionen för omvårdnad.ORCID-id: 0000-0003-1428-1950
Vise andre og tillknytning
2021 (engelsk)Inngår i: IEEE Intelligent Systems, ISSN 1541-1672, E-ISSN 1941-1294, Vol. 36, nr 2, s. 72-80Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

In this article, we present a design methodology for argumentation-based health information systems. With a focus on the application of formal argumentation, the methodology aims at eliciting requirements in regard to argumentation reasoning behavior, knowledge and user models, and business logic on levels below and above the argumentation layer. We highlight specific considerations that need to be made dependent on the system type, i.e., for clinical decision-support systems, patient-facing systems, and administration systems. In addition, we outline challenges in regards to the design of argumentation-based intelligent systems for healthcare, considering the state of the art of argumentation research, health information systems, and software design methods. For each challenge, we outline a mitigation strategy. 

sted, utgiver, år, opplag, sider
Los Alamitos, CA, USA: IEEE Computer Society, 2021. Vol. 36, nr 2, s. 72-80
Emneord [en]
Formal argumentation, healthcare, software design
HSV kategori
Forskningsprogram
datalogi
Identifikatorer
URN: urn:nbn:se:umu:diva-179620DOI: 10.1109/MIS.2020.3044944ISI: 000654783900009Scopus ID: 2-s2.0-85098787449OAI: oai:DiVA.org:umu-179620DiVA, id: diva2:1525853
Forskningsfinansiär
Wallenberg AI, Autonomous Systems and Software Program (WASP)EU, Horizon 2020Tilgjengelig fra: 2021-02-04 Laget: 2021-02-04 Sist oppdatert: 2023-03-24bibliografisk kontrollert
Inngår i avhandling
1. Principle-based non-monotonic reasoning - from humans to machines
Åpne denne publikasjonen i ny fane eller vindu >>Principle-based non-monotonic reasoning - from humans to machines
2022 (engelsk)Doktoravhandling, med artikler (Annet vitenskapelig)
Alternativ tittel[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.

sted, utgiver, år, opplag, sider
Umeå: Umeå University, 2022. s. 34
Serie
Report / UMINF, ISSN 0348-0542 ; 22.02
Emneord
Non-monotonic reasoning, formal argumentation
HSV kategori
Forskningsprogram
datalogi
Identifikatorer
urn:nbn:se:umu:diva-193460 (URN)978-91-7855-757-8 (ISBN)978-91-7855-758-5 (ISBN)
Disputas
2022-04-29, MA121 (MIT-huset), Umeå University, Umeå, 13:15 (engelsk)
Opponent
Veileder
Forskningsfinansiär
Wallenberg AI, Autonomous Systems and Software Program (WASP)
Merknad

Digital ISBN missing in publication. 

Tilgjengelig fra: 2022-04-08 Laget: 2022-04-02 Sist oppdatert: 2022-04-04bibliografisk kontrollert

Open Access i DiVA

fulltext(710 kB)367 nedlastinger
Filinformasjon
Fil FULLTEXT03.pdfFilstørrelse 710 kBChecksum SHA-512
cdcf57977e85fd342096ae1e788856f1a4bea5734bd0be4089aa49f88317ba24a02e5290612e8de5dcdb5fb1ebb517fe90f607a39148a1f1e57be5925e10d0cc
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Søk i DiVA

Av forfatter/redaktør
Lindgren, HelenaKampik, TimotheusGuerrero, EstebanBlusi, MadeleineNieves, Juan Carlos
Av organisasjonen
I samme tidsskrift
IEEE Intelligent Systems

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 390 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 938 treff
RefereraExporteraLink to record
Permanent link

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