Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

inspection method based on bdd

An inspection method and production technology, applied in the direction of reasoning methods, can solve problems such as wasting system resources, meaningless pattern matching, and reducing reasoning efficiency

Inactive Publication Date: 2014-06-25
北京神舟航天软件技术股份有限公司
View PDF2 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

These two logical errors will cause the alpha nodes of the RETE network to store redundant information, wasting system resources. The more serious problem is: such logical errors will cause a large number of meaningless pattern matching when the inference engine is deduced, reducing the efficiency of reasoning
However, the constructed alpha mode network reuses nodes and cannot perform logical verification of a single rule

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0020] The steps of a BDD-based checking method for knowledge base rule generation are as follows:

[0021] Step 1: When constructing the alpha node network of the inference engine RETE network based on the inference rule production formula, perform the following steps to check each input rule;

[0022] Step 2: Convert an existing rule production Rp into the corresponding BDD, and check whether Rp can be satisfied by traversing the BDD

[0023] Step 3: Convert an existing regular production Rp into the corresponding BDD, and check whether Rp is always true by traversing the BDD.

[0024] In this embodiment, in the step 1, the inference rule generation Rp is converted into a propositional logic expression P, and then P is converted into a corresponding BDD form.

[0025] In step 2, traverse the BDD generated in step 2, if the terminal node with a value of 1 can be found from the root node, it indicates that the expression Rp is satisfiable; otherwise, it indicates that Rp is u...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses knowledge database rule generation formula inspection method based on BDD, which is characterized in that the inspection method performing the following inspection steps on each inputted rule when an alpha node network of an inference machine is constructed based on the inference rules: converting a prior rule generation formulation Rp to corresponding BDD and detecting that whether the Rp can be satisfied through traversing the BDD, and converting a prior rule generation rule Rp to corresponding BDD and detecting whether the Rp can be permanently real through traversing the BDD. The invention realizes the rule that the filtering knowledge database has logic errors and realizes automatic inspection on the facts that whether the reference rule can be satisfied or can be permanently real.

Description

technical field [0001] The invention belongs to the field of rationality verification of expert system reasoning rule production formulas, and in particular relates to a BDD-based checking method for knowledge base rule production formulas. Background technique [0002] The rules in the expert system rule base have the same structure, namely "if...then..." structure. The rule consists of two parts: left (LHS, Left hand side) and right (RHS, Right hand side), forming the structure of if (LHS) then (RHS). The left (LHS) consists of one or more positive and negative patterns, and the right (RHS) consists of one or more conclusions. Each pattern requires corresponding facts to match. If all the patterns contained in a rule are satisfied, the rule is said to be satisfied. [0003] Express each pattern as an atomic proposition, so that the left side of rule 1 can be expressed as a propositional logic expression: [0004] P=(template1arr1=5arr2=6arr3='X') [0005] Q=(template2a...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06N5/04
Inventor 崔小磊周启平刘大鹏任永青陈星宇
Owner 北京神舟航天软件技术股份有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products