A graph representation for management of logic models

Abstract This paper addresses the problem of managing logic models, which are characterized as formal representations, in logic, of particular systems of interest. The paper presents a new, graph-based representation scheme for logic models. The scheme produces logic graphs and these graphs are useful for management of logic models. Logic graphs not only provide the full deductive capabilities of logic, but they facilitate the gaining of insight into the structure of the logic model. As such, logic graphs are an attractive alternative to other automatic theorem-proving techniques in logic. The discussion is illustrated throughout with an example problem in policy analysis and planning that has appeared in the management literature.