The conceptual programming environment, CP: reasoning representation using graph structures and operations

The conceptual programming environment, CP, developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for use with both dynamic, open-world, problem solving (weak) applications and static, closed-world, scientific analysis (strong) applications. CP is based upon a graphical methodology of visualization derived from conceptual graph theory. The authors present the formal basis for the CP system, a discussion of the basic graph operations in the system, and display the visual elements of the environment. The CP environment is a `working´ representation system, and makes a good foundation for several applications