SYSTEM FOR CHECKING PATTERN IN INFERENCE PROCESS FOR KNOWLEDGE PROCESSING SYSTEM

摘要

PURPOSE:To execute an efficient knowledge expression by adopting a list structure (pattern) for a knowledge expression configuration, checking all elements of the structure, simultaneously, describing a variable length element in a pattern check part, and simultaneously, executing the check as a set without a sequence between the elements of the pattern. CONSTITUTION:The list structure (pattern) is adapted for the knowledge expression configuration, a symbol train can be operated, and the pattern check is executed even to the detailed parts of all elements including the list structure. The variable length components are described in the pattern check part, and a simultaneously, the check as the set without the sequence between the elements of the pattern can be executed. By executing the check in such a way, the efficient knowledge expression can be executed.