Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli

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.

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


Publication Data

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna