Dear All,

we forward an invitation to the Applied Logic Seminar at TU Delft, see below for all details and contact Giuseppe Greco G.Greco@tudelft.nl if you have any further questions.

The LIRa team

------------------------

Dear All,

We would like to invite you to the Applied Logic Seminar at TU Delft (http://www.appliedlogictudelft.nl/applied-logic-seminar/). The purpose of these meetings is to disseminate and discuss ideas and results about logic, with a special focus on applications and interactions with natural and social sciences.

When: Tuesday, 27 October, 2015 2.00pm - 4.00pm

Where: room b1.300, building 31, Jaffalaan 5 Technische Universiteit Delft, 2628 BX Delft

Speaker: Marcus Pivato (Université de Cergy-Pontoise, France)

Title: Categorical Decision Theory

Abstract (Joint work with Vassili Vergopoulos of the Paris School of Economics) Individuals and societies must often make difficult decisions, which are fraught with uncertainty. How should an agent decide when faced with such uncertainty? This is the subject of a branch of theoretical economics called Decision Theory. Bernoulli (1738) claimed that we should choose the alternative which yields the highest expected utility. But what justifies this methodology? Savage (1954) showed that, if our decision-making process satisfies certain axioms (encoding basic properties of "consistency" and "rationality"), then it must maximize expected utility. Savage's Theorem is considered the foundational result of modern Decision Theory. Savage posited a set S of possible "states of nature" and a set X of possible "outcomes". He supposed that each alternative defined a function (an "act") mapping states to outcomes. His theorem constructs a probability measure on S and a utility function on X. However, this approach raises at least three issues. 1. Savage assumed that S and X were arbitrary sets, and acts were arbitrary functions. But what if S and X are topological spaces, and acts must be continuous? What if S and Xare differentiable manifolds, and acts must be differentiable? We would like a single theory which works in all of these environments (and others). 2. In many applications, it is unrealistic to suppose that we can enumerate all possible states of nature or all possible outcomes "in advance". Thus, there is growing interest in developing decision theory without an explicit specification of S or X. 3. At different times, the same agent might be faced with many different sources of uncertainty (i.e. different instances of S) and many different menus of outcomes (different instances of X), in different combinations. We would like a single holistic description of the agent's decisions over all of these possible decision problems. In this talk, we will reformulate decision theory using the tools of category theory, and derive a version of Savage's theorem which addresses all three of these issues.

Please do not hesitate to forward this message to anyone else who might be interested. Best wishes, Alessandra, Giuseppe, Sabine and Fan.

------------------------