Research Training Site GLoRiClass
Research Training Site GLoRiClass: AISB 2008 Symposium

AISB 2008 Symposium

Logic and the Simulation of Interaction and Reasoning

Symposium at the AISB 2008 Convention "Communication, Interaction and Social Intelligence"

Aberdeen, Scotland; 3-4 April 2008

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.

Invited Speakers. Thomas Ågotnes, Bergen, Norway
Rafael Bordini, Durham, England: Simulating Rational Goal-Directed Behaviour Using a Logic-Based Programming Language for Multi-Agent Systems
Frank Dignum, Utrecht, The Netherlands: Theory and practice of social reasoning: experiences with the artificial pet i-Cat
Mateja Jamnik, Cambridge, England: How can machines reason with diagrams?
David Ethan Kennerly, Los Angeles CA, United States of America: Open Problems in Simulation and Story Design
Schedule. Thursday, 3 April 2008
  • 9:00-9:20. Opening Remarks.
  • 9:20-10:05. Invited Talk. Thomas Ågotnes: Logics of Interaction, Coalitions and Social Choice
  • 10:05-10:30. Jan Broersen: Interpreting Product Update as Reasoning about Observations and Meta-Observations.
  • 10:30-11:00. Coffee Break.
  • 11:00-12:00. Plenary Speaker. Justine Cassell.
  • 12:00-14:00. Lunch Break & Poster Session.
  • 14:00-14:25. Anton Nijholt: Don't Give Yourself Away: Cooperative Behaviour Revisited
  • 14:25-14:50. Vincent Wiegel, Jan van den Berg: Experimental Computational Philosophy: shedding new lights on (old) philosophical debates
  • 14:50-15:15. Sobei Hidenori Oda, Gen Masumoto, Hiroyasu Yoneda: Private Information and Inference about Inference
  • 15:15-15:40. Juergen Bracht: An experimental study of information mechanisms in the trust game: effects of observation and cheap talk
  • 16:05-16:45. Coffee Break.
  • 16:45-17:10. Maarten Schadd, Mark Winands, Jaap van den Herik, Huib Aldewereld: Addressing NP-Complete Puzzles with Monte-Carlo Methods
  • 17:15-18:00. Invited Talk. Frank Dignum: Theory and Practice of Social Reasoning: Experiences with the iCat
Friday, 4 April 2008
  • 9:00-9:45. Invited Talk. Mateja Jamnik. How can machines reason with diagrams?
  • 9:45-10:30. Invited Talk. Ethan Kennerly: Open Problems in Simulation and Story Analysis
  • 10:30-11:00. Coffee Break.
  • 11:00-12:00. Plenary Speaker. Luciano Floridi.
  • 12:00-14:00. Lunch Break & Poster Session.
  • 14:00-14:25. Andreas Witzel, Jonathan A. Zvesper: Higher-Order Knowledge in Computer Games
  • 14:25-14:50. Alessandro Mosca, Giuseppe Vizzari, Matteo Palmonari, Stefania Bandini: A Perception Oriented MAS Model with Hybrid Commonsense Spatial Reasoning
  • 14:50-15:15. Flavio S Correa da Silva, Giuseppe Vizzari, Alessandro Mosca: Coupled MMASS: A Formal Model for Non-deterministic Multi-agent Simulations
  • 15:15-15:40. Louise Dennis, Bernd Farwer: Gwendolen: A BDI Language for Verifiable Agents
  • 16:00-16:30. Coffee Break.
  • 16:30-17:15. Invited Talk. Rafael Bordini: Simulating Rational Goal-Directed Behaviour Using a Logic-Based Programming Language for Multi-Agent Systems
Symposium Chair. Benedikt Löwe, Amsterdam, The Netherlands
Programme Committee. Stefania Bandini, Milan, Italy
Johan van Benthem, Amsterdam, The Netherlands & Stanford CA, U.S.A.
Cristiano Castelfranchi, Rome, Italy
Bruce Edmonds, Manchester, England
Jaap van den Herik, Maastricht, The Netherlands
Wiebe van der Hoek, Liverpool, England
Benedikt Löwe, Amsterdam, The Netherlands
Yoav Shoham, Stanford CA, U.S.A.
Keith Stenning, Edinburgh, Scotland
Rineke Verbrugge, Groningen, The Netherlands
Sponsor. Marie Curie Research Training Site GLoRiClass (MEST-CT-2005-020841).
Submission. Please submit abstracts of two to eight pages in PDF format via our EasyChair page before the deadline of 30 January 2008. AISB recommends the use of the ECAI style, and you can download templates and examples for use. Please send your files prepared with these templates.
Important dates.
30 January 2008 Deadline for submissions of papers
22 February 2008 Notification
1 March 2008 Deadline for final versions
3-4 April 2008 Workshop

The dates are provisional and might be adjusted based on the number of accepted papers.

Best Student Paper Award. The AISB gives an award of £ 250 for the best student paper. More details can be found on the webpage of the convention.
Call for Demos. Some schoolkids (15-16 yrs old) are visiting Aberdeen on April 3rd. Two separate groups of children will be present. The first group will be present from 12:00 to 12:30 and the second from 13:30 to 14:00. This is during the lunchbreak/poster session on the convention. Each group will have approximately 10 students. We wish to solicit proposals for interactive AI related demos. We intend to run a small number of exciting demos at a few stations, so that the kids can spend some time moving from station to station. This would mean just a couple of kids visiting one station at any one time. The aim is simply to make the students enthusiastic about AI. Demos will take place in the main hall of the convention, and will also be available to the convention delegates. Power will be available (UK style sockets), and laptops can be made available by arrangement. Please send demo proposals to by February 29th.
Publication. All papers presented at this workshop will be published in the proceedings of the AISB Convention.