Decisions, Games, & Logic Workshop

[e]

[e]

<style>

/*** LAYOUT ***/
 DIV { border: 0px; }
 #leftHand { 
    width: 100%;
    margin: 0px;
    color: #dfa; 
    background: #a90 url(imgs/stippleG.gif);
    text-align: center;
 }
 #leftHand A { color: #dfa;  font-weight: bold; }
 #links { padding: 4px; background: #339 url(imgs/stippleB.gif); color: #adf; font-size: 13px; font-weight:bold; }
 #links A { padding-left: 5px; padding-right: 5px; }
 #leftHand A { color: white; font: bold; }
 #leftHand A.selected { font-size: 18px; }
 #barOne { background: #ff0 url(imgs/stippleB.gif); height: 5px; }
 #barTwo { background: red url(imgs/stippleW.gif); height: 3px; }
 #barThree { background: #00f url(imgs/stippleG.gif); height: 3px; }
 
 #rightHand {
    width: 620px;
    margin-left: auto; margin-right: auto;
    margin-bottom: 30px;
    text-align: left;
 }

/*** WORKINGS ***/
.editlink { position: absolute; }
.editlink { display: none; }
#rightHand div div .editlink  { display: inline; position: static; float: right; color: white; }
#rightHand div div .editlink A { color: #bbb; }
textarea { font-family: inherit; }

/*** STYLE ***/
 BODY, TD, P, TEXTAREA { font-family: verdana, arial, palatino linotype; font-size: 10pt; padding: 0px; margin: 0px; }
 TD { text-align: center; }
 #rightHand TD { vertical-align: center; text-align: left; }
 BODY {  }
 H2 {  }
 H3 { font-size: 10pt; }
 H4 { font-size: 10pt; background: #270; color: white; margin-left: -30px; margin-right: -30px; padding-left: 10px; padding-right: 10px; }
 A { text-decoration: none; color: #009; }
 A:Hover { text-decoration: underline; }
 #michaelmasReading P, #lentReading P, #summerReading P { margin: 0px; }
 #rightHand LI { margin-bottom: 8px; }
 IMG { border: 0px; }
 #rightHand IMG { border: 1px solid black; }
 P { margin-top: 7px; }
 BLOCKQUOTE { margin-left: 12px; }
 #photos IMG { border: 3px black solid; }

/**** PRINT ****/
@media print {

}

</style>

add breaks

[e]

Sixth Workshop in
Decisions, Games & Logic '12
June 28-30, 2012, Munich Center for Mathematical Philosophy (LMU, Munich, Germany)

HOME PROGRAMME {DECISION THEORY , GAME THEORY , LOGIC } PRACTICAL CONTACT

add breaks

[e]

Logic

This year's logic tutorial will be given by Sonja Smets (ILLC, Amsterdam).

Title: Recent topics in Dynamic Epistemic Logic

Abstract:
This course is addressed to students and researchers interested in logics for reasoning about multi-agent belief revision, belief updates and knowledge updates induced by various forms of communication or interaction. I will start by presenting the main notions of "standard" (or "Hard") Dynamic Epistemic Logic, arguing that this logic is appropriate for updating "hard information" (unrevisable knowledge), but that it is inappropriate for "soft information" (possibly false beliefs or defeasible knowledge). Next I move on to "soft" DEL and will present "belief-revision models", defining some important epistemic/doxastic notions and explaining the relevance of these notions to fundamental issues in contemporary Epistemology. I will focus in particular on various Belief Update operations and belief-revision policies. Time permitting I will take a look at the long-term dynamics generated by iterated belief revision.

Reading suggestion:
A. Baltag and S. Smets, "A Qualitative Theory of Dynamic Interactive Belief Revision", in G. Bonanno, W. van der Hoek, M. Wooldridge (eds.), Logic and the Foundations of Game and Decision Theory, Texts in Logic and Games, Vol 3, pp.9-58, Amsterdam University Press, 2008 (preprint online at http://sonja.tiddlyspot.com/ )

<h2>Logic</h2>

This year's logic tutorial will be given by <b><a href="http://sonja.tiddlyspot.com/#HOME">Sonja Smets</a></b> (ILLC, Amsterdam).

Title: Recent topics in Dynamic Epistemic Logic

Abstract: 
This course is addressed to students and researchers interested in logics for reasoning about multi-agent belief revision, belief updates and knowledge updates induced by various forms of communication or interaction. I will start by presenting the main notions of "standard" (or "Hard") Dynamic Epistemic Logic, arguing that this logic is appropriate for updating "hard information" (unrevisable knowledge), but that it is inappropriate for "soft information" (possibly false beliefs or defeasible knowledge). Next I move on to "soft" DEL and will present "belief-revision models", defining some important epistemic/doxastic notions and explaining the relevance of these notions to fundamental issues in contemporary Epistemology. I will focus in particular on various Belief Update operations and belief-revision policies. Time permitting I will take a look at the long-term dynamics generated by iterated belief revision.

Reading suggestion:
A. Baltag and S. Smets, "A Qualitative Theory of Dynamic Interactive Belief Revision", in G. Bonanno, W. van der Hoek, M. Wooldridge (eds.), Logic and the Foundations of Game and Decision Theory, Texts in Logic and Games, Vol 3, pp.9-58, Amsterdam University Press, 2008 (preprint online at http://sonja.tiddlyspot.com/ )

add breaks