On Measuring Plan Quality (A Preliminary Report)

By using an example from a robot navigating domain, we argue that to specify declaratively the behavior of an agent, we need to have a formal and explicit notion of \quality plans." Tothat end, we propose the following three domain independent measures of plan quality: a planis saidto be A-minimalif none of the actions in it can be deleted and have it continue to be a plan it is said to be Bminimalif none ofits segments can be deleted and have it continue to be a plan and it is said to be C-minimal if none of its segments can be replaced by a single action and have it continue to be a plan. We show that given a plan, checking if it satis es any of these three measures, and if not transforming it into one that does, can be done in polynomial numbers of plan tests. We also show how these three notions of plan minimality can be axiomatized naturally and straightforwardly in the situation calculus and, as a result, show their relationships with STRIPS triangle tables. Finally, we sho...

• Type: Conference
• Year: 1998
• Where: KR
• Authors: Fangzhen Lin
• Keywords: Automated Reasoning, Domain Independent Measures, KR 1998, Plan Quality, Robot Navigating Domain