BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Rule Control Of Teleo-Reactive\, Multi-Tasking\, Communicating Rob
 otic Agents -  Keith Clark - Imperial College London
DTSTART:20180523T151500Z
DTEND:20180523T161500Z
UID:TALK104272@talks.cam.ac.uk
CONTACT:David Greaves
DESCRIPTION:We introduce the use of TeleoR and QuLog languages for program
 ming robots as agents using a combination of rules and multithreading. \n\
 nThe roots of TeleoR go back to the conditional action plans of the first 
 cognitive robot\, SRI’s Shakey of the late 1960s. These lead to Nilsson
 ’s Teleo-Reactive robotic agent language T-R. TeleoR is a major\nextensi
 on of T-R.\n\nQuLog is a flexibly typed multi-threaded logic+function+acti
 on rule language. Its declarative subset is used for encoding the agent’
 s dynamic beliefs and static knowledge. Its action rules are used for\npro
 gramming the agent’s non-task threads.\n\nWe shall discuss two robot con
 trol applications and look at the relative importance of control\, precept
 ion and communication.\n\nThis is joint work with Peter Robinson\, Univers
 ity of Queensland.\n\n
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR