We describe a domain-independent framework for plan summarization and comparison that can help a human understand both the key elements of an individual plan and important differences among plans. Our approach is grounded in the use of a domain metatheory, which is an characterization of a planning domain that specifies important semantic properties of templates, planning variables, and instances. The metatheory provides a semantic framework for guiding the choice and description of concepts used in summarizing and comparing plans, thus enabling results that are grounded in semantically significant concepts rather than syntactic constructs whose meaning or import is unclear. We define three specific capabilities grounded in the metatheoretic approach: (a) summarization of an individual plan, (b) comparison of pairs of plans, and (c) analysis of a collection of plans. Use of these capabilities within a rich application domain shows their value in facilitating the understandability of c...
Karen L. Myers