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
Nonprehensile Manipulation of Deformable Objects: Achievements and Perspectives from the RoDyMan Project
Bruno Siciliano, University of Naples Federico II, Italy
Rule Control of Teleo-Reactive, Multi-tasking, Communicating Robotic Agents
Keith Clark
Imperial College London
United Kingdom
www.doc.ic.ac.uk/~klc
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
http://www.sdu.dk/ansat/chsch
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.
Nonprehensile Manipulation of Deformable Objects: Achievements and Perspectives from the RoDyMan Project
Bruno Siciliano
University of Naples Federico II
Italy
http://wpage.unina.it/sicilian
Brief Bio
Professor Bruno Siciliano is Director of the Interdepartmental Center for Advances in RObotic Surgery (ICAROS), as well as Coordinator of the Laboratory of Robotics Projects for Industry, Services and Mechatronics (PRISMA Lab), at University of Naples Federico II. Fellow of the scientific societies IEEE, ASME, IFAC, he received numerous international prizes and awards, and he was President of the IEEE Robotics and Automation Society from 2008 to 2009. Since 2012 he is on the Board of Directors of the European Robotics Association. He has delivered more than 150 keynotes and has published more than 300 papers and 7 books. His book “Robotics” is among the most adopted academic texts worldwide, while his edited volume “Springer Handbook of Robotics” received the highest recognition for scientific publishing: 2008 PROSE Award for Excellence in Physical Sciences & Mathematics. His research team got 17 projects funded by the European Union for a total grant of 10 M€ in the last ten years, including an Advanced Grant from the European Research Council.
Abstract
The state of the art of robotic manipulation is still rather far from the human dexterity in the execution of complex motions such as, for example, in dynamic manipulation tasks. Dynamic manipulation is considered as the most complex category of manipulation requiring ad-hoc controllers and specialized hardware. In case of non-prehensile manipulation or non-rigid objects, the task of dynamic manipulation becomes even more challenging. This reduces the opportunities for wide adoption of robots within human co-habited environments.
This talk presents the results achieved within the RoDyMan project related to planning and control strategies for robotic non-prehensile manipulation. The project aims at advancing the state of the art of non-prehensile dynamic manipulation of rigid and deformable objects to further enhance the possibility of employing robots in anthropic environments. The final demonstrator of the RoDyMan project will be an autonomous pizza maker. The lessons learned so far are highlighted to pave the way towards future research directions and critical discussion.