Re: [opencog-dev] Re: Running the pattern miner

Apparently this branch was started a year ago. Shujing, what prevents you from merging it into the master? Nil On 06/29/2016 10:45 AM, Ben Goertzel wrote: True... though I wonder what incompatibilities that branch has, as compared to master... On Wed, Jun 29, 2016 at 3:39 PM, AmeBel

[opencog-dev] Re: Running the pattern miner

Well, I haven't moved past this issue, I think this other error is just a different manifestation of the same problem... Nil On 06/29/2016 10:00 AM, Nil Geisweiller wrote: Actually, I've moved past that issue (I didn't use the right conf), but I've got another, perhaps more worrisome

Re: [opencog-dev] Re: Running the pattern miner

Shujing can correct me if I'm wrong! On Wed, Jun 29, 2016 at 3:52 PM, 'Nil Geisweiller' via opencog <opencog@googlegroups.com <mailto:opencog@googlegroups.com>> wrote: > Apparently this branch was started a year ago. > > Shujing, what prevents yo

Re: [opencog-dev] Re: Running the pattern miner

to Minecraft, but Shujing hasn't had time to do that, as she's been doing this work in a hurry as it's part of what she needs to do to finish her PhD thesis... At least the above is my understanding; Shujing can correct me if I'm wrong! On Wed, Jun 29, 2016 at 3:52 PM, 'Nil

Re: [opencog-dev] Re: Running the pattern miner

just want to do a bit of cleaning, then implement scheme bindings for it. Nil On Wed, Jun 29, 2016 at 3:32 PM, 'Nil Geisweiller' via opencog <opencog@googlegroups.com <mailto:opencog@googlegroups.com>> wrote: Shujing, I might start hacking the pattern miner on the master

Re: [opencog-dev] Re: Running the pattern miner

of what she needs to do to finish her PhD thesis... At least the above is my understanding; Shujing can correct me if I'm wrong! On Wed, Jun 29, 2016 at 3:52 PM, 'Nil Geisweiller' via opencog <opencog@googlegroups.com <mailto:opencog@googlegroups.com>>

Re: [opencog-dev] how to best think of the 'confidence' in simple truth value

Incomplete wikified version of PLN http://wiki.opencog.org/w/PLNBook the whole book is available online as well somewhere (can't find it ATM). Nil On 01/23/2017 03:59 PM, Nil Geisweiller wrote: The wiki is not very talkative about this... Ideally you'd need to read the PLN book. Said

Re: [opencog-dev] cog-fc returns empty Setlink

Hi, in this example, deduction rules alone cannot inference anything because you don't have in your knowledge base things of the sort Inheritance A B Inheritance B C Some rules are explained in the wiki, like http://wiki.opencog.org/w/DeductionRule (though I think this section

[opencog-dev] Re: Pattern Miner improvements

Hi, I'm not familiar enough with the pattern matcher yet to suggest a Scheme API. I do believe I know however the next steps to clean it up. So I'll look into that first, create a github issue, then look into the API design. In fact for the API, it would be good if we can have a group chat,

Re: [opencog-dev] Calling forward/backward chainer

Hi, it looks like you didn't import the rule-engine modules, see for instance https://github.com/opencog/atomspace/blob/master/examples/rule-engine/crisp.scm#L16 Nil On 02/10/2017 12:26 PM, Vishnu Priya wrote: Hi, I tried forward chaining as in

[opencog-dev] Re: Pattern Miner improvements

Hi, On 02/11/2017 10:18 PM, Ben Goertzel wrote: I'm not familiar enough with the pattern matcher yet to suggest a Scheme API. I do believe I know however the next steps to clean it up. So I'll look into that first, create a github issue, then look into the API design. Thanks, that will be

Re: [opencog-dev] Handle validity test

... -- Linas On Thu, Jan 19, 2017 at 2:20 AM, 'Nil Geisweiller' via opencog <opencog@googlegroups.com> wrote: Hi, we have multiple ways to test whether a Handle is valid. I've encountered the followings 1. if (h) then ... 2. if (h != nullptr) then ... 3. if (h.is_defined()) then ... 4.

Re: [opencog-dev] Trying to understand the inference control problem.

On 02/26/2017 04:03 PM, Amirouche Boubekki wrote: I see that the wiki page is lacking in content or links regarding that matter http://wiki.opencog.org/w/Inference_Control . We need to remedy that. In that article, “The rules of

Re: [opencog-dev] Trying to understand the inference control problem.

On 02/27/2017 10:21 PM, Ken Kafieh wrote: So you are saying that you should use learning algorithms to pick out potentially useful inference chains. I feel like our brains probably approach it in a similar way so I guess I can agree that is a good starting point. But I am wondering if it may

Re: [opencog-dev] Re: [Link Grammar] Re: probabilistic type theory with records ... variants of categorial grammar & semantics, etc.

Linas, On 09/03/2016 04:59 AM, Linas Vepstas wrote: However, I feel an area where something similar to linear logic, etc, might be very worthwhile thinking of is in estimating how much evidences inference traces have in common, as to have the revision rule work correctly. This

Re: [opencog-dev] Re: [Link Grammar] Re: probabilistic type theory with records ... variants of categorial grammar & semantics, etc.

Linas, On 09/03/2016 08:54 AM, Linas Vepstas wrote: I claim that inference is like parsing, and that algorithms suitable for parsing can be transported and used for inference. I also claim that these algorithms will all provide superior performance to backward/forward chaining. Until we can

Re: [opencog-dev] wiki.opencog.org maintenance

Well done Amen! Just out of curiosity, what was wrong? Nil On 09/06/2016 05:43 PM, Amen Belayneh wrote: Hi team,contributors,... the site is up now. Please explore and report any issues you might encounter. Thanks :-) -- You received this message because you are subscribed to the Google

