I was fortunate to attend Prof. Johan van Benthem’s lecture on logic dynamics in Beida. He was one of my master thesis supervisor back in 2004, and we last met was in Liverpool in March 2009 on occasion of celebrating Wiebe’s 50th Birthday. I am a big fan of him as he has set a [...]

题目：通用游戏竞赛的逻辑 (Logic for General Game Playing) 主讲人：阮吉 计算机科学和工程学院，新南威尔士大学，澳大利亚 时间：九月二十五日，星期天，晚上8点 地点：哲学系1层会议室 摘要：通用游戏竞赛GGP（General Game Playing）的目标是创建能自主地学习游戏规则进行游戏比赛的通用智能系统。和1997年打败人类国际象棋冠军的深蓝系统不同的是，通用游戏系统的设计者事先不知道竞赛的具体游戏，而只是被告知所有游戏是用游戏描述语言GDL（Game Description Language）所描述。GDL是一种基于规则的逻辑编程语言。自从2005年通用游戏竞赛在国际人工智能会议AAAI举办以来，已经引起了广泛的兴趣和深入的研究。GDL本身也从只能描述完全信息游戏（例如象棋）扩展到也能描述非完全信息游戏（例如扑克）。我将首先介绍如何对游戏进行描述，然后深入讨论逻辑在游戏推理和刻画中的应用，并展示一些推理复杂性结果。 http://www.phil.pku.edu.cn/cllct/ann_content.php?msgid=215 更新：现场的照片 例子 提问 来自相册： http://www.flickr.com/photos/jiruan/sets/72157627656865185

Date: Friday, 23 September, 2011 Location: 清华新斋335 1:30-3:30 PM Speaker: Patrick Girard Department of Philosophy, The University of Auckland Title: Logic in the Communities Photo Update: 3：30- 5:30 PM Speaker: Ji Ruan School of Computer Science and Engineering, The University of New South Wales Title: A Logic for Knowledge Flow in Social Networks （社交网络中的知识流的逻辑） Abstract: [...]

高铁事故 现场掩埋, originally uploaded by DigiPub. An English-speaking friend asked me yesterday, why did you talk a lot of politics on Facebook (even sometimes in Chinese)? Here is a simple answer: my parents and best friends are living in China, which is a high-speed train in a similar type of the ones crashed on 23 [...]

A month ago, I contacted Shi Jing, who was then a volunteer for the Chinese language website that I created to support the detained Chinese artist Ai Weiwei. The website was originally named “Love Ai Weiwei” (Loveaiww.blogspot.com). Since its creation on April 4, I had renamed it twice, “Ai Ai Weiwei” for May and “i Love [...]

I just sent this message to my friends around the world by email. Here it is in case I missed you in the mailing list. Dear Friends: A Chinese artist, Ai WeiWei, was detained 9 days and 8 hours ago by the Chinese authority due to his effort of promoting basic human rights (eg. freedom [...]