SIKS-09 basic course on Learning and Reasoning: Argumentation
|
SIKS-09 basic course on Learning and Reasoning: Argumentation |
|
This is a WWW-page with resources related to Henry Prakken's tutorial on Argumentation as part of the SIKS basic course on the Learning and Reasoning, Vught (The Netherlands), May 26th, 2009.
In recent years, argumentation has become an increasingly popular topic in the symbolic study of commonsense reasoning and inter-agent communication. In logical models of commonsense reasoning, the argumentation metaphor has proved to overcome some drawbacks of other formalisms. Many of these have a mathematical nature that is remote from how people actually perceive their everyday commonsense reasoning, which makes it difficult to understand and trust the behavior of an intelligent system. The argumentation approach bridges this gap by providing logical formalisms that are rigid enough to be formally studied and implemented, while at the same time being close enough to informal reasoning to be understood by designers and users. In the current course the fundamental concepts and structure of argumentation logics will be discussed.
Furthermore, if time permits it will be discussed how formal multi-agent argumentation protocols can be specified in which agents discuss the validity of a claim. This enables designers of, for instance, multi-agent systems or discussion support systems to specify communication protocols that adhere to certain desirable logical properties.
The tutorial slides. (Part 2 was not discussed during the tutorial.)
Material from the following articles was discussed in more or less detail during the tutorial.