University of Cambridge > > Computer Laboratory Wednesday Seminars > Rule Control Of Teleo-Reactive, Multi-Tasking, Communicating Robotic Agents

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

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

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 Computer Laboratory Wednesday Seminars series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2022, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity