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 http://www.easychair.org/conferences/?conf=AISB2008-LSIR 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 aisb08@aisb.org.uk by February 29th.

Publication. All papers presented at this workshop will be published in the proceedings of the AISB Convention.