00975361

j

00975361 Powell, Michael W. Haynes, Teresa W. Lawson, Linda M. CARDD (Computer-Aided Representative-graph Determiner and Drawer). Congr. Numerantium 77, 163-168 (1990). 1990 Utilitas Mathematica Publishing Inc., Winnipeg EN CARDD expert system graph drawer Summary: CARDD is an expert system and graph drawer designed to determine and display a graph that represents a family of graphs defined by a set of invariants. CARDD uses forward chaining inference, controlled by state transformations, to attempt to construct a graph satisfying user specified invariants and creates a display that can be interactively modified. We present a preliminary report on the on-going development of CARDD and a prototype of CARDD with support for eight graphical invariants. These include number of nodes, number of edges, maximum clique size, node independence number, chromatic number, maximum degree, minimum degree, and domination number.