Resource-Bounded Reasoning for Complex Embedded Systems

Mark S. Boddy

My current interest in resource-bounded reasoning primarily concerns applications to the control of complex embedded systems. Examples of such systems include manufacturing control systems, autonomous spacecraft, operations planning for an airline, or integrated avionics for commercial airliners. Most of the work to date on "applications" of resource-bounded reasoning has addressed abstract functions (e.g., heuristic search, probabilistic inference, vision processing). In some cases, these capabilities are then applied to stand-alone applications such as path planning, diagnosis, or user interface configuration. I do not mean by this description to denigrate either the generation of stand-alone applications or work on understanding how to implement specific forms of reasoning under resource bounds. These activities are essential.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.