Change search
ReferencesLink to record
Permanent link

Direct link
Semantic-based construction of arguments: an answer set programming approach
Umeå University, Faculty of Science and Technology, Department of Computing Science. (User Interaction and Knowledge Modelling)ORCID iD: 0000-0002-6035-800X
Umeå University, Faculty of Science and Technology, Department of Computing Science. (User Interaction and Knowledge Modelling)
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2015 (English)In: International Journal of Approximate Reasoning, ISSN 0888-613X, E-ISSN 1873-4731, Vol. 64, 54-74 p.Article in journal (Refereed) 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.

Place, publisher, year, edition, pages
Elsevier, 2015. Vol. 64, 54-74 p.
Keyword [en]
Argumentation, Logic programming, Well-founded semantics, Argumentation tools, Stable model semantics, Answer set programming
National Category
Computer Science
URN: urn:nbn:se:umu:diva-101451DOI: 10.1016/j.ijar.2015.06.009ISI: 000359175800004OAI: diva2:799300
Available from: 2015-03-30 Created: 2015-03-30 Last updated: 2016-05-13Bibliographically approved
In thesis
1. 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.
Report / UMINF, ISSN 0348-0542 ; 16.15
Complex activity, Argumentation Theory, Activity Theory, Logic programming, Knowledge representation, Common-sense reasoning, Artificial Intelligence
National Category
Computer Science
Research subject
Computing Science
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)
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 text

Search in DiVA

By author/editor
Guerrero, EstebanNieves, Juan CarlosLindgren, Helena
By organisation
Department of Computing Science
In the same journal
International Journal of Approximate Reasoning
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 1039 hits
ReferencesLink to record
Permanent link

Direct link