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
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
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...
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