OPLAN Consultant System
JAYCOR ALEXANDRIA VA
Pagination or Media Count:
CKLOG Calculus for Knowledge in LOGic is a system used for knowledge representation an problem solving in OPLAN-CONSULTANT, and expert system for Naval Operational Planning. The CKLOG System and The User Interface are both written in Common Lisp and run on the symbolics Lisp Machine. This document is divided into two parts The CKLOG System and The User Interface. The CKLOG System section explains three major concepts in CKLOG - contexts, event numbers, and classes. With each concept description is an explanation as well as the data structure used in the code to represent the concept. The classes portion is further subdivided into parts explaining the notions of dimensions, instances, and relations. The User Interface section is a manual on how to use the Lattice screen display and mouse commands to work with the data representations of CKLOGs major concepts. The first part describes the screen layout, explaining the purpose of the various panes in the window. The second and third parts describe how to manipulate context information and event number information, respectively. The fourth part describes how to manipulate class information. This portion is further subdivided into five parts. The first three parts explain the effects of clicking on each of the three mouse buttons. The fourth part explains how to use dimension defining facility. The fifth part explains how to use the class finding facility. Keywords Computer programming System engineering Data management.
- Computer Programming and Software