| Popis: |
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 Gentzen's system). The various features of CK-LOG are described in this report. |
