Making Shared Plans More Concise and Easier to Reason About

  • Authors:
  • Luke Hunsberger

  • Affiliations:
  • -

  • Venue:
  • ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

SharedPlans is a general theory of collaborative planning that accommodates multi-level action decomposition hierarchies and explicates the process of expanding partial plans into full plans [5, 6] This paper presents a reformulation of SharedPlans that simplifies the Shared-Plans definitions without sacrificing their expressiveness, and enables the specification of conditions under which a set of important theorems about agents and their SharedPlans may be proven to hold. A representative set of such theorems is presented.