Robot Control Systems as Contextual Logic Programs

Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli

Logic Programming: Formal Methods and Practical Applications, Ch. 12, pages 343-379
Studies in Computer Science and Artificial Intelligence 11,  1995
Elsevier B.S.
Christoph Beierle, Lutz Plümer (eds.)

The aim of this work is to discuss how Logic Programming (LP) can meet the increasing requirements of robot applications, with respect to programming models, techniques, and tools. A new approach to the integration between object-oriented, knowledge-based and logic programming is introduced, by exploiting an extension to LP called Contextual Logic Programming, which allows users to define, both statically and dynamically, extendible software components, and to promote incremental design and development of (declarative) software systems. A support for task-level robot programming (called CARA, Contextual Agent Robot Architecture) is introduced as an extension/specialization of a general-purpose Contextual-LP environment. By providing high-level abstractions such as backtrackable objects and logic theories as communication devices, CARA seems to effectively help reducing the gap between low-level and high-level software layers, and coordinating the interaction of different, even heterogeneous, agents. In order to show CARA performance in real applications, a case-study is discussed where a robot has to perform a set of tasks of increasing complexity, from pure reactive behaviours to tasks involving high-level forms of reasoning.

Author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
Booktitle = {Logic Programming: Formal Methods and Practical Applications},
Chapter = 12,
Editor = {Beierle, Christoph and Pl{\"u}mer, Lutz},
Isbn = {978-0-444-82092-1},
Isbn10 = {0-444-82092-2},
Pages = {343--379},
Publisher = {Elsevier B.S.},
ScopusId = {2-s2.0-85023302187},
Series = {SCSAI},
Title = {Robot Control Systems as Contextual Logic Programs},
Volume = 11,
Year = 1995

Journals & Series

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY