LEARNING AND VERIFYING SAFETY CONSTRAINTS FOR PLANNERS IN A KNOWLEDGE-IMPOVERISHED SYSTEM

  • Authors:
  • Geoffrey Levine;Ugur Kuter;Antons Rebguns;Derek Green;Diana Spears

  • Affiliations:
  • Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, Illinois, USA;Institute for Advanced Computer Studies, University of Maryland, College Park, Maryland, USA;Department of Computer Science, University of Wyoming, Laramie, Wyoming, USA;Department of Computer Science, University of Wyoming, Laramie, Wyoming, USA;Department of Computer Science, University of Wyoming, Laramie, Wyoming, USA

  • Venue:
  • Computational Intelligence
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a Bayesian approach to learning flexible safety constraints and subsequently verifying whether plans satisfy these constraints. Our approach, called the Safety Constraint Learner/Checker (SCLC), infers safety constraints from a single expert demonstration trace and minimal background knowledge, and applies these constraints to the solutions proposed by multiple planning agents in an integrated and heterogeneous ensemble. The SCLC calculates how much to blame plan fragments (partial solutions) generated by the individual planning agents. This information is used when composing these fragments into a final overall plan. In particular, fragments whose safety violations exceed a threshold are rejected. This facilitates the generation of safe plans. We have integrated the SCLC within the Generalized Integrated Learning Architecture, which was designed for Defense Advanced Research Projects Agency (DARPA)’s Integrated Learning (IL) program. The main goal of the IL program is to promote the development and success of sophisticated systems that learn to solve challenging real-world problems based on a simple demonstration by a human expert and exiguous domain knowledge. We present experimental results showing the advantages of the SCLC on two multiagent problem-solving tasks that were benchmark applications in DARPA’s IL program. © 2012 Wiley Periodicals, Inc.