Re: [opencog-dev] Question about LambdaLink

Hi Roman, this is compatible with PLN. I don't think all EquivalentLink PLN rules are implemented, the main one, turning EquivalentLink to double ImplicationLink is. Nil On 07/30/2016 06:18 PM, Roman Treutlein wrote: Hello, I just wanted to make sure my use of the LambdaLink inside the

Re: [opencog-dev] Re: [Link Grammar] Re: probabilistic type theory with records ... variants of categorial grammar & semantics, etc.

Hi Ben, On 09/03/2016 06:44 AM, Ben Goertzel wrote: The replacement methodology is to use EmbeddedTruthValueLink and ContextAnchorNode , as in the example Evaluation PredicateNode "thinks" ConceptNode "Bob" ContextAnchorNode "123" EmbeddedTruthValueLink <0>

Re: [opencog-dev] Re: [Link Grammar] Re: probabilistic type theory with records ... variants of categorial grammar & semantics, etc.

On 09/03/2016 07:19 AM, Ben Goertzel wrote: About ContextLink / CompositeTruthValue -- an interesting relevant question is whether we want/need to use it in the PLN backward chainer which Nil is now re-implementing Quite possibly we do... It's clear both the forward and backward chainer

Re: [opencog-dev] Re: [Link Grammar] Re: probabilistic type theory with records ... variants of categorial grammar & semantics, etc.

On 09/03/2016 08:24 AM, Linas Vepstas wrote: The other approach, that Nil was advocating with his distributional-TV proposals, is to jam these two into one, and say that_advmod(see, with) is half-true, and _prepadj(man, with) is half-true, -- and then somehow hope that PLN is able to

Re: [opencog-dev] Re: [Link Grammar] Re: probabilistic type theory with records ... variants of categorial grammar & semantics, etc.

On 09/03/2016 08:24 AM, Linas Vepstas wrote: The other approach, that Nil was advocating with his distributional-TV proposals, is to jam these two into one, and say that_advmod(see, with) is half-true, and _prepadj(man, with) is half-true, -- and then somehow hope that PLN is able to

Re: [opencog-dev] Re: ImplicationLink?

I've added some notes about that http://wiki.opencog.org/w/ExtensionalImplicationScopeLink#Remarks My feeling based is that the ImplicationScopeLink (I mean, either mixed, extensional or intensional) is what we want in most cases, which is good given that it's syntactically simpler than

Re: [opencog-dev] question about a concept from the PLN book on Ben's site..

Hi Apil, On 11/07/2016 03:39 PM, Apil Tamang wrote: Hi All, Reading through the book on 'Probabilistic Logic Networks' which is posted on http://goertzel.org/PLN_BOOK_6_27_08.pdf. I think I'm making okay progress on the concepts on this book so far so good. There's just this one little area

