Reactivity in a logic-based robot programming framework. (Extended version)

MaRDI QIDQ4934650zbMATH OpenFDO

Authors Yves Lespérance, Kenneth Tam, Michael Jenkin

Publication date 11 March 2001

zbMATH Keywords

ConGologhigh level controller for robotrobot/agent programming languagerobot/agent reactivity

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40) Discrete event control/observation systems (93C65) Automated systems (robots, etc.) in control theory (93C85)

Review text

This paper deals with high-level controllers for a robot that must often react to events in its environment by varying its plans. The authors discuss how the variations may be done. A short description of a new logic-based robot programming language ConGolog is presented. The authors try to show that ConGolog is an effective tool for expressing high-level programs for robot and autonomous agents. An example of such effectiveness for a mail delivery application is given. For the entire collection see [Zbl 0919.00022].

Recommendations

• scientific article; zbMATH DE number 773989
• Formal approach to the design of robot programming frameworks: the behavioural control case
• scientific article; zbMATH DE number 1947497
• Reasoning robots. The art and science of programming robotic agents

Cited in

(14)

• Message-based evaluation in scheme for high-level robot control
• Concurrent reactive plans. Anticipating and forestalling execution failures.
• Reasoning robots. The art and science of programming robotic agents
• scientific article; zbMATH DE number 1629871 (Why is no real title available?)
• Local conditional high-level robot programs
• scientific article; zbMATH DE number 4195159 (Why is no real title available?)
• GOLOG: A logic programming language for dynamic domains
• scientific article; zbMATH DE number 2063021 (Why is no real title available?)
• Planning under uncertainty as G<scp>OLOG</scp>programs
• scientific article; zbMATH DE number 2080347 (Why is no real title available?)
• scientific article; zbMATH DE number 773989 (Why is no real title available?)
• REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics
• Advances in Artificial Intelligence – SBIA 2004
• Unified behavior framework for reactive robot control

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: Reactivity in a logic-based robot programming framework. (Extended version)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934650)