ITEE seminar: Dr Peter Robinson, 02.00PM, Thu 13 Nov 2003

Need to program intelligent agents? Have I got the language for you!

Speaker: Dr Peter Robinson, ITEE

When: 02.00PM, Thursday 13 Nov 2003

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)

ITEE seminar web page: http://www.itee.uq.edu.au/~seminar

[All seminars]