umu.sePublikationer
Ä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
Semantic-based construction of arguments: an answer set programming approach
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap. (User Interaction and Knowledge Modelling)ORCID-id: 0000-0002-6035-800X
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap. (User Interaction and Knowledge Modelling)
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
2015 (Engelska)Ingår i: International Journal of Approximate Reasoning, ISSN 0888-613X, E-ISSN 1873-4731, Vol. 64, s. 54-74Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

In this paper, we introduce an argumentation approach which takes an extended logic program as input and gives a set of arguments with the respective disagreements among them as output. We establish the notion of an argument under the Well-Founded semantics and Stable semantics inferences, allowing us to identify arguments with stratified programs as support, even when the input for the argument engine is a non-stratified program. We propose a set of rationality postulates for argument-based systems under extended logic programs, which are based on a definition of closure for a set of clauses that consider the well-known Gelfond-Lifschitz reduction. We establish the conditions under which our approach satisfies these principles. In addition, we present a standalone argumentation-tool based on the XSB system which implements our argumentation approach.

Ort, förlag, år, upplaga, sidor
Elsevier, 2015. Vol. 64, s. 54-74
Nyckelord [en]
Argumentation, Logic programming, Well-founded semantics, Argumentation tools, Stable model semantics, Answer set programming
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:umu:diva-101451DOI: 10.1016/j.ijar.2015.06.009ISI: 000359175800004OAI: oai:DiVA.org:umu-101451DiVA, id: diva2:799300
Tillgänglig från: 2015-03-30 Skapad: 2015-03-30 Senast uppdaterad: 2018-06-07Bibliografiskt granskad
Ingår i avhandling
1. Representing and Reasoning about Complex Human Activities - an Activity-Centric Argumentation-Based Approach
Öppna denna publikation i ny flik eller fönster >>Representing and Reasoning about Complex Human Activities - an Activity-Centric Argumentation-Based Approach
2016 (Engelska)Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
Abstract [en]

The aim of this thesis is to develop theories and formal methods to endow a computing machinery with capabilities to identify, represent, reason and evaluate complex activities that are directed by an individual’s needs, goals, motives, preferences and environment, information which can be inconsistent and incomplete.

Current methods for formalising and reasoning about human activity are typically limited to basic actions, e.g., walking, sitting, sleeping, etc., excluding elements of an activity. This research proposes a new formal activity-centric model that captures complex human activity based on a systemic activity structure that is understood as a purposeful, social, mediated, hierarchically organized and continuously developing interaction between people and word.

This research has also resulted in a common-sense reasoning method based on argumentation, in order to provide defeasible explanations of the activity that an individual performs based on the activity-centric model of human activity. Reasoning about an activity is based on the novel notion of an argument under semantics-based inferences that is developed in this research, which allows the building of structured arguments and inferring consistent conclusions.

Structured arguments are used for explaining complex activities in a bottom-up manner, by introducing the notion of fragments of activity. Based on these fragments, consistent argumentation based interpretations of activity can be generated, which adhere to the activity-centric model of complex human activity.

For resembling the kind of deductive analysis that a clinician performs in the assessment of activities, two quantitative measurements for evaluating performance and capacity are introduced and formalized. By analysing these qualifiers using different argumentation semantics, information useful for different purposes can be generated. e.g., such as detecting risk in older adults for falling down, or more specific information about activity performance and activity completion. Both types of information can form the base for an intelligent machinery to provide tailored recommendation to an individual.

The contributions were implemented in different proof-of-concept systems, designed for evaluating complex activities and improving individual’s health in daily life. These systems were empirically evaluated with the purpose of evaluating theories and methodologies with potential users. The results have the potential to be utilized in domains such as ambient assisted living, assistive technology, activity assessment and self-management systems for improving health.

Ort, förlag, år, upplaga, sidor
Umeå: Umeå University, 2016. s. 60
Serie
Report / UMINF, ISSN 0348-0542 ; 16.15
Nyckelord
Complex activity, Argumentation Theory, Activity Theory, Logic programming, Knowledge representation, Common-sense reasoning, Artificial Intelligence
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
administrativ databehandling
Identifikatorer
urn:nbn:se:umu:diva-120272 (URN)978-91-7601-503-2 (ISBN)
Disputation
2016-06-07, MA121, MIT Huset, Umeå University campus, Umeå, 13:15 (Engelska)
Opponent
Handledare
Tillgänglig från: 2016-05-17 Skapad: 2016-05-13 Senast uppdaterad: 2018-06-07Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Guerrero, EstebanNieves, Juan CarlosLindgren, Helena

Sök vidare i DiVA

Av författaren/redaktören
Guerrero, EstebanNieves, Juan CarlosLindgren, Helena
Av organisationen
Institutionen för datavetenskap
I samma tidskrift
International Journal of Approximate Reasoning
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

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