close

The Department of Computer Science at the University of Cyprus cordially invites you to the Colloquium entitled:

Programming Robotic Agents: A Multi-tasking Teleo-Reactive Approach

 

Speaker: Prof. Keith L. Clark
Affiliation: University of London, UK and University of Queensland, Australia
Category: Colloquium
Location: Room 148, Faculty of Pure and Applied Sciences (FST-01), 1 University Avenue, 2109 Nicosia, Cyprus (directions)
Date: Monday, November 2, 2015
Time: 12:00-13:00 EET
Host: Antonis Kakas (antonis-AT-cs.ucy.ac.cy)
URL: https://www.cs.ucy.ac.cy/colloquium/index.php#cs.ucy.2015.clark

Abstract:
We present a multi-threaded/multi-tasking message communicating robotic agent architecture in which the concurrently executing tasks are programmed in TeleoR, a major extension of Nilsson’s Teleo-Reactive Procedures (TR) guard ~> action rule language for robotic agents (see http://teleoreactiveprograms.net) The rule guards query rapidly changing percept facts, and more slowly changing told and remembered facts in the agent’s deductive BeliefStore, using fixed facts, relation and function rules which are the agent’s declarative knowledge. The TR procedures are its behavioural knowledge. TR operational semantics makes the language well suited to robot/robot or human/robot co-operative tasks. TeleoR extends TR in: being typed and higher order, having a typed higher order LP/FP language, QuLog, for encoding declarative knowledge, having extra forms of rules and actions for concisely expressing improved behavioural knowledge, having task atomic procedures to encoding in a high level way the sharing of multiple robotic resources by an agent engaged in several concurrently executed tasks. Its multi-tasking use is illustrated in the simulation video at http://youtu.be/f81U0iHNzB0 in which one agent alternates the use of two robotic arms to concurrently build four towers of blocks with help or hindrance. The declarative and behavioural knowledge of that agent will be introduced. TeleoR is being used at UNSW to control a Baxter robot working with a person concurrently engaged in several assembly tasks. The video https://goo.gl/gdJjxX shows essentially the same TeleoR program of the simulation being used to control the Baxter via ROS.

Short Bio:
Keith Leonard Clark is a Honorary Visiting Professor at Royal Holloway, University of London, England and a Visiting Professor at University of Queensland, Australia. Clark's key contributions have been in the field of logic programming. His 1978 paper on negation as failure was arguably the first formalisation of a non-monotonic logic. His 1981 paper on a relational language for parallel programming introduced concurrent logic programming. In 1980, he co-founded an Imperial College spin-off company, Logic Programming Associates, to develop and market Prolog systems for micro-computers (micro-Prolog) and to provide consultancy on expert systems and rule based applications. More recently, Clark has been working on the April and Go! programming languages and their application to agent programming. More Info: http://www.doc.ic.ac.uk/~klc/

Note:
Additional talk by Prof. Keith L. Clark: "Engineering Agent Applications in QuLog", Wednesday, November 4th between 14:00-15:00, Room #148, New Campus, University of Cyprus. Talk abstract: https://www.cs.ucy.ac.cy/colloquium/abstracts/2015-Clark-QulogTutorial.pdf

Video Online:
 Recorded Video available through vimeo

  Web: https://www.cs.ucy.ac.cy/colloquium/
  Mailing List: https://listserv.cs.ucy.ac.cy/mailman/listinfo/cs-colloquium
  RSS: https://www.cs.ucy.ac.cy/colloquium/rss.xml
  Calendar: https://www.cs.ucy.ac.cy/colloquium/schedule/cs.ucy.2015.clark.ics

Sponsor: The CS Colloquium Series is supported by a generous donation from Microsoft