Cognitive Robotics

Papers from the 1998 Fall Symposium

Giuseppe De Giacomo, Program Cochair

Technical Report FS-98-02. Published by The AAAI Press, Menlo Park, California

This technical report is also available in book and CD format.

Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!

Logic-based Subsumption Architecture / 1
Eyal Amir, Pedrito Maynard-Reid II

Formalizing Sensing Actions a Transition Function Based Approach / 13
Chitta Baral, Tran Cao Son

Fault Tolerant Coordination of Robot Teams / 21
Jeffrey Coble and Diane J. Cook

An Incremental Interpreter for High-Level Programs with Sensing / 28
Giuseppe De Giacomo, Hector Levesque

Reasoning on High-Level Robot Behaviors by Model Checking and Local Validity Tests / 35
Giuseppe De Giacomo, Riccardo Rosati

Interval-valued Epistemic (IVE) Fluents / 44
John Funge

High-Level Planning and Control with Incomplete Information using POMDP’s / 52
Hector Geffner, Blai Bonet

Robots in a Distributed Agent System / 61
Didier Guzzoni, Kurt Konolige, Karen Myers, Adam Cheyer, Luc Julia

Failure, Monitoring and Recovery in the Agent Language 3APL / 68
Koen Hindriks, Frank de Boer, Wiebe van der Hoek, John-Jules Meyer

Plan Management Issues for Cognitive Robotics Project Overview / 76
John F. Horty, Martha E. Pollack

A Hybrid BDI Architecture for Modeling Embedded Rational Agents / 84
Deepak Kumar, Lisa Meeden

On Sensing and Off-Line Interpreting in GOLOG / 91
Gerhard Lakemeyer