Efficient Resource-Bounded Reasoning in AT-RALPH

Shlomo Zilberstein and Stuart J. Russell. Efficient Resource-Bounded Reasoning in AT-RALPH. Proceedings of the First International Conference on AI Planning Systems (AIPS), 260-266, College Park, Maryland, 1992.

Abstract

Anytime algorithms have attracted growing attention in recent years as a key mechanism for implementing models of bounded rationality. The main problem, however, as with planning systems in general, is the integration of the modules and their interface with the other components of the system. We have implemented a prototype of AT-RALPH (Anytime Rational Agent with Limited Performance Hardware) in which an off-line compilation process together with a run-time monitoring component guarantee the optimal allocation of time to the anytime algorithms. The crucial meta-level knowledge is kept in the anytime library in the form of conditional performance profiles. These are extensions of an earlier notion of performance description -- they characterize the performance of each elementary anytime algorithm as a function of run-time and input quality. This information, used by the compiler to produce the performance profile of the complete system, is also used by the run-time system to measure the value of computation and monitor the execution of the top-level procedure in the context of a particular domain. The result is an efficient and cheap meta-level control for real-time decision making that separates the performance components from the schedule optimization mechanism and automates the second task.

Bibtex entry:

@inproceedings{ZRaips92,
  author	= {Shlomo Zilberstein and Stuart J. Russell},
  title		= {Efficient Resource-Bounded Reasoning in AT-RALPH},
  booktitle     = {Proceedings of the First International Conference on AI
                   Planning Systems},
  year		= {1992},
  pages		= {260-266},
  address       = {College Park, Maryland},
  url		= {http://rbr.cs.umass.edu/shlomo/papers/ZRaips92.html}
}

shlomo@cs.umass.edu
UMass Amherst