Sciweavers

Share
17 search results - page 1 / 4
» Rationalization of goal models in GRL using formal argumenta...
Sort
View
RE
2015
Springer
3 years 11 months ago
Rationalization of goal models in GRL using formal argumentation
—We apply an existing formal framework for practical reasoning with arguments and evidence to the Goal-oriented Requirements Language (GRL), which is part of the User Requirement...
Marc van Zee, Floris Bex, Sepideh Ghanavati
IAT
2008
IEEE
9 years 10 months ago
When the User Is Instrumental to Robot Goals: First Try - Agent Uses Agent
To create a robot with a mind of its own, we extended a formalized version of a model that explains affect-driven interaction with mechanisms for goaldirected behavior. We ran sim...
Johan F. Hoorn, Matthijs Pontier, Ghazanfar F. Sid...
COMMA
2008
9 years 5 months ago
A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is an argumentation framework based on logic programming which incorporates a treatment of possibilistic uncertainty a...
Teresa Alsinet, Carlos Iván Chesñeva...
NMR
2004
Springer
9 years 9 months ago
Belief dynamics and defeasible argumentation in rational agents
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
Marcelo A. Falappa, Alejandro Javier García...
ARGMAS
2006
Springer
9 years 7 months ago
Specification and Complexity of Strategic-Based Reasoning Using Argumentation
Abstract. In this paper, we propose a new strategic and tactic reasoning for agent communication. This reasoning framework is specified using argumentation theory combined to a rel...
Mohamed Mbarki, Jamal Bentahar, Bernard Moulin
books