A compile type knowledge processing tool, a high-speed inference method therefor and a system using the tool.

摘要

High-speed inference method and system for a production system represented by an expert system. A knowledge base (16-3) comprised of a rule and a fact possessing a plurality of attributes is converted into machine language instructions executable by a processor (16-1) to execute inference. The machine language instruction of the fact has the function of transferring a value of the fact to a specified location and the machine language instruction of the rule has the function of performing matching decision by referring to the specified location. The number of pattern matching operations can be decreased and the interpretation overhead can be reduced to ensure high-speed inference.