The Use of CK-LOG Formalism for Knowledge Representation and Problem Solving in OPPLAN-CONSULTANT: An Expert System for Naval Operational Planning.
Interim rept. 1982-1984,
RUTGERS - THE STATE UNIV NEW BRUNSWICK NJ LAB FOR COMPUTER SCIENCE RESEARCH
Pagination or Media Count:
This report introduces the principal concepts in the organization and operation of the logic-based knowledge processing system, called CK-LOG A Calculus for Knowledge in LOGic. CK-LOG uses the frame-based system MDS the Meta Description System for knowledge representation and for modelling world states. It uses an inference engine based on natural Deduction for stating and solving problems. The operation of CK-LOG is discussed here in the context fo OPPLAN-CONSULTANT, an expert consultation system for Naval Operational Planning that is now being designed using the CK-LOG formalism. CK-LOG itself is currently under implementation. This report establishes the descriptive adequacy of CK-LOG to state and represent military planning knowledge needed for operational planning, as well as its problem solving adequacy to use this knowledge automatically to help military commanders design operational plans to achieve given military objectives. The organization of the planning knowledge and the planning processes in OPPLAN-CONSULTANT are directly applicable to the Battle Management Program of the Strategic Computing Initiative. As a knowledge processing system. CK-LOG has several capabilities which are new to the technology of knowledge representation systems CK-LOG has special facilities to represent and reason about actions and their time dependencies. The theorem-proving system of CK-LOG uses a variant of the calculus of sequents first proposed by Kanger which itself is a variant of Gentzens system. The various features of CK-LOG are described in this report.
- Computer Programming and Software
- Naval Surface Warfare