Tools from logic and mathematics have played a central role in models of human beliefs, of human desires and preferences and indeed the actions which are based on them. However, beliefs, preferences and perhaps even desires change. Thus the development, which has been greatly accelerated in recent times, of extensions of the logical and mathematical techniques to account for the problems of change. However, as different paradigms (AGM theory and dynamic logic in the ‘logic‘ camp, Bayesian update and Jeffrey conditionalisation in the probability camp, to take just a few examples of theories of belief change) jostle to impose themselves, it is perhaps the moment to take a step back and ask: what do we want from a theory of change?
Presenting our work is one major thing we deal in academia, as your work will have no influence if nobody knows. How to pass your message effectively is learnable. Here are a few useful links:
Joint work with Wiebe van der Hoek and Michael Wooldridge. Published in the Proceedings of Workshop on Logic, Rationality and Interaction (LORI07), Beijing, August 2007.
PDF Download: Strategy Logics and the Game Description Language.
Any comments are welcome!
ABSTRACT: The Game Description Language (GDL) is a special purpose declarative language for defining games. GDL is used in the AAAI General Game Playing Competition, which tests the ability of computer programs to play games in general, rather than just to play a specific game. Participants in the competition are provided with a game specified in GDL, and then required to play this game. Recently, there has been much interest in the use of strategic cooperation logics for reasoning about game-like scenarios, Alternating-time Temporal Logic (ATL) is perhaps the best known example. The aim of this paper is to make a link between ATL and GDL. We show that a GDL specification can be viewed as a specification of an ATL model, and that ATL can thus be interpreted over GDL specifications. Our main result is that it is possible to translate a propositional GDL specification into an “equivalent” ATL specification, which is only polynomially larger than the original GDL specification. As a corollary, we are able to characterise the complexity of reasoning about GDL-specified games using ATL: it is EXPTIME-complete.
Acknowledgment: We would like to thank Dirk Walther and two anonymous reviewers for comments and helpful suggestions.
Dear Sarah(sarah.stamper@liv.ac.uk) :
I am a regular attender of the Public Lecture Series offered by our university. I think they are in very good quality in general. Given the limited seats and time, not so many people could attend these lectures. And I see the positive move that your team has made to making these lectures more accessible, namely putting videos online(webcast) from this cultural year!
Here I have one suggestion: making these videos more accessible to all the people around the world, by adopting the best video distributing technologies.
I want to bring your attention to this because the first webcast does not work properly at the moment. The witness link and image are here:
http://www.liv.ac.uk/08/webcast/miller_webcast.html
The video just did not show up. I tried under a windows machine with IE and windoes media palyer perperly installed. I do not know there is exactly the problem, but I see some potential problems:
- Windoes Media Video format, WMV, is a very closed video format from Microsoft, and it is not as widely adopted in the video market as you thought.
- The target of WMV audience is too restrictive. This world is not windowes machines only. There are Linux machines, Machintonsh machines all around. The WMA just does not working properly with them, due to the closed approach adopted by Micorsoft.
- The bandwidth for streaming video is very demanding. I suspect that your current server can handle more than 10 people seeing the videos at the same time.
I think we could do it better:
- Discard WMV, and adopt more open technologies: mp3, flash, and quicktime.
The most popular ways of showing video or audio over Internet is based on open technologies, as it is accessible to almost any systems: linux, mac, windows, and so on. The best video sharing website Youtube.com is based on flash technology. Here is an exmaple from Yale University’s open courses(there are using a number of open technologies to ensure the delivery of their contents) . Just click the image below to have a look.
- Consider to have a Youtube channel.
I think Youtube is so far the best place to make your videos seen! It provides free service to all, which could be very money costing given the huge amount data that involved.
Here is an example from a top university in USA: Carnegie Mellon Universityhttp://www.youtube.com/user/carnegiemellonu
They use this channel to show very interesting lectures and activities in their university.
I hope this will help a bit to make our lectures more accessible to the world, which will build the reputation of our university as a return.
Best wishes,
Ji
Title: Really Achieving Your Childhood Dreams
By: Randy Pausch
Date: September 18, 2007
Location: Carnegie Mellon University
Today, I happen to get this video: Really Achieving Your Childhood Dreams by Randy Pausch, who was informed having 3 to 6 months life due to liver cancer. This was called his last lecture, but it is not. He is still alive and having fun everyday.
I think this is a brilliant speech. The main points I got are:
- Having dreams and try to achieve them
- Brick walls are for you to grow up
- Having fun for life
- Enable other people’s dreams
- Learning “Fake head”
Here is a page for his other amzaing talks. And of cousrse, do check his personal webpage.
For CMU’s talk in general, check this Youtube site:
