LogiCIC/LIRa session: Hans van Ditmarsch and Thomas Bolander

On December 6, we will have a we will have a long LogiCIC/LIRa joint session with two talks by Hans van Ditmarsch and Thomas Bolander. Please note that the session will be held from 15:00 to 18:00.

Everyone is cordially invited!

Speaker: Thomas Bolander, Technical University of Denmark
Title: Don’t Plan for the Unexpected: Planning Based on Plausibility Models
Date and Time: December 6, 2012, 15:00-16:30
Venue: Science Park 904, Room B0.201
We present a framework for automated planning based on plausibility models, as well as algorithms for computing plans in this framework. Our plausibility models include postconditions, as ontic effects are essential for most planning purposes. The framework presented extends a previously developed framework based on dynamic epistemic logic (DEL), without plausibilities/beliefs. In the pure epistemic framework, one can distinguish between strong and weak epistemic plans for achieving some, possibly epistemic, goal. By taking all possible outcomes of actions into account, a strong plan guarantees that the agent achieves this goal. Conversely, a weak plan promises only the possibility of leading to the goal. In real-life planning scenarios where the planning agent is faced with a high degree of uncertainty and an almost endless number of possible exogenous events, strong epistemic planning is not computationally feasible. Weak epistemic planning is not satisfactory either, as there is no way to qualify which of two weak plans is more likely to lead to the goal. This seriously limits the practical uses of weak planning, as the planning agent might for instance always choose a plan that relies on serendipity. In the present paper we introduce a planning framework with the potential of overcoming the problems of both weak and strong epistemic planning. This framework is based on plausibility models, allowing us to define different types of plausibility planning. The simplest type of plausibility plan is one in which the goal will be achieved when all actions in the plan turn out to have the outcomes a priori believed most plausible by the agent. This covers many cases of everyday planning by human agents, where we—to limit our computational efforts—only plan for the most plausible outcomes of our actions.

Speaker: Hans van Ditmarsch, LORIA, Nancy & (associate) IMSc, Chennai
Title: Refinement modal logic
Date and Time: December 6, 2012, 16:30-18:00
Venue: Science Park 904, Room B0.201
This is joint work with Laura Bozzelli, Tim French, James Hales, and Sophie Pinchinat.In this talk I will present refinement modal logic. A refinement is like a bisimulation, except that from the three relational requirements only ‘atoms’ and ‘back’ need to be satisfied. Our logic contains a new operator ‘forall’ in addition to the standard modalities box for each agent. The operator ‘forall’ acts as a quantifier over the set of all refinements of a given model. We call it the refinement operator. As a variation on a bisimulation quantifier, it can be seen as a refinement quantifier over a variable not occurring in the formula bound by the operator. The logic combines the simplicity of multi-agent modal logic with some powers of monadic second order quantification. We present a sound and complete axiomatization of multiagent refinement modal logic. There is an extension to the modal mu-calculus. It can be applied to dynamic epistemic logic: it is a form of quantifying over action models. There are results on the complexity of satisfiability, and on succinctness. We are highly interested in applications of this logic to epistemic planning.