umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Reasoning about human activities: an argumentative approach
Umeå University, Faculty of Science and Technology, Department of Computing Science.
Umeå University, Faculty of Science and Technology, Department of Computing Science.
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2013 (English)In: 12th Scandinavian Conference on Artificial Intelligence (SCAI 2013), IOS Press, 2013, 195-204 p.Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
IOS Press, 2013. 195-204 p.
Series
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389 ; 257
Keyword [en]
human activities recognition, argumentation reasoning
National Category
Computer Science
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:umu:diva-79715DOI: 10.3233/978-1-61499-330-8-195ISI: 000343477100021ISBN: 978-1-61499-330-8 (print)ISBN: 978-1-61499-329-2 (print)OAI: oai:DiVA.org:umu-79715DiVA: diva2:648634
Conference
12th Scandinavian Conference on Artificial Intelligence (SCAI 2013), Aalborg, Denmark, November 20-22, 2013
Available from: 2013-09-16 Created: 2013-08-29 Last updated: 2016-05-13Bibliographically approved
In thesis
1. Supporting human activity performance using argumentation-based technology
Open this publication in new window or tab >>Supporting human activity performance using argumentation-based technology
2014 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

The aim for the research presented in this thesis is to develop theories, methods and technology which can detect, represent and evaluate purposeful human activity based on information, which is inconsistent, incomplete and which includes information about an individual's needs, goals and motives. The purpose is to provide instruments to the fields of assistive technology and ambient assisted living, which have the potentials to advance the treatment of semantic information for the purpose of making decisions and reasoning about complex human activity in daily life. Furthermore, based on sound interpretations of activity and evaluation of activity performance, tailored recommendations can be provided to the individual. This is achieved by integrating theoretical models of human activity with formal argumentation theory, and in this way create a model for representing the knowledge. Also based on the activity-theoretical models of human activity and argumentation, a computational model for common-sense reasoning was built based on the notion of fragments of activity. Moreover, a calculus model for evaluating activity performance considering the so called activity fragments was developed. These theoretical models were forming a base for implementing an argument-based reasoner engine, which manages incomplete and inconsistent information. These results were implemented in a prototype system designed for aiding an individual in improving health in daily life, for the purpose of testing the theories and methodologies with potential users. Information obtained by the sensors of a mobile phone and by assessments done by the individual regarding priorities, goals and motives were used in the analysis. Preliminary results are fed into further development, and future work includes user studies over a longer period of time. Furthermore, assistive technology for monitoring human activities in different contexts such as mining and construction industries are also being developed and tested. Future work includes also the development of methods for reasoning about activities based on data-stream sources, and taking into account that human needs, goals and motives vary over time. Moreover, methods for automatic configuration of intelligent collaborative agents and for fusing of heterogeneous data sources for providing tailored services will also be developed and evaluated in the ambient assisted living context.

Place, publisher, year, edition, pages
Umeå: Umeå universitet, 2014. 28 p.
Series
Report / UMINF, ISSN 0348-0542 ; 14.20
National Category
Computer Science
Identifiers
urn:nbn:se:umu:diva-96777 (URN)978-91-7601-136-2 (ISBN)
Available from: 2014-12-03 Created: 2014-12-02 Last updated: 2014-12-03Bibliographically approved
2. Representing and Reasoning about Complex Human Activities - an Activity-Centric Argumentation-Based Approach
Open this publication in new window or tab >>Representing and Reasoning about Complex Human Activities - an Activity-Centric Argumentation-Based Approach
2016 (English)Doctoral thesis, comprehensive summary (Other academic)
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.

Place, publisher, year, edition, pages
Umeå: Umeå University, 2016. 60 p.
Series
Report / UMINF, ISSN 0348-0542 ; 16.15
Keyword
Complex activity, Argumentation Theory, Activity Theory, Logic programming, Knowledge representation, Common-sense reasoning, Artificial Intelligence
National Category
Computer Science
Research subject
Computing Science
Identifiers
urn:nbn:se:umu:diva-120272 (URN)978-91-7601-503-2 (ISBN)
Public defence
2016-06-07, MA121, MIT Huset, Umeå University campus, Umeå, 13:15 (English)
Opponent
Supervisors
Available from: 2016-05-17 Created: 2016-05-13 Last updated: 2016-05-26Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full texthttp://ebooks.iospress.nl/publication/35460

Authority records BETA

Nieves, Juan CarlosGuerrero, EstebanLindgren, Helena

Search in DiVA

By author/editor
Nieves, Juan CarlosGuerrero, EstebanLindgren, Helena
By organisation
Department of Computing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 189 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf