Constraints and changes in argumentation

Constraints and changes in argumentation

时间： 地点：九龙湖计算机楼411会议室

报告简介：

This talk addresses the issue of enforcing a constraint in an argumentation system. The system consists in (1) an argumentation framework, the structure of which is made up of a set of arguments and of an attack relationship, (2) an acceptability semantics, and (3) acceptable sets of arguments, computed from (1) and (2). An agent may want another agent to consider a new attack, or to have a given argument in at least one extension, or even to relax the definition of the semantics. A constraint on any of the three components is thus defined, and it has to be enforced in the system. The enforcement may result in changes on components of the system. The talk surveys existing approaches for the dynamic enforcement of a constraint and its consequences, in the light of the three components, and reveals enforcement cases that remain to be investigated.

报告人简介：

Associate professor at the University of Toulouse, IRIT (France) since 2005. Research assistant at the University of Liverpool in 2004. PhD from the University of Toulouse in 2002. Main research topics: knowledge representation and reasoning, logic, argumentation (http://www.irit.fr/~Sylvie.Doutre).

计算机网络和信息集成教育部重点实验室（东南大学）