In this paper, we first introduce the high efficient pattern matching algorithm named Rete. Second, we analyze the problem appeared in using Rete algorithm to develop expert system. But it develops a new way to realiz...In this paper, we first introduce the high efficient pattern matching algorithm named Rete. Second, we analyze the problem appeared in using Rete algorithm to develop expert system. But it develops a new way to realize Agents' real-time and cooperative reference. Then we put forward to embed the Rete algorithm into Agents and realize cooperative inference by Agents' communication. On these bases, we discuss the accuracy and real-time feature of cooperative inference in detail. Finally, we describe two Agent-communication performatives and a developing instance of multi- agent system to monitor oil tanks.展开更多
In the compilation of rule program to the intermediate code--RETE network,optimizing compilation is an important comptler schema,and is a necessary step in the compiler verification. In this paper,we discuss optimizat...In the compilation of rule program to the intermediate code--RETE network,optimizing compilation is an important comptler schema,and is a necessary step in the compiler verification. In this paper,we discuss optimization schemas in rule program compilation,and prove the semantic equivalence theorems of these schemas. Firstly,the structure of RETE network and Its PVS specification are represented. Secondly,three kinds of optimization schemas are listed. Then algorithms evaluating semantics of target RETE network are given. Finally,we prove the semantic equivalence theorems with theorem prover PVS (Prototype Verification System).展开更多
文摘In this paper, we first introduce the high efficient pattern matching algorithm named Rete. Second, we analyze the problem appeared in using Rete algorithm to develop expert system. But it develops a new way to realize Agents' real-time and cooperative reference. Then we put forward to embed the Rete algorithm into Agents and realize cooperative inference by Agents' communication. On these bases, we discuss the accuracy and real-time feature of cooperative inference in detail. Finally, we describe two Agent-communication performatives and a developing instance of multi- agent system to monitor oil tanks.
文摘In the compilation of rule program to the intermediate code--RETE network,optimizing compilation is an important comptler schema,and is a necessary step in the compiler verification. In this paper,we discuss optimization schemas in rule program compilation,and prove the semantic equivalence theorems of these schemas. Firstly,the structure of RETE network and Its PVS specification are represented. Secondly,three kinds of optimization schemas are listed. Then algorithms evaluating semantics of target RETE network are given. Finally,we prove the semantic equivalence theorems with theorem prover PVS (Prototype Verification System).