ISIS/TAI Colloquium


The department's

A note on student attendance :

Starting from college year 2011/2012 the TAI colloquia will coincide with the staff seminar of the Intelligent Systems group (ISIS). TAI Master students are required to attend 5 colloquia each year (so 10 in total).

It is also permitted to attend colloquia elsewhere (however, master thesis defenses in other master tracks are not allowed). Students are required to write a short summary (about 1 A4 page) of the talk they attended, and put it in a file which also includes the time, location, speaker and organizer. This file should be sent to  John-Jules Meyer

Student attendance track records can be found here .

Although for students studying in the new AI Master there is no obligation to attend this colloquium, they are very welcome to do so. This might give you inspiration on what topic to choose for your master thesis!

Upcoming talks (updated as soon as new information becomes available):

* April 1, '15, 3.30 p.m. Location BBL-065

            Robbert Jan Beun (UU)

TITEL: The SleepCare-system: Towards Improving Adherence in Automated Personalized Sleep Coaching

ABSTRACT: Improving assignment adherence is a major challenge in all types of cognitive behavior therapies (CBT), in particular in self-help therapies from books and internet sites. In the Sleepcare-project, methods from persuasive technology are investigated to improve adherence of self-help CBT for insomnia (CBT-I). The project aims at a generic coaching system that integrates persuasive strategies with protocols for behavior change in CBT-I, and the technology that supports the system. Currently, CBT-I protocols and persuasive strategies, such as notification and shared commitment, were implemented in a fully automated smartphone application and integrated in a research infrastructure for empirical testing. In this presentation, I will give an overview of the development of the SleepCare-system and the rationale behind its design.

TUESDAY(!) April 7, '15, 3.30 p.m. Location BBL-023

            Jan Broersen (UU)

TITLE: Initial steps towards a stit-logic alternative for KARO

ABSTRACT: Some 20 years ago several integrating logical formalisms for the modelling of agentive notions like knowledge, belief, desire and intention, were proposed, among them KARO, the system by Rao and Georgeff and the system of Cohen and Levesque. I will discuss the desirability and feasibility of a stit-logic alternative for such systems. I will demonstrate the usefulness of the stit-paradigm by discussing the stit-logic formalization of the notion of 'knowing how' (joint work with Hein Duijf).

* April 15, '15, 3.30 p.m. Location BBL-205

            Jieting Luo (UU)

TITLE: A Formal Model of Opportunism Based on Situation Calculus

ABSTRACT: In social interactions, it is common for one party to possess more or better knowledge about a specific transaction than others. In this situation, parties who are more knowledgeable might perform opportunistic behavior to others, which is against others’ interest thus leading to relationship deterioration. In this study, we propose a formal model of opportunism based on situation calculus. Specifically, knowledge asymmetry and intention are modeled by adapting the standard possible-world model semantics, and value opposition is specified through defining a value evaluation function on situation based on the perspective of agents. We illustrate how to use our formal model through a simple example. By this model, we show that the judgment of opportunism is subjective since it depends on from which perspective agents evaluate the situation over their value, and it is not the intention, but the knowledge, of opportunistic agents to cause harm to others. Further study on its emergence and constraint mechanism can be carried out based on the formal model.

* April 29, '15, 3.30 p.m. Location DDW - 0.34 (!)

At this edition of the colloquium two half-hour presentations for AAMAS '15 workshops will be practised:

            Vahid Yazdanpanah and Mehdi Dastani

TITLE: Quantified Degrees of Group Responsibility

ABSTRACT: This paper builds on an existing notion of group responsibility and proposes two ways to define the degree of group responsibility: structural and functional degrees of responsibility. These notions measure potential responsibilities of agent groups for avoiding a state of affairs. According to these notions, a degree of responsibility for a state of affairs can be assigned to a group of agents if, and to the extent that, the group of the agents have potential to preclude the state of affairs. These notions will be formally specified and their properties will be analyzed.

            Jetze Baumfalk, Barend Poot, Bas Testerink and Mehdi Dastani

TITLE: A SUMO Extension for Norm based Traffic Control Systems

ABSTRACT: Autonomous vehicles will most likely participate in traffic in the near future. The advent of autonomous vehicles allows us to explore innovative ideas for traffic control such as norm based control systems. A norm is a violable rule that describes correct behavior. Norm based traffic control systems monitor traffic and effectuate sanctions in case vehicles violate norms. In this paper we present an extension of SUMO that enables the user to apply norm based control systems to traffic simulations. In our extension, vehicles are capable of making an autonomous decision on whether to comply with the norms or not. We provide a description of the extension, a summary on its implementation and an experimental evaluation.

* May 13, '15, 3.30 p.m. Location: BBL-201

            Krzysztof Apt (CWI Amsterdam)

TITLE: Epistemic Protocols for Distributed Gossiping
ABSTRACT: Gossip protocols aim at arriving, by means of point-to-point or group
communications, at a situation in which all the agents know each other
secrets.  We consider distributed gossip protocols, building upon the
recent work of Attamah, Van Ditmarsch, Grossi and Van der Hoek.  These
protocols are expressed by means of epistemic logic (for instance by
statements such as `if I do not know whether agent i knows my secret I
communicate it to him').

We provide an operational semantics of such protocols and set up an
appropriate framework to argue about various aspeccts of their
correctness.  Then we analyze specific protocols both for a ring and
for complete graphs.

This is a joint work with Wiebe van der Hoek and Davide Grossi.

* May 27, '15, 3.30 p.m. Location: BBL-165

            Johan Hoorn (VUA)

TITLE: Emotion, emotion regulation, artificial intelligence, and social robots.

Starting from regulatory systems in emotion, we will venture into computational models that simulate such principles, and look into the effects that companion robots featuring such models may exert on socially isolated elderly.

* June 17, '15, Joint Information Science / ISIS/TAI Colloquium:
Time: 3.30 pm. Location: BBL-061

            Catholijn Jonker (TUD)

TITLE: The Headaches of a Negotiation Support Agent.

Negotiation is a complex process as it poses challenges to the negotiator on both the emotional plane as well as on the computational plane. Human negotiators are known to leave money on the table, have trouble getting a clear view of their own preferences and those of their negotiation partner, and sometimes find it difficult to deal with their own emotions and those of their negotiation partner. In this talk I will briefly outline the Pocket Negotiator project and it's prototype. I will show some solutions developed during the project and will discuss some of the open challenges. In terms of research fields, I combine Artificial Intelligence, Affective Computing, and Human Computer Interaction.

To find out more about the Pocket Negotiator project, please visit

To read more about it and to try out the prototype, please use Chrome to visit

All comments to John-Jules Meyer .