Abstract
This study presents the structure and the performance of a new inference engine: the MIE (Meta Inference Engine). It is able to manipulate not only the rules but also the metarules. The article first describes the architecture of the MIE and gives an example to illustrate its use. A comparison of performance between an RETE network and the MIE is then made. This shows that the MIE is more efficient at manipulating metaknowledge (metarules) but that an RETE network is quicker when the system inserts or deletes a fact.
Highlights
The domain of metaknowledge was conceived in the 1970s and 80s[10] at the same time as the emergence of rule-based systems
The study and manipulation of metaknowledge are transverse in several domains in Artificial Intelligence (AI)
Metaknowledge was evoked for decision support[18], learning[1,16], monitoring[11], generation of comments[17], manipulation of the temporal graph[9], strategy of a inference engine[24], problem solving in geometry[2], checking on the coherence of a rules-based systems[21] and the discovery of new knowledge[14]
Summary
The domain of metaknowledge was conceived in the 1970s and 80s[10] at the same time as the emergence of rule-based systems. This new structure would be faster than the filtering solution and more flexible than the RETE network This flexibility would make the use of metaknowledge easier when a rule needs to be created, modified or deleted during an execution. Several algorithms are described to explain how the performances of the MIE and an RETE structure have been calculated to insert and to delete a fact, a condition or a rule. The latter is composed of a set of variables used in the conditions of the rules This is useful when the MIE has to create a new instance. If we go on to send the fact (CubeC height 40) It matches the two last conditions but no new partial condition are created because the variable !cube has to have the value CubeB and not CubeC. The number of instances in a condition in the MIE strucure (an average) : Fig. 3: The insertion of a fact in OPS structure
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
