z-logo
open-access-imgOpen Access
Handling temporality in human activity reasoning
Author(s) -
Mariela Morveli-Espinoza,
Juan Carlos Nieves,
César Augusto Tacla
Publication year - 2022
Publication title -
journal of intelligent and fuzzy systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.331
H-Index - 57
eISSN - 1875-8967
pISSN - 1064-1246
DOI - 10.3233/jifs-219229
Subject(s) - argumentation theory , temporality , computer science , relation (database) , selection (genetic algorithm) , set (abstract data type) , context (archaeology) , artificial intelligence , semantics (computer science) , epistemology , cognitive science , programming language , data mining , psychology , paleontology , philosophy , biology
Human-aware Artificial Intelligent systems are goal directed autonomous systems that are capable of interacting, collaborating, and teaming with humans. Activity reasoning is a formal reasoning approach that aims to provide common sense reasoning capabilities to these interactive and intelligent systems. This reasoning can be done by considering evidences –which may be conflicting–related to activities a human performs. In this context, it is important to consider the temporality of such evidence in order to distinguish activities and to analyse the relations between activities. Our approach is based on formal argumentation reasoning, specifically, Timed Argumentation Frameworks (TAF), which is an appropriate technique for dealing with inconsistencies in knowledge bases. Our approach involves two steps: local selection and global selection. In the local selection, a model of the world and of the human’s mind is constructed in form of hypothetical fragments of activities (pieces of evidences) by considering a set of observations. These hypothetical fragments have two kinds of relations: a conflict relation and a temporal relation. Based on these relations, the argumentation attack notion is defined. We define two forms of attacks namely the strong and the weak attack. The former has the same characteristics of attacks in TAF whereas for the latter the TAF approach has to be extended. For determining consistent sets of hypothetical fragments, that are part of an activity or are part of a set of non-conflicting activities, extension-based argumentation semantics are applied. In the global selection, the degrees of fulfillment of activities is determined. We study some properties of our approach and apply it to a scenario where a human performs activities with different temporal relations.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here