| Title: | A dynamic system for distributed reasoning |
| Date: |
April 16, 2008 (Wednesday)
|
| Time: |
2:30 p.m. - 3:30 p.m.
|
| Venue: |
Room 121, 1/F, Ho Sin-hang Engineering Building,
The Chinese University of Hong Kong, Shatin, N.T. |
| Speaker: |
Professor Keith L. Clark
Professor of Computational Logic Department of Computing Imperial College London United Kingdom |
We describe a multi-agent, multi-threaded architecture for a distributed inference system for a dynamic group of agents. The system can opportunistically make use of new agents that join the group, whilst a proof is in progress. It can also recover if an agent leaves. Final proofs only make use of the knowledge bases of agents that are in the group when the inference is concluded, and are sound with respect to their combined knowledge. The group can be simultaneously engaged in multiple independent proofs. We show how the same architecture can support both distributed definite clause logic programming, and distributed abductive reasoning using negation- as-failure. Both the architecture and the two proposed inference system applications have been implemented using a multi-threaded distributed Prolog system, Qu-Prolog.
BIOGRAPHY:
Keith Clark has been Professor of Computational Logic at Imperial College London since 1987. His main current research is symbolic programming languages, particularly logic based languages, and their use for rational agent applications and cognitive robotics.
Enquiries: Miss Temmy So at tel 2609 8444
For more information, please refer to http://www.cse.cuhk.edu.hk/seminar