Rule Control Of Teleo-Reactive, Multi-Tasking, Communicating Robotic Agents

Add to your list(s) Download to your calendar using vCal

• Keith Clark - Imperial College London
• Wednesday 23 May 2018, 16:15-17:15
• Lecture Theatre 1, Computer Laboratory.

If you have a question about this talk, please contact David Greaves.

We introduce the use of TeleoR and QuLog languages for programming robots as agents using a combination of rules and multithreading.

The 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 extension of T-R.

QuLog is a flexibly typed multi-threaded logic+function+action rule language. Its declarative subset is used for encoding the agent’s dynamic beliefs and static knowledge. Its action rules are used for programming the agent’s non-task threads.

We shall discuss two robot control applications and look at the relative importance of control, preception and communication.

This is joint work with Peter Robinson, University of Queensland.

This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Chris Davis' list
• Department of Computer Science and Technology talks and seminars
• Graduate-Seminars
• Guy Emerson's list
• Interested Talks
• Lecture Theatre 1, Computer Laboratory
• School of Technology
• Trust & Technology Initiative - interesting events
• Wednesday Seminars - Department of Computer Science and Technology
• bld31
• computer science
• se393's list

Note that ex-directory lists are not shown.