PRIMORIS      Contacts      FAQs      INSTICC Portal
 

Keynote Lectures

Rule Control of Teleo-Reactive, Multi-tasking, Communicating Robotic Agents
Keith Clark, Imperial College London, United Kingdom

Robotics is spearheading Smart Production - but we need to deliver, too
Christian Schlette, University of Southern Denmark, Denmark

 

Rule Control of Teleo-Reactive, Multi-tasking, Communicating Robotic Agents

Keith Clark
Imperial College London
United Kingdom
 

Brief Bio

Keith Clark has first degrees in both Mathematics and Philosophy and a PhD in Computational Logic. He started teaching computer science at Queen Mary College, London in 1969. With a colleague at QMC he developed a new course on automata theory more suited to CS students. This was based on novel approach to AT proposed by Rabin and Scott. The course notes became a book, published in 1975, that also included topics such as program verification, program structure normal forms, and the semantics of normal form programs as sets of recursively defined functions.
In 1975 he moved to Imperial College to join Bob Kowalski in setting up the IC Logic Programming group which became the Logic and AI section of the Computing Department. He is now an Emeritus Professor in Computational Logic at Imperial, an Honorary Professor at UQ Brisbane and UNSW Sydney. He is a Visiting Professor at Stanford University and several other universities.

His early research at Imperial was primarily in the theory and practice of logic programming. His most cited paper is from this period: ”Negation as Failure" (1978), with over 2700 citations.

Inspired by Hoare’s CSP, with a student Steve Gregory in 1980 he introduced the concepts of committed choice non-determinism and stream communicating and-parallelism into logic programming for declarative systems and concurrent process programming. This was the computational paradigm later adopted by the ill fated 10 year Japanese Fifth Generation Research Project. The project did not succeed in developing parallel AI computers because the committed choice non-determinism, and other restrictions, made it ill suited for the transparent programming of AI applications involving search or reasoning.

Post 1990, his research emphasis has been on the design, implementation and application of rule based programming languages with a strong declarative component. The languages are designed to facilitate the development of multi-agent and cognitive robotic applications. They are tested and revised by developing such applications in collaboration with agent and robotic groups at Imperial, UQ and UNSW.

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. The former was developing specialised processors and a declarative language for their programming for aircraft control. The latter was investigation agent implementation of flexible and dynamic re-scheduling of manufacturing processes.


Abstract
(joint work with Peter Robinson, University of Queensland)

We describe a multi-threaded robotic agent architecture in which multiple compatible tasks, sharing one or more external robotic resources, can be executed concurrently without: starvation, interference or deadlock.  Each task progressively achieves sub-goals of the task goal. There is parallel use of disjoint sets of resources whenever possible.

The agents are programmed in two rule based languages: TeleoR and QuLog. The roots of TeleoR go back to the conditional action plans 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 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 agent threads and inter-agent communication. The guards of TeleoR robotic action rules are QuLog queries to the agent’s dynamic beliefs using its knowledge rules.

Because of the structure and distinctive operation semantics of a TeleoR program, the agent will respond to help or hindrance without the need to re-plan a task behaviour. If helped it skips the actions it would normally do to achieve the task sub-goal achieved by the help. If hindered, it attempts to re-achieve the last sub-goal it had reached, or to achieve the task goal by another sub-goal route. This flexible behaviour makes TeleoR well suited to human/robot co-operative tasks.

We introduce the use of TeleoR and QuLog, and the multi-threaded agent architecture, with two robot control applications:

  • A multi-tasking agent controlling two independent robotic 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.mp4
  • Single task communicating agents each separately controlling a track following robot navigating through doorways that are exogenously opened and closed to a destination room. This is done without risk of collision and with continuous recompilation of the shortest path through doorways believed to be open. See https://www.doc.ic.ac.uk/~klc/pathFollowers.mp4
  • In the second application communication is as important as perception. The agents re-compute 
  • Their doorway route immediately they see or are informed by another agent that a doorway 
  • They intended to use is closed. They keep one another informed re their room location and
  • Path following intention, information used for avoidance behaviour. 



 

 

Robotics is spearheading Smart Production - but we need to deliver, too

Christian Schlette
University of Southern Denmark
Denmark
 

Brief Bio

Christian Schlette is Associate Professor at the Mærsk Mc-Kinney Møller Institute (MMMI) at the University of Southern Denmark (SDU). He is responsible for the design and implementation of robotic applications and systems in various national and international research projects, e.g. multi-robot systems, highly redundant manipulators, assembly cells and systems for field robotics, with partners from academia and industry.

Christian Schlette received his Dipl.-Ing. in Electrical Engineering from the University of Dortmund, Germany in 2002 and joined the Robotics Research Institute (IRF) in Dortmund as research associate to develop control approaches for industrial multi-robot systems. In 2005/2006, he worked for EFR-Systems GmbH, Dortmund as research associate for commercially oriented research in 3D simulation. In 2006, he joined the foundation of Institute for Man-Machine Interaction (MMI) at RWTH Aachen University, Germany as principal investigator and received his doctorate summa cum laude (Dr.-Ing.) from RWTH Aachen University in 2012. For his thesis, he was awarded with the “Borchers medal”. In 2017, he joined SDU Robotics as Associate Professor at the Mærsk Mc-Kinney Møller Institute (MMMI) at the University of Southern Denmark (SDU).


Abstract
It is quite common for the robotics community to work across disciplines, be it by pulling in various engineering competences or by linking to social sciences, including humanities, economy etc.: We just got used to combine actuators and sensors, hardware and software, real and virtual worlds in complex systems, and beyond engineering, we worked with other sciences to learn about their look on robotics as well, when the complex systems matured and visibly started to affect markets and people.

Today, the various aspects of Smart Production (or also Smart Energy, Smart Home, Smart X) pretty much ask for activating a similar, vertical integration of disciplines from engineering and beyond in order to analyze and develop smart, complex systems which combine actuators and sensors, hardware and software, real and virtual worlds. In robotics, we are thus actually sitting right in the middle of ongoing and upcoming developments in Smart X, and we have the advantage of being accustomed to the necessary mindset of connecting to a variety of competences.

High expectations were built up regarding robotics in this comfortable spearhead position. Of course, research is exactly that - research, operating at the fringes of conventional solutions and mostly dealing with problematic and open questions. Still, we should now also critically look after fulfilling some of these expectations, be it by transferring our examples from research to actual applications or by reassessing our tools and processes if they are sufficiently fit for supporting such transfers.

In this regard, at SDU Robotics, we aim for addressing this transfer gap by building up close cooperations with external partners and by linking our tools and processes to existing formats and standards. In my talk, I will show examples of this approach, our unique situation in Odense, Denmark, and how we conceive simulation and digital twins to pave the way to deliver tangible and robust results from our research.



footer