本站不再支持您的浏览器,360、sogou等浏览器请切换到极速模式,或升级您的浏览器到 更高版本!以获得更好的观看效果。关闭

首页

当前位置: 首页» 学术活动

学术活动

【学术预告】Logic and Action
报告题目:Logic and Action
报告人:Jan van Eijck, CWI and ILLC, Amsterdam
时间:2015年11月5日(周四)上午10:00-12:00
地点:北京师范大学教4楼110教室
 
摘要:An action is something that takes place in the world, and that makes adifference to what the world looks like. Thus, actions are maps fromstates of the world to new states of the world. Actions can be ofvarious kinds. The action of spilling coffee changes the state ofyour trousers. The action of telling a lie to your friend changes yourfriend’s state of mind (and maybe the state of your soul). The actionof multiplying two numbers changes the state of certain registers inyour computer. Despite the differences between these various kinds ofactions, we will see that they can all be covered under the samelogical umbrella.

 

The talks starts with an overview of what is in Chapter 6 of the Logicin Action course book. If there is time, we will also look at variousways of turning Propositional Dynamic Logic or PDL into a tool formodelling strategic reasoning and for reasoning about the outcomes ofactions under uncertainty.