Re: [opencog-dev] Re: opencog utest failing

Hi, yes I know that, what I suggest is that whenever the builds fails we get notified, as opposed to the build channel turns bold no matter what. One trick would be to add the mention "@channel" inside the message only when it fails. Nil On 10/24/2016 06:32 AM, AmeBel wrote: Hi, there

Re: [opencog-dev] Re: ImplicationLink?

On 10/17/2016 10:17 AM, Ben Goertzel wrote: As for the name ImplicationScopeLink at first I thought I would prefer ScopingImplicationLink but now I'm not sure ;p Anyway, ugly as it is, I think it may be better to use two different link types for the different variants, under the general

Re: [opencog-dev] Re: opencog utest failing

On 10/24/2016 01:01 PM, AmeBel wrote: Changes have been made such that build channel turns bold only when there are failures. It's cool, thanks. But I think a notification would even be better. If `@channel` appears in the message then we'll be notified by email as well. Having the unit

[opencog-dev] opencog utest failing

Hi, multiple tests on the opencog repo fail, some are mine and I was let unaware of it. I don't dare to do my next changes till these tests get fixed cause I want to be confident it won't break existing things. Obviously we need to improve buildbot notification on failure. Is it possible to

Re: [opencog-dev] Is automatic alpha-conversion evil?

, but I can't help it, there's a part of me that feels ambivalent about it... Anyway, I'll open a github issue whenever I encounter the problem I'm trying to describe in real life situation. Nil On Nov 17, 2016 3:54 PM, "'Nil Geisweiller' via opencog" <opencog@goo

Re: [opencog-dev] Is automatic alpha-conversion evil?

) ;; returns the expected result. What is the problem? On Wed, Nov 16, 2016 at 11:49 AM, Linas Vepstas <linasveps...@gmail.com <mailto:linasveps...@gmail.com>> wrote: On Wed, Nov 16, 2016 at 5:34 AM, 'Nil Geisweiller' via opencog <opencog@googlegroups.com <mailto:openc

Re: [opencog-dev] Is automatic alpha-conversion evil?

coped links, I guess... I am only about 83.456% sure I understand the problem here... -- Ben On Fri, Oct 21, 2016 at 11:55 PM, 'Nil Geisweiller' via opencog <opencog@googlegroups.com> wrote: Hi, I start to think that automatic alpha-conversion is evil. First let me recall what

Re: [opencog-dev] Is automatic alpha-conversion evil?

d be sure their chosen VariableNode names are not going to be used in a way that creates some conflict ... This option would need to be added to Scheme, python, Haskell bindings, but also to the core API for adding scoped links, I guess... I am only about 83.456% sure I understand the problem

[opencog-dev] Re: ImplicationLink?

Linas, I don't have time to get into that right now. If you can point to where exactly it breaks (like a unit test on your branch) it would help. In any case I look carefully into that and reply tomorrow. Nil On 10/11/2016 06:55 PM, Linas Vepstas wrote: You made it inherit from ScopeLink,

[opencog-dev] Re: ImplicationLink?

Are these unit tests still failing? Nil On 10/11/2016 08:36 PM, Linas Vepstas wrote: 47 unit tests fail ... I'm not sure if they all fail for the same reason, though. For example PutLink (PutLink (LambdaLink (VariableList (TypedVariableLink (VariableNode "$X")

[opencog-dev] Broken master

Hi, according to http://61.92.69.39:8080/job/ci-atomspace-master/222/console I've broken the master. Unfortunately I haven't been able to reproduce it, even with uncommenting `SET(DB_IS_CONFIGURED 1)` in `tests/persist/sql/odbc/CMakeLists.txt` to make sure I compile it. Any idea? Nil --

Re: [opencog-dev] Re: ImplicationLink?

I guess we can deal with it then. --linas On Thu, Oct 13, 2016 at 12:56 AM, 'Nil Geisweiller' via opencog <opencog@googlegroups.com <mailto:opencog@googlegroups.com>> wrote: On 10/13/2016 02:38 AM, Ben Goertzel wrote: Wait ... we can have nes

Re: [opencog-dev] Re: ImplicationLink?

