A deduction lattice and reasoning method based on deduction lattice

A reasoning method and rule technology, applied in the application field of computer systems to solve complex problems, to achieve the effect of low complexity, high matching efficiency and comprehensive consideration

Active Publication Date: 2018-11-23
胡煜州
View PDF5 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0020] In order to solve the above technical problems, the present invention provides a deduction grid and a reasoning method based on the deduction grid, which can build an analysis and diagnosis system responsible for complex problems through intelligent, visualized, digital, and interactive equipment

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

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A deduction lattice and reasoning method based on deduction lattice
  • A deduction lattice and reasoning method based on deduction lattice
  • A deduction lattice and reasoning method based on deduction lattice

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0063] In order to facilitate those of ordinary skill in the art to understand and implement the present invention, the present invention will be described in further detail below in conjunction with the accompanying drawings and embodiments. It should be understood that the implementation examples described here are only used to illustrate and explain the present invention, and are not intended to limit this invention.

[0064] A deduction grid provided by the present invention,

[0065] First define:

[0066] (1) Lattice: Consider any partially ordered set (L, ≤), if for any element a, b in the set L, there is a maximum lower bound and minimum upper bound for a, b in L, then (L, ≤ ) is a case;

[0067] (2) Rule: C 1 ∧C 2 ∧...∧C n → h;

[0068] Among them, C 1 、C 2 ,...,C n is the condition, h is the conclusion; when the condition C 1 、C 2 ,...,C n When both are true, the corresponding conclusion h is drawn;

[0069] If rule C exists 1 ∧C 2 ∧(C i ∨…∨C i+n )→h...

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 a deductive lattice and a reasoning method based on the deductive lattice. Firstly, all rules which are in accordance with a condition is searched in a rule database, then the rules generate a deductive lattice according to a deductive lattice construction algorithm, then the condition matching is carried out, and a rule can be rapidly matched, or all existing rules can not matched. The deductive lattice of the invention is a novel efficient and intelligent reasoning model, through collected criteria, combined with the matching of the rules in the rule database, the layer-by-layer deduction from a root node is started by using a similar lattice structure, and finally a deduction result is obtained at a leaf node. In the deduction process, the statistical and analysis result of criteria is also used to assist the deduction, while a determined deduction result is obtained, other suspected conclusions can be deducted, the suspected conclusions are sorted according to confidence levels, and thus comprehensive deductive information is provided for a decision maker for reference.

Description

technical field [0001] The invention belongs to the application field of solving complex problems by a computer system, relates to a reasoning method, in particular to a deduction lattice and a deduction lattice-based reasoning method. Background technique [0002] Existing reasoning and decision-making methods include forward reasoning and reverse reasoning. [0003] Forward reasoning, also known as forward chain reasoning, is a reasoning method that draws conclusions from conditions. It starts from a set of facts and uses certain inference rules to prove the establishment of the target facts or propositions. The general reasoning process is to provide some initial known facts to the comprehensive database, and the control system uses these data to match the knowledge in the knowledge base, and the triggered knowledge adds its conclusions to the comprehensive database as new facts. Repeat the above process, use the fact in the updated comprehensive database to match anoth...

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 Patents(China)
IPC IPC(8): G06N5/04
CPCG06N5/04
Inventor 胡启平胡煜州
Owner 胡煜州
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products