Need to program intelligent agents? Have I got the language for you!
Speaker: Dr Peter Robinson, ITEE
When: 2003-11-13 14:00:00
Venue: 78-420
Host: Dr Ralf Muhlberger
Abstract:Qu-Prolog is an extension of Prolog that was originally designed as
an implementation language for applications such as interactive
theorem provers.
In recent years it has been further extended with the aim of
supporting background processing and cooperative work environments
for theorem provers.
These more recent extensions have turned Qu-Prolog into a language
that is ideal for intelligent agent programming. The combination of
the multi-threading and high-level communication makes Qu-Prolog a
simple yet powerful agent programming language.
In the seminar I will describe the creation and control of threads,
the use of the Interagent Communication Model (ICM) for peer-to-peer
communication and Elvin for subscription/notification communication,
and the high-level message processing of Qu-Prolog. I will present
some simple examples that illustrate these features and hopefully
give you some ideas on how Qu-Prolog could be used in your
applications
Biography:(biography unavailable)
Type: D&KE
Contact:Dr Ralf Muhlberger, seminar host (ralf@itee.uq.edu.au)
or Guido Governatori (ITEE seminar co-ordinator)
(guido@itee.uq.edu.au)