Building a logical model in the machining domain for CAPP expert systems

TL;DR

This paper presents a new formal method for designing CAPP expert systems in machining, enabling flexible use of multiple knowledge types and planning strategies, illustrated through a know-how analysis example.

Contribution

It introduces a novel formal approach to CAPP expert system development, enhancing flexibility and theoretical understanding in process planning.

Findings

The formal method supports multiple knowledge types.

It allows integration of various planning strategies.

The approach is demonstrated through a practical know-how analysis.

Abstract

Recently, extensive efforts have been made on the application of expert system technique to solving the process planning task in the machining domain. This paper introduces a new formal method to design CAPP expert systems. The formal method is applied to provide a contour of the CAPP expert system building technology. Theoretical aspects of the formalism are described and illustrated by an example of know-how analysis. Flexible facilities to utilize multiple knowledge types and multiple planning strategies within one system are provided by the technology.