![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Keith Clark - Imperial College London
Wednesday 23 May 2018, 16:15-17:15
Rule Control Of Teleo-Reactive, Multi-Tasking, Communicating Robotic Agents
- 👤 Speaker: Keith Clark - Imperial College London
- 📅 Date & Time: Wednesday 23 May 2018, 16:15 - 17:15
- 📍 Venue: Lecture Theatre 1, Computer Laboratory
Abstract
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.
Series This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Chris Davis' list
- computer science
- Department of Computer Science and Technology talks and seminars
- Graduate-Seminars
- Guy Emerson's list
- Interested Talks
- Lecture Theatre 1, Computer Laboratory
- Martin's interesting talks
- School of Technology
- se393's list
- Trust & Technology Initiative - interesting events
- Wednesday Seminars - Department of Computer Science and Technology
- yk449
Note: Ex-directory lists are not shown.