rac

Automatic Behavior Composition Synthesis

The behavior composition problem amounts to realizing a virtual desired module (e.g., a surveillance agent system) by suitably coordinating (and re-purposing) the execution of a set of available modules (e.g., a video camera, vacuum cleaner, a robot, …

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents

IndiGolog isa programming language for autonomous agents that sense their environment and do planning as they operate. Instead of classical planning, it supports high-level program execution. The programmer provides a high-level non-deterministic …

On the Limits of Planning over Belief States Under Strict Uncertainty

A recent trend in planning with incomplete information is to model the actions of a planning problem as nondeterministic transitions over the belief states of a planner, and to search for a plan that terminates in a desired goal state no matter how …