Method and system that provides efficient index-based retrieval of rules
US9367807B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Apr 29, 2013 |
| Grant date | Jun 14, 2016 |
| Priority date | — |
| Expiry date | Oct 17, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06N5/025
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The current application is directed to methods, and to systems employing the methods, that allow built-in indexing methods for facts, to additionally be applied to rules within a logic-programming system. The methods and systems to which the current application is directed convert an original set of rules into an equivalent set of fact/rule pairs. In addition, a new set of rules may be directly encoded as a new set of fact/rule pairs by these methods and systems. The equivalent set of fact/rule pairs implement the original set of rules, preserving the meaning of the original rules, but the equivalent set of fact/rule pairs are indexed by built-in indexing methods for facts. The new fact/rule pairs are also indexed by built-in indexing methods for facts.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.