On 10/13/2016 02:38 AM, Ben Goertzel wrote: Wait ... we can have nested ScopeLinks, so that a variable embedded in two ScopeLInks can be bound by the outer one or the inner one... no? Yes, no problem, if a variable is scoped by both then the inner one will cover the outer one. Anyway, I

Re: [opencog-dev] Adapting Opencog

Hi, On 12/12/2016 08:35 AM, Ravi Krishna wrote: Hi, We are trying to build a cognitve platform. Please help me in understanding how open and flexible is openCog to use. What are the OpenCog is as open as it can get. Regarding flexibility, sure it could be better, for instance ideally truth

[opencog-dev] Re: Generalizing the Pattern Miner implementation to make it encompass the MOSES algorithm

On 12/12/2016 06:19 AM, Nil Geisweiller wrote: It was clear to me whether using the AtomSpace as working DB for the I forgot to insert the word "never" in here. Nil evolving trees would speed up or slow down MOSES. One thing that could speed it up is enabling memoization at the subtree

Re: [opencog-dev] Adapting Opencog

Hi, On 12/13/2016 02:27 PM, ravi.desar...@ramyamlab.com wrote: Hi Nil, Thank you for your response. We want to create software robots which can think of customer/ business problems and provide solutions or act on those problems. We are trying to evaluate OpenCog from development perspective to

Re: [opencog-dev] reimplementing MOSES atop the pattern miner: wiki page

On 12/18/2016 06:38 AM, Ben Goertzel wrote: I have posted my design idea (discussed in a recent email thread) on the wiki site here http://wiki.opencog.org/w/Reimplementing_MOSES_in_the_Atomspace_Atop_the_Pattern_Miner The Backward Chainer can also be framed that way. :-) Even more so

[opencog-dev] Re: Soggy predicates

Ben, I only read it now, see my comments below. On 12/14/2016 04:40 AM, Ben Goertzel wrote: A Simple Observation Grounded predicate, or Soggy predicate, is an uncertain predicate F so that: For each x, the number F(x) lies in [0,1] can be interpreted as the average degree to which an arbitrary

Re: [opencog-dev] Calling forward/backward chainer

Hi, the backward chainer is not mature yet, it may or not work for you, I think it will be mature enough after 2 week. The forward chainer should work as expected. See http://wiki.opencog.org/w/URE_Configuration_Format to define a rule base. See also

Re: [opencog-dev] Re: some explanations on the unified rule engine

So you know I do intend to clean up and complete the URE documentation, I'm just waiting that it matures to the point that I can run our big inferences. Nil On 01/09/2017 03:40 AM, AmeBel wrote: https://github.com/opencog/atomspace/tree/master/examples/rule-engine might help On Sunday,

Re: [opencog-dev] Opening a pull request for opencog/atomspace and opencog/docker

Hi, On 12/21/2016 03:29 PM, Apil Tamang wrote: Hi, As I go through the examples, I feel there're small things (mostly comments and instructions) that could be improved upon. I'm a new-comer to opencog, and I think this might help others going through the same path. that is very welcome

Re: [opencog-dev] Opening a pull request for opencog/atomspace and opencog/docker

I've sent you an invitation. I surprised though, it shouldn't have been necessary. Nil On 12/21/2016 11:21 PM, Apil Tamang wrote: Hi, My github account is under apil.tam...@gmail.com On Wednesday, December 21, 2016 at 4:08:17 PM UTC-5, Nil wrote: Hi, On 12/21/2016 03:29 PM, Apil

Re: [opencog-dev] PLN rules selection

On 03/23/2017 11:54 PM, Vishnu Priya wrote: Thanks Nil. But i have few questions. 1. In real time reasoning, each and every time will you look at the input data and decide the rules manually? No. Inference control (IC) would decide what rule(s) to apply. ATM IC is rather stupid and

[opencog-dev] Stop merging to the opencog repo

The github history on the opencog repo is seriously f-up. Please do not commit anything before I figure out what went wrong. Nil -- 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

[opencog-dev] Re: Stop merging to the opencog repo

Actually never mind, it comes from https://github.com/opencog/opencog/commit/3b2637e6c0c774ac06ecc779a265564fa616be0e which I suppose has been done purposely. It was looking very suspicious at first because it contains commits as old as 2y. Nil On 03/24/2017 02:29 PM, Nil Geisweiller wrote:

