Robotic agent programming in TeleoR

Clark, Keith L and Robinson, Peter J (2015). Robotic agent programming in TeleoR. In: 2015 IEEE International Conference on Robotics and Automation, ICRA 2015. 2015 IEEE International Conference on Robotics and Automation, ICRA 2015, Washington State Convention Center Seattle, Washington, United States, (5040-5047). 26-30 May 2015. doi:10.1109/ICRA.2015.7139900

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Clark, Keith L
Robinson, Peter J
Title of paper Robotic agent programming in TeleoR
Conference name 2015 IEEE International Conference on Robotics and Automation, ICRA 2015
Conference location Washington State Convention Center Seattle, Washington, United States
Conference dates 26-30 May 2015
Convener IEEE
Proceedings title 2015 IEEE International Conference on Robotics and Automation, ICRA 2015   Check publisher's open access policy
Journal name Proceedings - IEEE International Conference on Robotics and Automation   Check publisher's open access policy
Series Proceedings - IEEE International Conference on Robotics and Automation
Place of Publication Piscataway NJ United States
Publisher Institute of Electrical and Electronics Engineers
Publication Year 2015
Sub-type Fully published paper
DOI 10.1109/ICRA.2015.7139900
Open Access Status Not Open Access
ISSN 1050-4729
Volume 2015-June
Issue June
Start page 5040
End page 5047
Total pages 8
Language eng
Abstract/Summary We present an extension, TeleoR, of Nilsson’s Teleo-Reactive (TR) rule based robotic agent programming language[22]. For both languages programs essentially comprise sequences of Guard ∼>Action rules grouped into parameterised procedures. The Guard is a deductive query to a set of rapidly changing percept facts generated from the most recent sensor values. For TR, the Action is either a tuple of primitive robotic actions, to be executed in parallel, or a single call to a program procedure, which can be a recursive call, or a BeliefStoreupdate. TeleoR has extra forms of action. The procedures encode goal (teleo) directed reactive task and sub-task behaviours of robotic agents. TR/TeleoR programs are robust and opportunity grabbing, and so are well suited to human/robot or robot/robot co-operative tasks requiring flexible behaviour. TeleoR, extends TR in having: types and higher order features; extra forms of action rules that temporarily inhibit other rules in the same procedure; repeatable sequences of time capped actions; wait/repeat re-start of failed actions; belief store update and message send actions linked with any rule; a flexibly typed higher order LP/FP programming language for BeliefStore inference; support for the high level programming of multi-tasking agents that interleave the use of subsets of a set of independent robotic resources. All the extensions were driven by application needs. The use of QuLog enables us to guarantee by compiler analysis that all guarded rule actions will be fully instantiated and correctly typed when sent to a robot, perhaps via a ROS interface. The focus of this paper is on the extensions for single task communicating robotic agents. Our goal was to extend TR without losing the elegance and simplicity of Nilsson’s language. We also wanted to be able to give the extended language a formally defined operational semantics, building upon one we had given for TR. The extensions, their semantics, and their implementation were developed in parallel. A methodology we can recommend.
Subjects 1712 Software
2207 Control and Systems Engineering
1702 Artificial Intelligence
2208 Electrical and Electronic Engineering
Q-Index Code E1
Q-Index Status Confirmed Code
Institutional Status UQ

Document type: Conference Paper
Sub-type: Fully published paper
Collections: Official 2016 Collection
School of Information Technology and Electrical Engineering Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Scopus Citation Count Cited 6 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 18 Aug 2015, 12:22:21 EST by System User on behalf of Scholarly Communication and Digitisation Service