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
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Examples
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...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com