Re: [opencog-dev] [Problem] Compiling Opencog on Ubuntu 16.04 and Boost 1.58

I'd say you haven't installed boost completely. Try that perhaps sudo apt-get install libboost-all-dev Nil On 03/28/2017 04:48 PM, Jérémy Morceaux wrote: Well after multiple try, i can't figure it out. If someone can help me ^^ Jérémy -- You received this message because you are subscribed

Re: [opencog-dev] [Problem] Compiling Opencog on Ubuntu 16.04 and Boost 1.58

I'm running Ubuntu 14.04 and 16.10, never tried 16.04, anybody else? Nil On 03/28/2017 05:53 PM, Jérémy Morceaux wrote: Already tried it. -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails

[opencog-dev] Re: Pattern mining and NLP parsing and MOSES with the URE?

Yes, I do vaguely see how the forward chainer could be used as you describe for pattern mining and program evolution. In fact, if worth keeping, I suppose the generative parts (currently written in C++) could be exposed to scheme, wrapped in rules, and the URE would merely be used as main

[opencog-dev] Merge SUMO_importer

Any reason https://github.com/tanksha/external-tools/tree/master/SUMO_importer hasn't been merged to https://github.com/opencog/external-tools ? Nil -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop

Re: [opencog-dev] Re: [Problem] Compiling Opencog on Ubuntu 16.04 and Boost 1.58

On 04/02/2017 09:54 AM, Jérémy Morceaux wrote: Thanks Nil and linas, i disabled cpprest download and opencog is now built. I'm getting 86% on unit test, so i think it's working ^^ Thank you both If the 86% is on opencog, then it's probably normal, if it's on the atomspace then it's probably

Re: [opencog-dev] PLN rules selection

On 03/28/2017 07:13 PM, Vishnu Priya wrote: 1. If the input which is give, is R2L form of the sentences but does not contain any variable, Still can i apply the rules on them to get inferences? because here the conditional instantiation-meta-rule is in the following form and involves

Re: [opencog-dev] Calling forward/backward chainer

