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: In this talk, I will present a formal framework for analysing the flow of information and knowledge through social networks. More specifically, we propose a multi-agent epistemic logic in which we can represent and reason about communicative actions based on social networks and the resulting knowledge and ignorance of agents. This logic is applied to formally analyse the “Revolt or Stay-at-home” problem where social networks play an important role in agents’ knowledge acquisition and decision-making. We evaluate our work by proving some mathematical properties of our new logic, including the fact that it generalises the existing Logic of Public Announcement. (This is a joint work with Prof. Michael Thielscher)

Reference Link.

Photo Update:

More photos:
http://www.flickr.com/photos/jiruan/sets/72157627753995408/

Related posts:

1. Conference paper: A Logic for Knowledge Flow in Social Networks Title: A Logic for Knowledge Flow in Social Networks Authors: Ji Ruan...

Related posts brought to you by Yet Another Related Posts Plugin.

Authors: Ji Ruan and Michael Thielscher
School of Computer Science and Engineering, The University of New South Wales, Australia

Abstract: In this paper, we develop a formal framework for analysing the flow of information and knowledge through social networks. More specifically, we propose a multi-agent epistemic logic in which we can represent and reason about communicative actions based on social networks and the resulting knowledge and ignorance of agents. This logic is applied to formally analyse the “Revolt or Stay-at-home” problem where social networks play an important role in agents’ knowledge acquisition and decision-making. We evaluate our work by proving some mathematical properties of our new logic, including the fact that it generalises the existing Logic of Public Announcement.

Accepted and presented at the 24th Australasian Joint Conference on Artificial Intelligence (AI2011), Perth Australia, December 2011.

Download:

• Springer
• Camera Ready Version.

Bibtex:

@inproceedings{DBLP:conf/ausai/RuanT11,
author = {Ji Ruan and
Michael Thielscher},
title = {A Logic for Knowledge Flow in Social Networks},
booktitle = {Australasian Conference on Artificial Intelligence},
year = {2011},
pages = {511-520},
ee = {http://dx.doi.org/10.1007/978-3-642-25832-9_52},
crossref = {DBLP:conf/ausai/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ausai/2011,
editor = {Dianhui Wang and
Mark Reynolds},
title = {AI 2011: Advances in Artificial Intelligence – 24th Australasian
Joint Conference, Perth, Australia, December 5-8, 2011.
Proceedings},
booktitle = {Australasian Conference on Artificial Intelligence},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7106},
year = {2011},
isbn = {978-3-642-25831-2},
ee = {http://dx.doi.org/10.1007/978-3-642-25832-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}

Related posts:

1. Conference paper: The Epistemic Logic Behind the Game Description Language Title: The Epistemic Logic Behind the Game Description Language Authors:...
2. Journal paper: Connecting Dynamic Epistemic and Temporal Epistemic Logics Title: Connecting Dynamic Epistemic and Temporal Epistemic Logics Authors: H.P. van Ditmarsch,...

Related posts brought to you by Yet Another Related Posts Plugin.

Human beings, as social animals, are naturally attracted to these services. From my personal experiences, I have always some interesting ideas (at least I thought), but they are usually not great enough to be written into blogs; also due to laziness, I seldom write them on a paper. Even interesting information gets easily lost, let alone those that are not very interesting, such as what I eat in lunch, whether I do sports today, when I go to sleep, etc. But it turns out that these kinds of information might be very valuable from health care perspective, especially if you have certain kind of illness. The doctors and nurses won’t stick to you to check these information so regularly, because it is very time consuming, and they typically have to take care of many people at the same time. In my opinion, the micro-blogging services provide the essential information recording service so that you could use it to improve your health and tackling your illnesses. For example, you could routinely record your health related micro-information so it can help the doctors to find out what are the causes, combined with the traditional medical records & lab tests; and they might even offer you suggestions on what you could do to improve your health based on your information. If the local-community you are in starts to do micro-blogging as well, then you could get social support as well. There are indeed many issues there, such as privacy protection (you might not want your today’s blood pressure known to the public), that can inhibit the acceptance of this new technology, but this just mean that there are still a lot to be done.

I just found some interesting slides by Phil Baumann, who points out the potential applications of Twitter in Health Care. I will write more on this in the coming weeks.

No related posts.

Related posts brought to you by Yet Another Related Posts Plugin.

The ILLC has finally made an attempt going from web1.0 to web2.0, which means more dynamics and interactions!

However, I noticed that there is an important element missing on loriweb’s front page. It is a link to the RSS feed. What is RSS?

RSS (Rich Site Summary) is a format for delivering regularly changing web content. Many news-related sites, weblogs and other online publishers syndicate their content as an RSS Feed to whoever wants it.

More details of RSS: http://en.wikipedia.org/wiki/RSS_(file_format)

Why RSS is important?

RSS solves a problem for people who regularly use the web. It allows you to easily stay informed by retrieving the latest content from the sites you are interested in. You save time by not needing to visit each site individually. You ensure your privacy, by not needing to join each site’s email newsletter. The number of sites offering RSS feeds is growing rapidly and includes big names like Yahoo News.

Actually, since the loriweb is using the popular wordpress software (good choice!), it has an RSS feed by default: http://loriweb.org/?feed=rss2. So I subscribed to it using my Google RSS Reader. But then I found this problem. The loriweb RSS feed only outputs an abstract of the content. For example, here is a snapshot of the loriweb in my Google Reader:

You have to click on the article in order to read it fully.

And this is what you see from the blog of Terence Tao, a well-regarded mathematician:

In this case I can read all his articles without leaving the my reader. The difference is small if you only subscribe to a few blogs, but very noticeable when you
subscribe to dozens of blogs, which may have 1000+ new articles every week.

So my suggestions to the webmaster of loriweb.org are as follows:

• add a link to the RSS feed in the front page
• output the full text in the RSS feed.
  It is very easy to set in wordpress: login as admin, and find the Settings section, and choose the Reading subsection, then you can see the following:  just make sure Full text is chosen (this view is based on version 2.7.1)
  

Cheers, Ji

No related posts.

Related posts brought to you by Yet Another Related Posts Plugin.