On 06/01/2017 04:59 PM, Shujing Ke wrote:
Oh, another question: is to mine patterns that contains at least one ExecutionOutputLink, or to mine patterns that only contains ExecutionOutputLinks and the Links inside ExecutionOutputLinks?
I'd say all of them, at any depth. The corpus I gave you is not gonna contain any useful pattern anyway, it's just an exercise at this point.
Nil
On Thu, Jun 1, 2017 at 3:52 PM, Shujing Ke <[email protected] <mailto:[email protected]>> wrote:OK, I will try to mine EOLs first. Thanks : ) Shujing On Thu, Jun 1, 2017 at 7:25 AM, Nil Geisweiller <[email protected] <mailto:[email protected]>> wrote: Hi, On 06/01/2017 01:32 AM, Shujing Ke wrote: Hi, Nil and Ben, I studied the corpus. Is each BindLink one instance of inference? So Yes. that each BindLink should be considered as primitve / atomic - one pattern should be one BindLink; any Links inside a BindLink should not be mined separatly, right? For example, No they can and should be mined separately as well. Specifically what we are interested in are the structures of ExecutionOutputLink (EOL). The third argument of an inference BindLink is systematically gonna be an EOL wrapping other EOLs, and we are mostly interested in mining these EOLs. But ultimately mining the whole BindLink might be useful too. We may want to do both, but for starter only mine patterns with an EOL as root link. (InheritanceLink (VariableNode "$X") (PatternVariableNode "var1") ) (InheritanceLink (VariableNode "$X") (VariableNode "$B-6266d6f2") ) (InheritanceLink (VariableNode "$B-6266d6f2") (PatternVariableNode "var1") ) This is a pattern that may be mined by patten miner from the PLN corpus under a general purpose. But it is not that kind of expected patterns as descriped in http://wiki.opencog.org/w/Pattern_Miner_Prospective_Examples#patterns_in_PLN_inference_histories <http://wiki.opencog.org/w/Pattern_Miner_Prospective_Examples#patterns_in_PLN_inference_histories> Actually, the particular goal here is not to mine any connected patterns freely, it is to mine a particular type of patterns - abstraction of BindLinks of the same structures. If two BindLinks have different structures, even they share one or several Nodes, patterns still should not be extracted from them. For example, (BindLink (LinkTypeA (NodeType_a "someNode1") (NodeType_b "someNode2") ) (LinkTypeB (NodeType_c "someNode3") (LinkTypeC (NodeType_c "someNode3") (NodeType_d "someNode4") ) ) ) (BindLink (LinkTypeA (NodeType_a "someNode1") (NodeType_e "someNode5) ) (LinkTypeD (NodeType_e "someNode5") (NodeType_f "someNode6") ) ) This two BindLinks share the same Node (NodeType_a "someNode1"), a common pattern of (LinkTypeA) can be extracted for mining general patterns, but these two BindLinks have different structures - the first BindLink contains a LinkTypeA , a LinkTypeB and a LinkTypeC; the second BindLink contains a LinkTypeA and a LinkTypeD. So despite the ultimate goal of AGI, to learning this type of patterns more effectively, it's better to find all the BindLinks with same structures, and then apply some kind of induction learning algorithm on them. What do you think? No we want to extract patterns across BindLinks (or EOLs) that have different structures, what I believe the pattern miner is good at, right? Nil But I will still give it a try with Pattern Miner. On Tue, May 23, 2017 at 4:06 PM, Nil Geisweiller <[email protected] <mailto:[email protected]> <mailto:[email protected] <mailto:[email protected]>>> wrote: Hi, I've corrected the inferences (note that ExecutionLink are actually ExecutionOutputLink because the "inference trails" are actually inferences to be executed rather than records). Also I've attached a file with ~500 inferences obtained from running the BackwardChainerUTest, can generate many more if needed. Nil On 05/21/2017 06:17 PM, Ben Goertzel wrote: Nil, I wrote down our two sketchy examples of patterns to be mined from PLN inference patterns, from our F2F discussion last week, here: http://wiki.opencog.org/w/Pattern_Miner_Prospective_Examples#patterns_in_PLN_inference_histories <http://wiki.opencog.org/w/Pattern_Miner_Prospective_Examples#patterns_in_PLN_inference_histories><http://wiki.opencog.org/w/Pattern_Miner_Prospective_Examples#patterns_in_PLN_inference_histories<http://wiki.opencog.org/w/Pattern_Miner_Prospective_Examples#patterns_in_PLN_inference_histories>> It will be good if you can write these out in the fully explicit Atomese format that PLN actually uses to save its inference histories... thx! ben
-- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/babb8f59-9817-f9f3-218b-2975cca792d3%40gmail.com. For more options, visit https://groups.google.com/d/optout.
