"Logic and the Simulation of Interaction and Reasoning" (Symposium at AISB 2008), Aberdeen, Scotland
2008-04-03 | Aberdeen, Scotland
In the past years, logicians have become more and more interested in the phenomenon of interaction. The area "logic and games" deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. A number of conferences and workshops have been dealing with logic in game and decision theory and dynamic logics with announcement and action operations. Fruitful technical advances have led to deep insights into the nature of communicative interaction and behaviour by logicians. While these interactive aspects are relatively new to logicians, on a rather different level, modelling intelligent interaction has been an aspect of the practical work of computer game designers, researchers in artificial intelligence, robotics, and human-machine interaction for a long time. The practical aspects of simulating interaction and behaviour reach out to a wide interdisciplinary field including psychology and cognitive science. So far, there are only a few cross-links between these two communities. Our symposium will explore the possibilities of joining the theoretical approach to interaction and communication with the practical approach to simulating behaviour. We would like to include purely logical aspects, cognitive and psychological aspects (including empirical testing of formal models), and pragmatic aspects. This symposium is sponsored by the ILLC GLoRiClass project. For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=8_1 or http://www.aisb.org.uk/convention/aisb08/ All researchers from logic, artificial intelligence, computer science, cognitive science, computer gaming, psychology, empirical game theory, and many other fields are cordially invited to submit abstracts of one to four papers in PDF format. Submission deadline is January 9, 2008.
