| 摘要 |
Disclosed is an inference processor having a compiler-type rule processor and an interpreter-type rule processor. The compiler-type rule processor includes a rule file for storing user-defined rules, a rule compiler for expanding the rules into a rule network, a production memory for storing compiled rules, a working memory for storing intermediate inference processing results, and an inference engine which uses these components for inference processing. The interpreter-type rule processor includes a rule file for storing user-defined rules, a rule interpreter for successively interpreting these rules, a production memory for storing interpreted rules, an inference engine which uses the production memory for inference processing, and a working memory for storing intermediate inference processing results. The rule compiler automatically generates from the rule files a data consistency holder to maintain the consistency of data used in common by the compiler-type rule processor and the interpreter-type rule processor.
|
