Augmented exploration for big data and beyond
First Claim
1. A method, comprising:
- executing, by at least one processor, instructions stored in at least one memory coupled to the at least one processor to;
generate specification concept graphs of nodes spec1,spec2, . . . ,specm including concept nodes of concepts and relation nodes according to at least one of a plurality of digitized data input from a plurality of computerized data sources d1, d2, . . . , dl forming a first set of evidences U to represent a first knowledge base (KB) among a plurality of KBs;
generate concept graphs of nodes cα
1, cα
2, . . . , cα
n including concept nodes and relation nodes for corresponding obtained plurality of information and knowledge (IKs) α
1, α
2, . . . , α
n forming a second set of evidences U to represent a second knowledge base among the plurality of KBs;
select a subset of concept graphs of nodes cα
i1, cα
i2, . . . , cα
ih from cα
1, cα
2, . . . , cα
n according to a computable measure of consistency threshold between each caj in cα
1, cα
2, . . . , cα
n to each specification concept graph speck in spec1,spec2, . . . , specm;
generate knowledge fragment objects of concept fragments obtained for corresponding subset of concept graphs cα
i1, cα
i2, . . . , cα
ih,a knowledge fragment object among the knowledge fragment objects to store a mapping of values to first and second sets of evidences U, where A is a rule among rules A′
in at least the first and second KBs among the plurality of KBs, and E is a subset of the first and second sets of evidences U from the at least first and second KBs that supports the rule A, so that the rule A is supportable by the subset of evidences E, according to the concept fragments;
generate a new KB, add into at least one KB among the plurality of KBs, and/or add into the first and/or second KBs for the concept fragments, to include augmenting information objects of augmenting information by,creating objects in form ω
=E→
A from the concept fragments;
computing for each object co a validity (v) and a plausibility (p) based upon atomic propositions among the rules A′
;
obtaining relationship constraints κ
in form of a plurality of set relations among a plurality of the subsets of evidences E for a plurality of the concept fragments;
obtaining propositions κ
for the plurality of fragment concepts in form of logical relations from among the rules A′
in the at least first and second KBs and/or from the atomic propositions;
computing a validity (v) and a plausibility (p) for a combination of the relationship constraints κ
and the propositions κ
; and
generating information tags to identify each object ω
, each relationship constraint in κ
, and each proposition in κ
,to cause extending, by the augmenting information objects, at least a forecasting and/or an abduction based upon the concepts to a higher-order prosection and/or abduction deductively and/or inductively in conjunction with the generated information tags.
0 Assignments
0 Petitions
Accused Products
Abstract
According to an aspect of an embodiment, a computer system including at least one computer is configured to generate, specification concept graphs of nodes spec1, spec2, . . . , specm including concepts node and relation nodes according to at least one of a plurality of digitized data from user input from a plurality of computerized data sources d1, d2, . . . , dl forming a first set of evidences U; generate concept graphs of nodes cα1, cα2, . . . , cαn including concept nodes and relation nodes for corresponding obtained plurality of IKs α1, α2, . . . , αn forming a second set of evidences U; select a subset of concept graphs of nodes cαi
30 Citations
12 Claims
-
1. A method, comprising:
executing, by at least one processor, instructions stored in at least one memory coupled to the at least one processor to; generate specification concept graphs of nodes spec1,spec2, . . . ,specm including concept nodes of concepts and relation nodes according to at least one of a plurality of digitized data input from a plurality of computerized data sources d1, d2, . . . , dl forming a first set of evidences U to represent a first knowledge base (KB) among a plurality of KBs; generate concept graphs of nodes cα
1, cα
2, . . . , cα
n including concept nodes and relation nodes for corresponding obtained plurality of information and knowledge (IKs) α
1, α
2, . . . , α
n forming a second set of evidences U to represent a second knowledge base among the plurality of KBs;select a subset of concept graphs of nodes cα
i1 , cα
i2 , . . . , cα
ih from cα
1, cα
2, . . . , cα
n according to a computable measure of consistency threshold between each caj in cα
1, cα
2, . . . , cα
n to each specification concept graph speck in spec1,spec2, . . . , specm;generate knowledge fragment objects of concept fragments obtained for corresponding subset of concept graphs cα
i1 , cα
i2 , . . . , cα
ih ,a knowledge fragment object among the knowledge fragment objects to store a mapping of values to first and second sets of evidences U, where A is a rule among rules A′
in at least the first and second KBs among the plurality of KBs, and E is a subset of the first and second sets of evidences U from the at least first and second KBs that supports the rule A, so that the rule A is supportable by the subset of evidences E, according to the concept fragments;generate a new KB, add into at least one KB among the plurality of KBs, and/or add into the first and/or second KBs for the concept fragments, to include augmenting information objects of augmenting information by, creating objects in form ω
=E→
A from the concept fragments;computing for each object co a validity (v) and a plausibility (p) based upon atomic propositions among the rules A′
;obtaining relationship constraints κ
in form of a plurality of set relations among a plurality of the subsets of evidences E for a plurality of the concept fragments;obtaining propositions κ
for the plurality of fragment concepts in form of logical relations from among the rules A′
in the at least first and second KBs and/or from the atomic propositions;computing a validity (v) and a plausibility (p) for a combination of the relationship constraints κ
and the propositions κ
; andgenerating information tags to identify each object ω
, each relationship constraint in κ
, and each proposition in κ
,to cause extending, by the augmenting information objects, at least a forecasting and/or an abduction based upon the concepts to a higher-order prosection and/or abduction deductively and/or inductively in conjunction with the generated information tags. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9)
-
10. An apparatus, comprising:
-
at least one memory; and at least one processor coupled to the at least one memory to execute instructions stored in the at least one memory to cause the apparatus to; generate specification concept graphs of nodes spec1, spec2, . . . , specm including concept nodes of concepts and relation nodes according to at least one of a plurality of digitized data input from a plurality of computerized data sources d1, d2, . . . , dl forming a first set of evidences U to represent a first knowledge base (KB) among a plurality of KBs; generate specification concept graphs of nodes spec1,spec2, . . . ,specm including concept nodes of concepts and relation nodes according to at least one of a plurality of digitized data input from a plurality of computerized data sources d1, d2, . . . , dl forming a first set of evidences U to represent a first knowledge base (KB) among a plurality of KBs; select a subset of concept graphs of nodes cα
i1 , cα
i2 , . . . , cα
ih from cα
1, cα
2, . . . , cα
n according to a computable measure of consistency threshold between each caj in cα
1, cα
2, . . . , cα
n to each specification concept graph speck in spec1, spec2, . . . , specm;generate knowledge fragment objects of concept fragments obtained for corresponding subset of concept graphs cα
i1 , cα
i2 , . . . , cα
ih ,a knowledge fragment object among the knowledge fragment objects to store a mapping of values to first and second sets of evidences U, where A is a rule among rules A′
in at least the first and second KBs among the plurality of KBs, and E is a subset of the first and second sets of evidences U from the at least first and second KBs that supports the rule A, so that the rule A is supportable by the subset of evidences E, according to the concept fragments;generate a new KB, add into at least one KB among the plurality of KBs, and/or add into the first and/or second KBs for the concept fragments, to include augmenting information objects of augmenting information by, creating objects in form ω
=E→
A from the concept fragments;computing for each object co a validity (v) and a plausibility (p) based upon atomic propositions among the rules A′
;obtaining relationship constraints κ
in form of a plurality of set relations among a plurality of the subsets of evidences E for a plurality of the concept fragments;obtaining propositions κ
for the plurality of fragment concepts in form of logical relations from among the rules A′
in the at least first and second KBs and/or from the atomic propositions;computing a validity (v) and a plausibility (p) for a combination of the relationship constraints κ
and the propositions κ
; andgenerating information tags to identify each object ω
, each relationship constraint in κ
, and each proposition in κ
,to cause extending, by the augmenting information objects, at least a forecasting and/or an abduction based upon the concepts to a higher-order projection and/or abduction deductively and/or inductively in conjunction with the generated information tags. - View Dependent Claims (11, 12)
-
Specification