Kurt Ranalter (Bolzano, Italy), Abstract machines for argumentation
Schedule
- Feb. 10, 2012, 14:00 - 15:00
Abstract
One of the most striking features of ludics is that it provides us
with convenient tools for the modelling of interaction. As a
consequence, ludics has been exploited to provide a framework for the
modelling of dialogues. In this talk we shall address some of the
issues that arise when one tries to model certain types of dialogues
that occur frequently in the field of argumentation. We shall exploit
that ludics' designs can be regarded as abstract Böhm trees and
explain how the pointer interaction of the associated geometric
abstract machine GAM relates to a notion of backtracking.
Attachments
One of the most striking features of ludics is that it provides us with convenient tools for the modelling of interaction. As a consequence, ludics has been exploited to provide a framework for the modelling of dialogues. In this talk we shall address some of the issues that arise when one tries to model certain types of dialogues that occur frequently in the field of argumentation. We shall exploit that ludics' designs can be regarded as abstract Böhm trees and explain how the pointer interaction of the associated geometric abstract machine GAM relates to a notion of backtracking.