HONG KONG BAPTIST UNIVERSITY
FACULTY OF SCIENCE
Department of Computer Science Seminar
Reasoning about Time, Action and Knowledge in Multi-Agent Systems
Dr. Ji Ruan
School of Computer Science and Engineering
The University of New South Wales
Date: January 6, 2011 (Thursday)
Time: 2:30 - 3:30 pm
Venue: SCT909, Cha Chi Ming Science Tower, Ho Sin Hang Campus
This talk is in the area of Multi-Agent Systems (MASs). In a MAS, multiple agents act on their own behalf or of other stakeholders, and key issues here are that they are situated, intelligent, rational and social. They are 'situated' in the sense that they need to be able to sense their environment, 'intelligent' in the sense that they need to model the world around them and make decisions in time and with incomplete information, 'rational' in the sense that they make strategic deliberations when pursuing their own interest, and 'social' in the sense that they are aware of other agents, and their level of intelligence, rationality and social skills. In order to build such agents, one needs to study how agents can represent knowledge (or information) about the world, how their actions may change the world and how a MAS evolves over time due to actions performed by agents. This talk provides a logic-based account for the specification and verification of MASs, in terms of time, action and knowledge.
Ji Ruan finished his PhD in the Agent Applications, Research, and Technology group of the Department of Computer Science at the University of Liverpool, UK. He recently joined the University of New South Wales as a postdoc fellow. His research interests include: logic, formal methods, multi-agent systems, model checking, and healthcare informatics.
********* ALL INTERESTED ARE WELCOME ***********
(For enquiry, please contact Computer Science Department at 3411 2385)
Department of Computer Science, Hong Kong Baptist University