umu.sePublications
Change search
Refine search result
1 - 22 of 22
CiteExportLink to result list
Permanent 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
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the 'Create feeds' function.
  • 1.
    Baskar, Jayalakshmi
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Janols, Rebecka
    Umeå University, Faculty of Medicine, Department of Community Medicine and Rehabilitation, Occupational Therapy.
    Guerrero, Esteban
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Nieves, Juan Carlos
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    A Multipurpose Goal Model for Personalised Digital Coaching2017Conference paper (Refereed)
  • 2.
    Guerrero, Esteban
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Helena, Lindgren
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Practical Reasoning About Complex Activities2017In: Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection. / [ed] Demazeau Y., Davidsson P., Bajo J., Vale Z., 2017, 82-94 p.Conference paper (Refereed)
    Abstract [en]

    In this paper, we present an argument-based mechanism to generate hypotheses about belief-desire-intentions on dynamic and complex activities of a software agent. We propose to use a composed structure called activity as unit for agent deliberation analysis, maintaining actions, goals and observations of the world always situated into a context. Activity transformation produces changes in the knowledge base activity structure as well in the agent’s mental states. For example, in car driving as a changing activity, experienced and novice drivers have a different mental attitudes defining distinct deliberation processes with the same observations of the world. Using a framework for understanding activities in social sciences, we endow a software agent with the ability of deliberate, drawing conclusion about current and past events dealing with activity transformations. An argument-based deliberation is proposed which progressively reason about activity segments in a bottom-up manner. Activities are captured as extended logic programs and hypotheses are built using an answer-set programming approach. We present algorithms and an early-stage implementation of our argument-based deliberation process

  • 3.
    Guerrero, Esteban
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Practical reasoning about complex activities2017In: Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection / [ed] Demazeau Y., Davidsson P., Bajo J., Vale Z., 2017, Vol. 10349Conference paper (Refereed)
    Abstract [en]

    In this paper, we present an argument-based mechanism to generate hypotheses about belief-desire-intentions on dynamic and complex activities of a software agent. We propose to use a composed structure called activity as unit for agent deliberation analysis, maintaining actions, goals and observations of the world always situated into a context. Activity transformation produces changes in the knowledge base activity structure as well in the agent’s mental states. For example, in car driving as a changing activity, experienced and novice drivers have a different mental attitudes defining distinct deliberation processes with the same observations of the world. Using a framework for understanding activities in social sciences, we endow a software agent with the ability of deliberate, drawing conclusion about current and past events dealing with activity transformations. An argument-based deliberation is proposed which progressively reason about activity segments in a bottom-up manner. Activities are captured as extended logic programs and hypotheses are built using an answer-set programming approach. We present algorithms and an early-stage implementation of our argument-based deliberation process.

  • 4.
    Guerrero, Esteban
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Nieves, Juan Carlos
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    ALI, an ambient assisted living system for supporting behavior change2013In: VIII Workshop on Agents Applied in Health Care (A2HC 2013), 2013, 81-92 p.Conference paper (Refereed)
  • 5.
    Guerrero, Esteban
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Nieves, Juan Carlos
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    ALI, an Assisted Living System Based on a Human-Centric Argument-Based Decision Making Framework2013In: 13th Workshop on Computational Models of Natural Arguments (CMNA 2013), 2013, 46-51 p.Conference paper (Refereed)
  • 6.
    Guerrero, Esteban
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Nieves, Juan Carlos
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    ALI: an assisted living system for persons with mild cognitive impairment2013In: 2013 IEEE 26th International symposium on computer-based medical systems (CBMS), 2013, 526-527 p.Conference paper (Refereed)
    Abstract [en]

    We introduce the Assisted Living system ALI, which is a novel approach to providing assistance and support in activities of daily life. We integrate a human behavior theory with a default reasoning decision making framework. This integration allows us to model a decision making problem from a human activity centric point of view and at the same time, formalize these elements using a possibilistic argumentation theory. ALI sends personalized notifications suggesting the most suitable activities to perform and determines what activities were performed during a time period.

  • 7.
    Guerrero, Esteban
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Nieves, Juan Carlos
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    ALI: an Assisted Living System for Persons with Mild Cognitive Impairment2013In: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2013), IEEE Computer Society, 2013, 526-527 p.Conference paper (Refereed)
    Abstract [en]

    We introduce the Assisted Living system ALI, which is a novel approach to providing assistance and support in activities of daily life. We integrate a human behavior theory with a default reasoning decision making framework. This integration allows us to model a decision making problem from a human activity centric point of view and at the same time, formalize these elements using a possibilistic argumentation theory. ALI sends personalized notifications suggesting the most suitable activities to perform and determines what activities were performed during a time period.

  • 8.
    Guerrero, Esteban
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Nieves, Juan Carlos
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    An activity-centric argumentation framework for assistive technology aimed at improving health2016In: Argument & Computation, ISSN 1946-2174, Vol. 7, no 1, 5-33 p.Article in journal (Refereed)
    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.

  • 9.
    Guerrero, Esteban
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Nieves, Juan Carlos
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Arguing through the well-founded semantics: an argumentation engine2014Article in journal (Refereed)
  • 10.
    Guerrero, Esteban
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Nieves, Juan Carlos
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Semantic-based construction of arguments: an answer set programming approach2015In: International Journal of Approximate Reasoning, ISSN 0888-613X, E-ISSN 1873-4731, Vol. 64, 54-74 p.Article in journal (Refereed)
    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.

  • 11.
    Guerrero, Esteban
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Nieves, Juan Carlos
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Sandlund, Marlene
    Umeå University, Faculty of Medicine, Department of Community Medicine and Rehabilitation, Physiotherapy.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Activity qualifiers in an argumentation framework as instruments for agents when evaluating human activity2016In: 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 p.Conference paper (Other academic)
    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.

  • 12.
    Guerrero, Esteban
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Nieves, Juan Carlos
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Sandlund, Marlene
    Umeå University, Faculty of Medicine, Department of Community Medicine and Rehabilitation, Physiotherapy.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Activity qualifiers using an argument-based construction2017In: Knowledge and Information Systems, ISSN 0219-1377, E-ISSN 0219-3116Article in journal (Refereed)
    Abstract [en]

    Based on an argumentation theory approach, we present a novel method for evaluating complex goal-based activities by generalizing a notion of qualifier defined in the health domain. Three instances of the general qualifier are proposed: Performance, Actuation and Capacity; the first one evaluates what a person does, the second how an individual follows an action plan, and the third one how “well” or “bad” an activity is executed. Qualifiers are intended to be used by autonomous systems for evaluating human activity. We exemplify our approach using a health domain assessment protocol. Main results of this test show a partial correlation between ambiguities assessed by experts and our argument-based approach; and a multi-dimensional perspective how an activity is executed when a combined evaluation of qualifiers is used. This last outcome was interesting for some therapists consulted. Results also show differences between values of qualifiers using different argumentation semantics; two scenarios were proposed by therapist for using different semantics: preliminary activity screening and time-span follow-up evaluation.

  • 13.
    Guerrero Rosero, Esteban
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Representing and Reasoning about Complex Human Activities - an Activity-Centric Argumentation-Based Approach2016Doctoral 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.

  • 14.
    Guerrero Rosero, Esteban
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Supporting human activity performance using argumentation-based technology2014Licentiate 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.

  • 15.
    Janols, Rebecka
    et al.
    Umeå University, Faculty of Medicine, Department of Community Medicine and Rehabilitation, Occupational Therapy.
    Guerrero, Esteban
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    A Pilot Study on Personalised Coaching to Increase Older Adults' Physical and Social Activities2017Conference paper (Refereed)
    Abstract [en]

    The aim of this research is to conduct a pilot study of a prototype that provides feedback using theory-based motivating messages developed by older adults, in a context of every day activities that include both physical and social activities. The prototype mobile application integrated the messages, a motivational model, and a personalization module that selects motivational messages based on preferences, motivational profile and the situation. The four participating older adults used the application for planning and following up social and physical activities. They found the messages entertaining and appreciated the dialogues with the application. They used the dialogues primarily to reinforce their satisfaction regarding conducted activities and did not necessarily tell the truth about conduced activities in the interaction with the application. The results are preliminary, but give valuable implications for further development of the personalisation module towards more purposeful use of ambient information, and aspects to explore in future user studies.

  • 16.
    Lindgren, Helena
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Baskar, Jayalakshmi
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Guerrero, Esteban
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Janols, Rebecka
    Umeå University, Faculty of Medicine, Department of Community Medicine and Rehabilitation, Occupational Therapy.
    Nieves, Juan Carlos
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Towards a Multipurpose Goal Model for Personalised Digital Coaching2017In: X Workshop on Agents Applied in Health Care, A2HC 2017, 2017Conference paper (Refereed)
    Abstract [en]

    Supporting human actors in daily living activities for improv- ing health and wellbeing is a fundamental goal for assistive technology. The personalization of the support provided by assistive technology in the form of digital coaching requires user models that handle potentially conflicting goals and motives. The aim of this research is to extend a motivational model implemented in an assistive technology, and outline a team of assistive agents with supplementary goals following the human’s different properties, orchestrated by a companion agent based on the multipurpose motivational model for the human actor who is to be supported. The multi- purpose motivational model and supportive arguments relating to different motives are exemplified based on a use case from an earlier pilot user study of the assistive technology. Future work includes user studies to validate the model.

  • 17.
    Lindgren, Helena
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Baskar, Jayalakshmi
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Guerrero, Esteban
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Nieves, Juan Carlos
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Nilsson, Ingeborg
    Umeå University, Faculty of Medicine, Department of Community Medicine and Rehabilitation.
    Yan, Chunli
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Computer-Supported Assessment for Tailoring Assistive Technology2016In: DH'16: PROCEEDINGS OF THE 2016 DIGITAL HEALTH CONFERENCE, New York: Association for Computing Machinery (ACM), 2016, 1-10 p.Conference paper (Refereed)
    Abstract [en]

    The main purpose of assistive technology is to support an individual's daily activities, in order to increase ability, autonomy, relatedness and quality of life. The aim for the work presented in this article is to develop automated methods to tailor the behavior of the assistive technology for the purpose to provide just-in-time, adaptive interventions targeting multiple domains. This requires methods for representing and updating the user model, including goals, preferences, abilities, activity and its situation. We focus the assessment and intervention tasks typically performed by therapists and provide knowledge-based technology for supporting the process. A formative evaluation study was conducted as a part of a participatory action research process, involving two rehabilitation experts, two young individuals and one senior individual as end-user participants, in addition to knowledge engineers. The main contribution of this work is a theory-based method for assessing the individual's goals, preferences, abilities and motives, which is used for building a holistic user model. The user model is continuously updated and functions as the base for tailoring the system's assistive behavior during intervention and follow-up.

  • 18.
    Lindgren, Helena
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Guerrero, Esteban
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Janols, Rebecka
    Umeå University, Faculty of Medicine, Department of Community Medicine and Rehabilitation, Occupational Therapy.
    Personalised Persuasive Coaching to Increase Older Adults' Physical and Social Activities: a Motivational Model2017In: Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection - 15th International Conference PAAMS 2017, Springer, 2017, 170-182 p.Conference paper (Refereed)
  • 19.
    Nieves, Juan Carlos
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Daniel, Andrade
    Esteban, Guerrero
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    MAIoT - An IoT Architecture with Reasoning and Dialogue Capability2017In: Applications for Future Internet: International Summit, AFI 2016, Puebla, Mexico, May 25-28, 2016, Revised Selected Papers, Cham: Springer, 2017, 109-113 p.Conference paper (Refereed)
    Abstract [en]

    This paper describes MAIoT, a Multiagent-based Architecture which aims to coordinate Internet of Things (IoT) devices. MAIoT is distinguished by its capabilities for allowing dialogues between IoT devices. To support theses dialogue capabilities, the IoT devices are wrapped into rational agents with reasoning and dialogue capabilities.

  • 20.
    Nieves, Juan Carlos
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Guerrero, Esteban
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Baskar, Jayalakshmi
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Deliberative Argumentation for Smart Environments2014In: PRIMA 2014: Principles and Practice of Multi-Agent Systems / [ed] Hoa Khanh Dam, Jeremy Pitt, Yang Xu, Guido Governatori, Takayuki Ito, Springer International Publishing , 2014, 141-149 p.Conference paper (Refereed)
    Abstract [en]

    In this paper, an argumentation-based deliberative approach for fusing contextual information obtained from heterogeneous sources using a multi-agent system is introduced. The system is characterized by three different agents: an Environment Agent, an Activity Agent and a Coach Agent. These agents consider data from heterogenous sources of data. As a method for aggregating data and supporting decision-making, so-called agreement rules are instrumental in the argumentation-based deliberative method. The aggregation rules will be associated to specific beliefs related to the services of each agent.

  • 21.
    Nieves, Juan Carlos
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Guerrero, Esteban
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Reasoning about human activities: an argumentative approach2013In: 12th Scandinavian Conference on Artificial Intelligence (SCAI 2013), IOS Press, 2013, 195-204 p.Conference 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.

  • 22.
    Nieves, Juan Carlos
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Partonia, Saeed
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Guerrero, Esteban
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Lindgren, Helena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    A Probabilistic Non-Monotonic Activity Qualifier2015In: The 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015) / [ed] Elhadi Shakshuki, Elsevier, 2015, Vol. 52, 420-427 p.Conference paper (Refereed)
    Abstract [en]

    The International Classification of Functioning, Disability and Health (ICF) defines Functioning and Disability as the results of the interaction between the health conditions of a person and his/her environment. It considers a set of components and qualifiers to evaluate activity and participation. In this paper, we interpret a performance quantifier under a human activity recognition process. To this end, we introduce a novel definition of an activity which is based on ICF guidelines. This definition gives place to a probabilistic non-monotonic activity qualifier. In order to recognize an activity according to our novel activity's definition, we explore non-monotonic reasoning technics to capture domain knowledge in terms of action specification languages. By considering an action specification language, called CTAID, and Answer Set Programming, we propose and develop a system called ActRec system which takes background information into consideration and recognize activities according to our suggested definition. Moreover, we show that by aggregating our probabilistic non-monotonic activity qualifier, we are able of detecting complex activities, e.g., long-term activities. We illustrate our approach in the context of an ambient assisted living environment called As-A-Pal.

1 - 22 of 22
CiteExportLink to result list
Permanent 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