Step 2 is used by step 4 (it is a bit obfuscated by the helper ure-add-rules, which creates a MemberLink between the rule name and the rule base). In practice, the only reason we need is to store the rule name in the AtomSpace (the scheme rule name alone isn't loaded in the atomspace). And

Re: [opencog-dev] Re: Calling forward/backward chainer

I've added a bit more explanation here http://wiki.opencog.org/w/URE_Configuration_Format#Usage Nil On 04/09/2017 10:04 PM, Linas Vepstas wrote: On Sun, Apr 9, 2017 at 6:39 PM, Misgana Bayetta > wrote: On Sun, Apr 9, 2017

Re: [opencog-dev] Learner

-Optimizing_Semantic_Evolutionary_Search If you're more interested in natural language processing http://wiki.opencog.org/w/Natural_language_processing Nil On Sun, Apr 23, 2017 at 3:23 PM, 'Nil Geisweiller' via opencog <opencog@googlegroups.com <mailto:opencog@googlegroups.com>> w

Re: [opencog-dev] Learner

http://wiki.opencog.org/w/Natural_language_processing Nil On Sun, Apr 23, 2017 at 3:23 PM, 'Nil Geisweiller' via opencog <opencog@googlegroups.com <mailto:opencog@googlegroups.com>> wrote: I have barely looked at the tutorials myself, so if I have to guide you I wo

Re: [opencog-dev] Re: Calling forward/backward chainer

Hi Vishnu, that's cause now the rule base comes first, as documented here http://wiki.opencog.org/w/URE_Configuration_Format#Usage you need to enter (cog-fc base source (List) (SetLink)) I did that change while streamlining the FC and the BC APIs. So he URE tried to parse your source as if

Re: [opencog-dev] Re: Calling forward/backward chainer

Needless to say if you've got that from a documentation or example file, let me know so you or I can update it. Nil On 04/20/2017 10:54 PM, Vishnu Priya wrote: I installed the recent version and tried FC. Previously i used to work with only three arguments. But now as it requires

Re: [opencog-dev] Re: Calling forward/backward chainer

Hi Vishnu, there are actually examples (besides the unit tests) under /examples/rule-engine including the animal (called frog). There are also examples of PLN under /examples/pln not all of these examples are complete though. Adding more examples is welcome good, feel free to create PRs

Re: [opencog-dev] Learner

Hi, there are tutorials on the wiki http://wiki.opencog.org/w/Category:Tutorials I recommend you take a look at examples in the atomspace repo /examples first the pattern matcher, then rule-engine, etc. then the opencog repo /examples Nil On 04/23/2017 10:05 AM, Nageen Naeem wrote: Hi,

Re: [opencog-dev] Re: Calling forward/backward chainer

Cool. Thanks. It's not high priority, though still important, to have a user error check so it might take a while before I add it. Of course if you or anyone wants to give it a stab it's always welcome. Nil On 04/22/2017 12:09 AM, Vishnu Priya wrote: Thanks Nil. Yeah. That was the

Re: [opencog-dev] Re: How to handle input data that has an ID?

On 03/03/2017 11:28 AM, Vishnu Priya wrote: Yeah. True!! Inheritance Link takes only two arguments. My inputs belongs to certain ID. So somehow i want to associate my input with ID. It seems that, i could use AssociativeLink as Roman said. Then probably i could do PLN reasoning. But Are

Re: [opencog-dev] Re: How to handle input data that has an ID?

On 02/28/2017 10:18 PM, Vishnu Priya wrote: (define source (InheritanceLink (ConceptNode "Einstein") (ConceptNode "man") (NumberNode "8787") ) ) This inheritance link is ill-formed, it should only take 2 arguments. We plane to automatically type check that

Re: [opencog-dev] Calling forward/backward chainer

There were some errors in the readme, now corrected. Nil On 04/02/2017 11:22 PM, Alex wrote: I am also trying to run this https://github.com/opencog/atomspace/tree/master/examples/rule-engine/chaining example and I enter SCM commands one by one and I am also stopped at lines DefineLink

Re: [opencog-dev] PartitionLink, biological pathways, human bodies, etc.

On 08/03/2017 10:06 AM, Linas Vepstas wrote: There's also a problem of editing: what if, half-way through, you want to change the partition? Can you? should you? should users instead be told that a partition, once-created, is immutable, so you can only create and destroy them? But isn't the

Re: [opencog-dev] Re: Problems with opencog build - very low priority beginner question

On 07/11/2017 06:12 PM, Joseph Horner wrote: Actually I failed to mention I did receive a few errors during the "Cloning and building Atomspace" and "Cloning and building OpenCog" -- looks like some unit tests were failing which also showed as errors when I restarted my machine this morning.

Re: [opencog-dev] Re: Pattern mining from PLN inference histories

Hi Shujing, On 07/09/2017 11:34 PM, Shujing Ke wrote: Hi, thanks, I just implemented quoting the output patterns and the return AtomSpace: 1. There is a "if_quote_output_pattern" in config file, if it is set to true, the patterns will be quoted. 2. The quote link type can be define with

Re: [opencog-dev] Opencog noobie questions

On 07/21/2017 04:58 PM, neuropress...@gmail.com wrote: Ah thanks for letting me know about those rules, one more thing about this tho. Is there already a rule which let's opencog(chatbot) know that any statement made by a person or other information source it is talking to is what they think

Re: [opencog-dev] OpenCog and Research Interest ---

Hi Joseph, I suppose you should build opencog first http://wiki.opencog.org/w/Building_OpenCog (Ubuntu 14.04 is mentioned but I'm sure it works with more recent versions of Ubuntu, or other distros, I'm running Debian for instance). then run the examples under the atomspace and opencog repo

Re: [opencog-dev] Opencog noobie questions

On 07/31/2017 03:51 AM, Ed Pell wrote: Is there an example of text input and rule output from the relex2logic ? Thanks. This half-complete example has some https://github.com/opencog/opencog/blob/master/examples/pln/chicken-feet-or-pizza/chicken-feet-or-pizza.scm Nil On Sunday, July 30,

Re: [opencog-dev] PartitionLink, biological pathways, human bodies, etc.

On 08/06/2017 11:41 PM, Linas Vepstas wrote: Search becomes a problem. Say I want to find (using the pattern matcher) all sets that contain, as members, A B C. With set notation, I have to search for (Set X A B C) where X==(VariableNode "X") for 4-elelemnt sets, and then (Set X Y A B C) for

Re: [opencog-dev] Re: Pattern mining from PLN inference histories

Hi, On 06/21/2017 03:29 AM, Shujing Ke wrote: Hi, Ben and Nil, Thanks for all your responses. I may be a bit slow this week - it is too warm here and my baby is sick, he barely eat and drink anything since yesterday morning. *1. About the output format and TV of patterns* The pattern miner

Re: [opencog-dev] Re: Pattern mining from PLN inference histories

On 06/24/2017 11:23 PM, Shujing Ke wrote: Yes, to output the pattern. There are two ways: 1. return the atomspace that store the patterns. 2. return a HandleSeq of patterns. As far as the C++ API is concerned a HandleSeq, or an OrderedHandleSet/UnorderedHandleSet depending on whether we

Re: [opencog-dev] Re: Pattern mining from PLN inference histories

Ben, On 06/19/2017 07:49 PM, Ben Goertzel wrote: In the PLN case, if we take an example possible pattern like "two deductions in a row, involving associated entities, are often useful" that would look like A ==> B, B==>C |- A==>C A==>C, C ==> D |- A ==>D HebbianLink (D,B) useful(A==>D) So

Re: [opencog-dev] Re: Pattern mining from PLN inference histories

On 06/19/2017 09:29 PM, Nil Geisweiller wrote: ImplicationScopeLink V Y useful(X) where V, X and Y are meta-pattern-matcher variables as they represent patterns that the pattern miner should come up with (of course all this should be properly quoted), which looks very much like a

Re: [opencog-dev] A few bugs while installing a test version of OpenCog

Linas, based on https://github.com/opencog/atomspace/blob/master/opencog/scm/opencog.scm#L113 I assume that cog-undefined-handle is getting obsolete. However it is still on the wiki page http://wiki.opencog.org/w/Scheme#cog-undefined-handle Could you update that accordingly? (I wanted to

Re: [opencog-dev] A few bugs while installing a test version of OpenCog

Thanks a lot for your detailed bug report! Ideally you would create github issues if each of these, but this is already greatly appreciated. I'll have a careful look at them, already though regarding the slow down due to cog-undefined-handle this is probably because it is getting obsolete and

[opencog-dev] Re: Pattern mining from PLN inference histories

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

[opencog-dev] Re: gcc 4.8 -> 4.9

Actually 14.04 ships with 4.8, only 14.10 ships with 4.9. I guess that precludes from raising the minimum... Nil On 06/15/2017 05:38 AM, Nil Geisweiller wrote: Hi, I'd like to raise the minimum required version of gcc from 4.8 to 4.9. The latter has a much better support for C++14. I

[opencog-dev] gcc 4.8 -> 4.9

Hi, I'd like to raise the minimum required version of gcc from 4.8 to 4.9. The latter has a much better support for C++14. I don't think it bothers anyone since Ubuntu 14.04 ships with gcc 4.9, but I thought I'd ask anyway. Nil -- You received this message because you are subscribed to

Re: [opencog-dev] non-root build

On 06/11/2017 09:45 AM, Dmitry Ponyatov wrote: Have lot of error reports on cmake : | failed to create symbolic link '/home/ponyatov/cog/opencog/build/opencog/scm//opencog/pln/rules/propositional/blablabla.scm':Nosuch file ordirectory | I'm also having that. I don't understand the problem

Re: [opencog-dev] Re: Building OpenCog Error

I've never used octool, I rely on cmake to detect what is missing, maybe try to install cogutil, atomspace and opencog, and install whichever package cmake tells you is missing. Nil On 06/14/2017 09:08 PM, karthikbm2...@gmail.com wrote: Hello Dmitry, If I am right, Building OpenCog is the

Re: [opencog-dev] Re: Pattern mining from PLN inference histories

Shujing, in /opencog/learning/PatternMiner/types/atom_types.script you've defined PATTERN_LINK <- UNORDERED_LINK but such a link type already exist in /opencog/atoms/base/atom_types.script Nil On 06/19/2017 12:01 PM, Nil Geisweiller wrote: Actually patterns involving scopes require quote

Re: [opencog-dev] Re: Pattern mining from PLN inference histories

: *1*. Do not consider any VariableNodes are connected with each other out of a clause, even they have the same name. Again, only assume that variables with different scopes are not connected to each others. *5*. (optional), if it is necessary, TypedVariableLinks ca

Re: [opencog-dev] Re: Pattern mining from PLN inference histories

Actually patterns involving scopes require quote links. Let me consider the following pattern (the simplest of that sort I could find): ;Pattern: Frequency = 6 (ExecutionOutputLink (stv 1.00 1.00) (GroundedSchemaNode "scm: conditional-full-instantiation-formula" (stv 1.00

Re: [opencog-dev] Re: Pattern mining from PLN inference histories

anyway), but they might be meaningful in some situations. Which means in the process of pattern miner, I probably should do this: *1*. Do not consider any VariableNodes are connected with each other out of a clause, even they have the same name.

[opencog-dev] Re: define_scheme_primitive comiple error

Hi, I'm about to merge (well in a few hours) another even simpler version of that, which may hopefully solve the problem. Nil On 06/14/2017 01:04 PM, Shujing Ke wrote: Hi Nil, I pull the lastest atomspace and opencog and got the comiple error below:

Re: [opencog-dev] PLN rules selection

Vishnu, I don't know if the NLP pipeline is mature enough to process that... After you've parsed the sentence you may check whether it has produced knowledge that is similar to the criminal example https://github.com/opencog/atomspace/blob/master/tests/rule-engine/criminal.scm I don't think

Re: [opencog-dev] Contributing to OpenCog

Hi, On 05/05/2017 05:14 PM, Pranav Deshpande wrote: I would like to contribute to OpenCog. What aspects of AI and ML do I need to know to contribute; or can I just get started? I wanted some guidance. it all depends on what you'd like to do, if you desire to go to the bottom of it I think

Re: [opencog-dev] Contributing to OpenCog

Great wikipage containing what you're looking for and more http://wiki.opencog.org/w/Background_Publications Nil On 05/05/2017 08:47 PM, Pranav Deshpande wrote: Hello and thank you for the reply. I will start reading the book as you suggest, Could you please send me the electronic draft?

Re: [opencog-dev] OpenCog mysteries revealed - 'code-as-data' programs as universal knowledge base?

On 09/19/2017 08:23 PM, Alex wrote: OpenCog uses Scheme as knowledge representation language (as I understand, then this is one from many options for interfacing with OpenCog). So - this is natural question - *how close are valid Scheme programms to the sentences of OpenCog knowledge? Are

Re: [opencog-dev] Contributing to Opencog

On 10/07/2017 04:39 PM, Linas Vepstas wrote> So here's a completely different but related idea: First, use a crisp reasoner to deduce what happens whenever strength>0.. Next, do it again, but now for strength>0.8. (but still using the crisp reasoner: just take strength>0.8 to mean

Re: [opencog-dev] Tracking of an atomese mind through the generations

You can also evolve atomese programs maximizing some fitness, like MOSES does, you don't necessarily need experience. MOSES is gonna be ported to the AtomSpace, it sounds related to what you want to do. Nil On 10/04/2017 07:48 AM, Linas Vepstas wrote: Learning requires a bunch of experiences

Re: [opencog-dev] Contributing to Opencog

On 10/04/2017 11:02 AM, Linas Vepstas wrote> And can implement algorithms in the graph database-agnostic way and use all the industrial power of the best database available. Scientists do use commercial off-the-shelf computers for HPC, why not to use industrial software? And

Re: [opencog-dev] Contributing to Opencog

The AtomSpace project should probably be promoted on its own, have its own webpage, purpose, reference manual, tutorial, etc. Also what is missing to get more main stream is a way to define atom types within atomese itself, so it could being used as a more neutral graph db. That's really the

Re: [opencog-dev] Re: Graphs for the two representations of the knowledge and ideas about the third generation Cog system - MOC - MetaOmegaCog?

On 10/03/2017 08:29 PM, Alex wrote: source projects and tools for matcher in miner and I have found even one open source project for rule engine that is implemented on top of graph Interesting, which one? I just wanted to say that maybe relying on (and contributing to) open source projects

Re: [opencog-dev] ./octool: line 583: cd: cogutils-master/: No such file or directory

Hi David, thanks for your report! Your fix is correct. Generally, issues like this would be reported on github. Each repository has an issue tab that allows you to create one (for ocpkg it would be https://github.com/opencog/ocpkg/issues). But since you already have a fix I would recommend

  1   2   3   4   >