School of Computing Masterclass: Logics for argumentation - Prof. Henry Prakken from Univ. of Groningen.
Posted: 28/07/2009
Argumentation Masterclass
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.