BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Date iCal//NONSGML kigkonsult.se iCalcreator 2.20.2//
METHOD:PUBLISH
X-WR-CALNAME;VALUE=TEXT:Eventi DIAG
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:STANDARD
DTSTART:20171029T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20180325T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:calendar.12994.field_data.0@www.u-gov-ricerca.uniroma1.it
DTSTAMP:20260404T191326Z
CREATED:20180110T144625Z
DESCRIPTION:The robotic agents are programmed in two rule based languages: 
 TeleoR and QuLog.  The roots of TeleoR go back to the conditional action p
 lans of the first cognitive robot\, SRI’s Shakey.  These lead to Nilsson’s
  Teleo-Reactive robotic agent language T-R.  TeleoR is a major extension o
 f T-R. QuLog is a flexibly typed multi-threaded logic+function+action rule
  language.  Its declarative subset is used for encoding the agent’s dynami
 c beliefs and static knowledge. Its action rules are used for programming 
 the agent’s non-task threads.   The task threads are programmed using sequ
 ences of TeleoR guarded action rules clustered into parameterised procedur
 es.  The rule guards are QuLog queries to the agent’s dynamic beliefs\, op
 tionally via the static knowledge rules. The rule actions are one or more 
 robotic actions to be executed in parallel\, a single calls to a TeleoR pr
 ocedure\, which could be a recursive call\, both optionally paired with Qu
 Log belief update or communication actions.  We introduce the use of Teleo
 R and QuLog\, and the multi-threaded agent architecture\, with two robot c
 ontrol applications: A multi-tasking agent controlling two independent rob
 otic arms in multiple construction tasks.  Colleagues at UNSW Sydney have 
 ported this to a Baxter robot\, See https://www.doc.ic.ac.uk/~klc/20160127
 -LABCOT-HIx4.mp4Single task communicating agents each separately controlli
 ng a track following robot navigating through doorways that are exogenousl
 y opened and closed to a destination room.  This is done without risk of c
 ollision and with continuous recompilation of the shortest path through do
 orways believed to be open.  See https://www.doc.ic.ac.uk/~klc/pathFollowe
 rs.mp4In the second application communication is as important as perceptio
 n. Keith Clark\, Emeritus Professor Imperial College\,(joint work with Pet
 er Robinson\, University of Queensland) Bio sketchKeith Clark has first de
 grees in both Mathematics and Philosophy and a PhD in Computational Logic.
  His first CS lecturing position was at Queen Mary College\, London in 196
 9.  With a colleague he developed a new course on automata theory more sui
 ted to CS students\, based on a novel approach proposed by Dana Scott. The
  outcome was a text book\, “Programs\, Machines and Computation” published
  in 1975 In 1975 he moved to Imperial College to join Robert Kowalski in s
 etting up the Logic Programming group\, which became the Logic and AI sect
 ion of the Computing Department. He is now an Emeritus Professor at Imperi
 al\, an Honorary Professor at UQ Brisbane\, UNSW Sydney and UC London. Thi
 s year he is also a Visiting Researcher at Stanford University. His resear
 ch has covered: theoretical results in computational logic\, design and im
 plementation of new logic programming languages\, including concurrent lan
 guages\, rule languages for programming multi-tasking communicating softwa
 re and robotic agents. With students he has explored AI\, multi-agent and 
 robotic control applications of these languages. He has consulted for the 
 Japanese Fifth Generation Project\, Hewlett Packard\, IBM\, ICL\, Fujitsu 
 and two start-ups\, one in Sweden and one in California.  He is a co-found
 er of the Prolog software and consultancy company Logic Programming Associ
 ates (LPA).   He has taught computing course at: Stockholm and Uppsala Uni
 versities in Sweden\, Syracuse\, UC Santa Cruz and Stanford Universities i
 n the US\, University of Queensland\,  Makerere University in Uganda\, and
  at the British University in Egypt. Many years ago he taught mathematics 
 at a high school in Sierra Leone.    
DTSTART;TZID=Europe/Paris:20180129T120000
DTEND;TZID=Europe/Paris:20180129T120000
LAST-MODIFIED:20191008T082902Z
LOCATION:Via Ariosto 25\, aula A3
SUMMARY:Rule Control of Teleo-Reactive\, Multi-tasking\, Communicating Robo
 tic Agents - Keith Clark
URL;TYPE=URI:http://www.u-gov-ricerca.uniroma1.it/node/12994
END:VEVENT
END:VCALENDAR