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 Weiwei” for June. Such changes were intended to remind people that it had been another month since Ai’s detainment. At the same time, I also changed the small image reflexing Ai in the side bar of this website. The following is a snap shot of the website on 18 June 2011. (more…)
Title: The Epistemic Logic Behind the Game Description Language
Authors:
Ji Ruan and Michael Thielscher
School of Computer Science and Engineering The University of New South Wales, Australia
Abstract:
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL, a variant of Datalog with function symbols and a few known keywords. In its latest version GDL allows to describe nondeterministic games with any number of players who may have imperfect, asymmetric information. We analyse the epistemic structure and expressiveness of this language in terms of epistemic modal logic and present two main results: (1) The operational semantics of GDL entails that the situation at any stage of a game can be characterised by a multi-agent epistemic (i.e., S5-) model; (2) GDL is sufficiently expressive to model any situation that can be described by a (finite) multi- agent epistemic model.
Status:
Presented at the Twenty-Fifth Conference on Artificial Intelligence, AAAI-11. (San Francisco, USA).
Download: Camera Ready Version, AAAI Web Version.
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 of speech) in China (apart from doing great art work, eg., Bird Nest, 100 Sunflower Seeds). The authority has been investigating his “crimes”, and the state news medias hinted that it was due to his “economic crimes” not “human rights crimes”. It is hardly convincing of course, if you know a bit about what he did publicly.
Here is a website about him: (more…)
I have moved to Sydney, Australia, and currently work as a postdoc fellow on epistemic logic and general game playing! I quite like this new place and new people.
This is my new address:
Room 423
School of Computer Science and Engineering
The University of New South Wales
Sydney 2052, Australia
Phone: +61 2 9385 6931
Work Email: 
(more…)
我在浏览荷兰科研组织NWO网站的时候发现这个奖学金的机会。对于明年9月1日前从中国某些大学毕业的硕士研究生，如果想去荷兰学习的话，可以抓紧时间申请。本月底截止。Good luck
具体见：
http://www.nwo.nl/nwohome.nsf/pages/NWOP_883AEK_Eng
Cooperation China (CSC) – Talent and Training (TTChina)
Line of action : Opportunities for researchers
Secretariat : NWO
Apply : Yes, you can apply now
Deadline : 29 October 2010
Objective
The aim of the programme is to increase the quality and quantity of
PhD research in the Netherlands and to strengthen scientific
cooperation with China, by inviting highly talented Chinese PhD
candidates to conduct research at selected Dutch graduate schools.
Who can apply? Chinese students who
With Web 2.0 tools, such as (micro)blog, wiki, we can reveal a lot of our thoughts and opinions in public, and get response from someone we have never met before. More importantly, Web 2.0 tools encourage open discussions. Here is a very good example.
I saw from twitter that someone had claimed P!=NP was proved, which is an open problem in computer science for around 40 years (see this wiki entry). Many people wanted to solve it but none was successful. I reposted this message on my twitter here. In a couple of days, I saw more posts about this claim, which led me to this blog. The owner of the blog is Dick Lipton, a Professor of Computer Science at Georgia Tech, who have worked in the area of theory of computation since 1973. He revealed his thoughts on the proof of the claim in these blog entries: 1, 2, 3. And in each entry, you can see more than 100 responses, including the ones from brilliant mathematicians such as Terence Tao:
Previously, such serious discussions in very hard theoretical problems may only happen in the small grounds of top talents via emails or letters, of which the general public might never learn. But I think Prof. Dick Lipton’s blog has changed this. I am very glad to see this development, and hope to see more scientists participating in open discussions of open problems like this. Overall, such effort will increase the awareness of scientific research in the general public, and even increase the speed of cracking very difficult problems.
