Kurt Ranalter (Bolzano, Italy), Abstract machines for argumentation


  • Feb. 10, 2012, 14:00 - 15:00


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.