umu.sePublikasjoner
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
Representing and Reasoning about Complex Human Activities - an Activity-Centric Argumentation-Based Approach
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap. (User Interaction and Knowledge Modelling)ORCID-id: 0000-0002-6035-800X
2016 (engelsk)Doktoravhandling, med artikler (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Umeå: Umeå University , 2016. , 60 s.
Serie
Report / UMINF, ISSN 0348-0542 ; 16.15
Emneord [en]
Complex activity, Argumentation Theory, Activity Theory, Logic programming, Knowledge representation, Common-sense reasoning, Artificial Intelligence
HSV kategori
Forskningsprogram
administrativ databehandling
Identifikatorer
URN: urn:nbn:se:umu:diva-120272ISBN: 978-91-7601-503-2 (tryckt)OAI: oai:DiVA.org:umu-120272DiVA: diva2:927778
Disputas
2016-06-07, MA121, MIT Huset, Umeå University campus, Umeå, 13:15 (engelsk)
Opponent
Veileder
Tilgjengelig fra: 2016-05-17 Laget: 2016-05-13 Sist oppdatert: 2016-05-26bibliografisk kontrollert
Delarbeid
1. Reasoning about human activities: an argumentative approach
Åpne denne publikasjonen i ny fane eller vindu >>Reasoning about human activities: an argumentative approach
2013 (engelsk)Inngår i: 12th Scandinavian Conference on Artificial Intelligence (SCAI 2013), IOS Press, 2013, 195-204 s.Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Recognizing and supporting human activities is an important challenge for ambient assisted living. In this paper we introduce a novel argumentation-based approach for dealing with human activity recognition. By considering a model of the world and a set of observations of the world, hypothetical fragments of activities are built. The hypothetical fragments of activities will be goal-oriented actions and they will be considered defeasible. Therefore we consider extension-based argumentation semantics for local selection of hypothetical fragments of activities. By considering degrees of fulfillment of activities and local selection, a global selection of hypothetical fragments of the activities is defined. Therefore, we can make explicit statements about why one hypothetical activity was performed.

sted, utgiver, år, opplag, sider
IOS Press: , 2013
Serie
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389 ; 257
Emneord
human activities recognition, argumentation reasoning
HSV kategori
Forskningsprogram
datalogi
Identifikatorer
urn:nbn:se:umu:diva-79715 (URN)10.3233/978-1-61499-330-8-195 (DOI)000343477100021 ()978-1-61499-330-8 (ISBN)978-1-61499-329-2 (ISBN)
Konferanse
12th Scandinavian Conference on Artificial Intelligence (SCAI 2013), Aalborg, Denmark, November 20-22, 2013
Tilgjengelig fra: 2013-09-16 Laget: 2013-08-29 Sist oppdatert: 2016-05-13bibliografisk kontrollert
2. Semantic-based construction of arguments: an answer set programming approach
Åpne denne publikasjonen i ny fane eller vindu >>Semantic-based construction of arguments: an answer set programming approach
2015 (engelsk)Inngår i: International Journal of Approximate Reasoning, ISSN 0888-613X, E-ISSN 1873-4731, Vol. 64, 54-74 s.Artikkel i tidsskrift (Fagfellevurdert) 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.

sted, utgiver, år, opplag, sider
Elsevier, 2015
Emneord
Argumentation, Logic programming, Well-founded semantics, Argumentation tools, Stable model semantics, Answer set programming
HSV kategori
Identifikatorer
urn:nbn:se:umu:diva-101451 (URN)10.1016/j.ijar.2015.06.009 (DOI)000359175800004 ()
Tilgjengelig fra: 2015-03-30 Laget: 2015-03-30 Sist oppdatert: 2016-05-13bibliografisk kontrollert
3. Activity qualifiers in an argumentation framework as instruments for agents when evaluating human activity
Åpne denne publikasjonen i ny fane eller vindu >>Activity qualifiers in an argumentation framework as instruments for agents when evaluating human activity
2016 (engelsk)Inngår i: Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection: 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings / [ed] Yves Demazeau, Takayuki Ito, Javier Bajo, Maria José Escalona, Springer, 2016, Vol. 9662, 133-144 s.Konferansepaper, Publicerat paper (Annet vitenskapelig)
Abstract [en]

Theoretical frameworks have been developed for enabling software agents to evaluate simple activities such as walking and sitting. However, such frameworks typically do not include methods for how practically dealing with uncertain sensor information. We developed an argument-based method for evaluating complex goal-based activities by adapting two qualifiers: Performance and Capacity defined in the health domain. The first one evaluates what a person does, and the second one how "well" or "bad" an activity is executed. Our aim is to deal with uncertainty and inconsistent information; generate consistent hypotheses about the activity execution; and resemble an expert therapist judgment, where an initial hypothesis assessment can be retracted under new evidence. We conducted a pilot test in order to evaluate our approach using a Physiotherapy assessment test as a goal-based activity. Results show that skeptic argumentation semantics are may be useful for discriminating individuals without physical issues by considering Performance and Capacity; conversely, credulous semantics may be suitable for obtaining information in the evaluation of activity, which an intelligent agent may use for providing personalized assistance in an ambient assisted living environment.

sted, utgiver, år, opplag, sider
Springer, 2016
Serie
Lecture Notes in Artificial Intelligence, ISSN 0302-9743 ; 9662
Emneord
Ambient assisted living, Intelligent agents, Argumentation theory, Argumentation semantics, Complex activities, Evaluation
HSV kategori
Identifikatorer
urn:nbn:se:umu:diva-120277 (URN)10.1007/978-3-319-39324-7_12 (DOI)000378992400012 ()978-3-319-39323-0 (ISBN)978-3-319-39324-7 (ISBN)
Konferanse
14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016
Tilgjengelig fra: 2016-05-13 Laget: 2016-05-13 Sist oppdatert: 2016-08-01bibliografisk kontrollert
4. ALI, an ambient assisted living system for supporting behavior change
Åpne denne publikasjonen i ny fane eller vindu >>ALI, an ambient assisted living system for supporting behavior change
2013 (engelsk)Inngår i: VIII Workshop on Agents Applied in Health Care (A2HC 2013), 2013, 81-92 s.Konferansepaper, Publicerat paper (Fagfellevurdert)
HSV kategori
Forskningsprogram
datalogi
Identifikatorer
urn:nbn:se:umu:diva-79520 (URN)
Eksternt samarbeid:
Konferanse
VIII Workshop on Agents Applied in Health Care (A2HC 2013)
Tilgjengelig fra: 2013-08-21 Laget: 2013-08-21 Sist oppdatert: 2016-09-07bibliografisk kontrollert
5. An activity-centric argumentation framework for assistive technology aimed at improving health
Åpne denne publikasjonen i ny fane eller vindu >>An activity-centric argumentation framework for assistive technology aimed at improving health
2016 (engelsk)Inngår i: Argument & Computation, ISSN 1946-2174, Vol. 7, nr 1, 5-33 s.Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

Tailoring assistive systems for guiding and monitoring an individual in daily living activities is a complex task. This paper presents ALI, an assistive system combining a formal possibilistic argumentation system and an informal model of human activity: the Cultural-Historic Activity Theory, facilitating the delivery of tailored advices to a human actor. We follow an activity-centric approach, taking into consideration the human’s motives, goals and prioritized actions. ALI tracks a person in order to I) determine what activities were performed over a period of time (activity recognition tracking), and II) send personalized notifications suggesting the most suitable activities to perform (decision-making monitoring). The ALI system was evaluated in a formative pilot study related to promote social activities and physical exercise.

