Reference: Egar, J. Properties Maintained by a Graph Grammar for Medical Decisions. Working Paper, KSL, March, 1993.
Abstract: I show that my current graph grammar used to generate models of medical decisions maintains several desirable properties for the influence- diagram models that it produces. Among these properties are uniqueness for a given input list of considerations, the absence of directed cycles, and the absence of qualitatively dominated decision nodes.