Monday March 22 , Seminar on “Intentions” in Groningen

Monday March 22 our seminar will visit Groningen again for a special session dedicated to the topic of Intentions.

The session will start at 14:00 hrs, and will take place in Zaal Gamma, Faculty of Philosophy, Oude Boteringestraat 52, 9712 GL Groningen, with the following program:

14:00 – 14:30 Olivier Roy
(University of Groningen)
Three challenges for a logical theory of intentions

In this talk I want to draw attentions on three fundamental questions
for the theory of intentions:

1. Intention, intentionality and intentional agency: what is the
connection?
2. What kind of constraints should rational intentions satisfy? Where do
these constraints come from?
3. What is the role of individual and collective intentions in shared
agency?

I will briefly present answers to these questions from the philosophical
literature, and argue that a logical theory of intentions can, and even
should try to answer them.

14:30 – 14:40 Questions and Discussion

14:40 – 15:10 Eric Pacuit
(Tilburg University)
Revising beliefs and intentions

While there is an extensive literature developing logical
models to reason about informational attitudes (e.g. belief,
knowledge, certainty) in a dynamic environment, other mental states
have received relatively less attention. (A notable exception here is
work on logics of preferences and preference change.) However, this is
changing with recent articles developing a theory of intention
revision (see, for example, two recent articles: Towards a Theory of
Intention Revision by van der Hoek, Jamroga and Wooldridge and A Logic
of Intention and Attempt by Lorini and Herzig). These papers take as a
starting point logical frameworks derived from Cohen and Levesque’s
seminal paper aimed at formalizing Bratman’s planning theory of
intention.   In this talk, I will discuss a number of recent dynamic
logics of intention and beliefs.    In the process we will reexamine a
number of foundational issues surrounding so-called BDI-logics.

I will also discuss a recent paper on “joint revision of belief and
intention” (with Yoav Shoham and Thomas Icard) where we present a
formal semantical model to capture action,  belief and intention,
based on the “database perspective” of (Logical Theories of Intention
and the Database Perspective, Journal of Philosophical Logic,  2009,
by Yoav Shoham). We   provide postulates for belief and intention
revision, and state a representation theorem relating our postulates
to the formal model. Our belief postulates are in the spirit of the
AGM theory; the intention postulates stand in rough correspondence
with the belief postulates.

15:10 – 15:20 Questions and Discussion
15:20 – 15:40 Coffee break

15:40 – 16:10 Ben Rodenhauser
(University of Groningen)
Intentions in Interaction

The talk presents ongoing work about the roles intentions play in
interaction, in particular as they relate to understanding information
flow. I discuss two such roles: information about an agent’s
intentions allows an observer to draw useful conclusions from the
former’s actions; and intentions can be viewed as “programs”, guiding
the actions of the participants towards an outcome state. I present a
Dynamic Epistemic Logic approach which formalizes the notions of
“intending to take an action” and “taking an action based on a
prior intention” to account for these phenomena, and discuss further
directions this research could take.

16:10 – 16:20 Questions and Discussion
16:20 – 17:00 General Discussion

17:00 – Drinks in the Pub

Three challenges for a logical theory of intentions