sted, utgiver, år, opplag, sider
IOS Press, 2016
Emneord
Argumentation, decision-making, assisted living systems, activity theory, mobile, Cultural-Historical Activity Theory, activity recognition
HSV kategori
Forskningsprogram
administrativ databehandling
Identifikatorer
urn:nbn:se:umu:diva-120278 (URN)10.3233/AAC-160004 (DOI)000390247800003 ()
Tilgjengelig fra: 2016-05-13 Laget: 2016-05-13 Sist oppdatert: 2017-01-14bibliografisk kontrollert

Open Access i DiVA

fulltext(2582 kB)202 nedlastinger
Filinformasjon
Fil FULLTEXT02.pdfFilstørrelse 2582 kBChecksum SHA-512
d8b30686420deb5415912561011f51ce1f897207bd15e0b72a8aae264e9dde7357e3bb3d39016cf5192c5558e041b85554dc3bf708046443dbf02cb71eedef62
Type fulltextMimetype application/pdf
spikblad(116 kB)116 nedlastinger
Filinformasjon
Fil ATTACHMENT01.pdfFilstørrelse 116 kBChecksum SHA-512
6170c5d0974ac9ddddfc9539a1641f18d4261d4593f05e69afbce10c5986c90bec716f79098d48920840edf445a04af74ae6ab15c0027f323734edd14d6ce40d
Type spikbladMimetype application/pdf
omslag(301 kB)15 nedlastinger
Filinformasjon
Fil COVER01.pdfFilstørrelse 301 kBChecksum SHA-512
48d08b3cb385b5170620505454eea83fc15c47b03b07de833dfd21eda4ba8c562384630a7f923aeb0586f2f0a6e184fcd4d00b543ae365882232263d28b6acaf
Type coverMimetype application/pdf

Søk i DiVA

Av forfatter/redaktør
Guerrero Rosero, Esteban
Av organisasjonen

Søk utenfor DiVA

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

Totalt: 1363 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