C.A.D.I.L.L.A.C.
  • Home
  • C.A.D.I.L.L.A.C. News Blog
  • C.A.D.I.L.L.A.C. Events
    • 2016 Cognitive, linguistic and logical aspects of perspective-taking
    • 2016 Autism Research Network Meeting
    • 2015 Stig Andur Pedersen's retirement symposium
    • 2015 Cognitive, linguistic and logical aspects of perspective-taking 2015
    • 2014 Arthur Prior
    • 2014 Workshop on Planning, Logic and Social Intelligence
    • 2014 Mathematical Reflections
    • Modality and Modalities, M&M 2012- 2014
  • Contact us
  • Links and Resources

Welcome to our News Blog

Keep up-to-date with news, announcements and events in the area and abroad. Feel free to contact us if you have something you'd like us to share.

contact us

Guillaume Aucher "DEL-sequents for progression, regression and epistemic planning"

28/8/2012

 
10 am at DTU in room 030, building 322.
Technical University of Denmark


Abstract: Dynamic Epistemic Logic (DEL) deals with the representation  and the
study in a multi-agent setting of knowledge and belief change.
It can express
in a uniform way epistemic statements about:
\begin{enumerate}
\item[(i)]
what is true about an initial situation
\item[(ii)] what is true about an
event occurring in this situation
\item[(iii)] what is true about the
resulting situation after the event has occurred.
\end{enumerate}
We
axiomatize within the DEL framework what we can infer about (iii)  given (i) and
(ii), what we can infer about (ii) given (i) and (iii),  and what we can infer
about (i) given (ii) and (iii). These three  inference problems are related to
classical problems addressed under  different guises in artificial intelligence
and theoretical computer  science, which we call respectively progression,
epistemic planning and  regression. Given three formulas $\phi$, $\phi'$ and
$\phi''$ describing respectively (i), (ii) and (iii), we also show how to build
three  formulas $\phi\otimes\phi'$, $\phi\varoslash\phi''$ and
  $\phi'\varobslash\phi''$ which capture respectively all the information  which
can be inferred about (iii) from $\phi$ and $\phi'$, all the  information which
can be inferred about (ii) from $\phi$ and $\phi''$,  and all the information
which can be inferred about (i) from $\phi'$ and $\phi''$. We show how our
results extend to other modal logics than  $\logicK$. In our proofs and
definitions, we resort to a large extent to the normal form formulas for modal
logic originally introduced by Kit  Fine.

    Archives

    May 2016
    February 2016
    January 2016
    September 2015
    June 2015
    April 2015
    February 2015
    December 2014
    May 2014
    April 2014
    March 2014
    December 2013
    October 2013
    September 2013
    May 2013
    April 2013
    August 2012
    June 2012
    May 2012
    April 2012
    February 2012
    October 2011

    Categories

    All
    Adrianne Rini
    Carlo Proietti
    Emmanuel Genot
    Guillaume Aucher
    Hans Van Ditmarsch
    Hanti Lin
    Jens Ulrik Hansen
    Justine Jacot
    Kevin T. Kelly
    Klaus Frovin Jørgensen
    Luciana Benotti
    Martin Mose Bentzen
    Max Cresswell
    Mikkel Gerken
    Olivier Roy
    Patrick Blackburn
    Pelle Guldborg Hansen
    Peter Øhrstrøm
    Rasmus K. Rendsvig
    Sebastian Enqvist
    Thomas Bolander
    Torben Braüner
    Valentin Goranko

    RSS Feed

Powered by Create your own unique website with customizable templates.