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, pp. 343-379, 1995.
Christoph Beierle, Lutz Plümer (a cura di), Elsevier B.S.
@incollection{lprobot-scsai95,
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}

    

Pubblicazione

— autori/autrici

Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli

— a cura di

Christoph Beierle, Lutz Plümer

— stato

pubblicato

— tipo

capitolo di libro

Sede di pubblicazione

— volume

Logic Programming: Formal Methods and Practical Applications

— collana

Studies in Computer Science and Artificial Intelligence 11

— data di pubblicazione

1995

— capitolo n.

12

— pagine

343-379

— collana

Studies in Computer Science and Artificial Intelligence 11

— data di pubblicazione

1995

URL & ID

— Scopus

2-s2.0-85023302187

— print ISBN

978-0-444-82092-1

— ISBN–10

0-444-82092-2

BibTeX

— BibTeX ID
lprobot-scsai95
— BibTeX category
incollection

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