Re: [opencog-dev] Interested in contributing

2019-04-22 Thread Linas Vepstas
On Mon, Apr 22, 2019 at 7:17 PM Sarah Weaver wrote: > So the mailing list is the main way the community operates these days? > Yes. There is also an IRC channel, but no one uses it. There are multiple slack channels, that no one uses. I think slack is broken-by-design, and would prefer if matrix

[opencog-dev] Re: Testing the same unsupervisedly learned grammars on different kinds of corpora

2019-04-22 Thread Linas Vepstas
Hi Anton, On Mon, Apr 15, 2019 at 11:18 AM Anton Kolonin @ Gmail wrote: > Ben, Linas, > > Let me comment on latest results, given LG-English parses are given as > input for Grammar Learner using Identical Lexical Entries (ILE) > algorithm and compared against the same input LG-English parses - f

[opencog-dev] Re: Testing the same unsupervisedly learned grammars on different kinds of corpora

2019-04-22 Thread Linas Vepstas
On Mon, Apr 15, 2019 at 11:18 AM Anton Kolonin @ Gmail wrote: > > > 1) Identical Lexical Entries (ILE) algorithm is "over-fitting" in fact, > so there is still way to go being able to learn "generalized grammars"; > Can you explain in detail what "Identical lexical entries" are? I can guess, but

[opencog-dev] Re: Testing the same unsupervisedly learned grammars on different kinds of corpora

2019-04-22 Thread Linas Vepstas
On Mon, Apr 15, 2019 at 9:02 PM Anton Kolonin @ Gmail wrote: > Ben, > > I'd be curious to see some examples of the sentences used in > > *** > 5 0 100.00% 1.00 - sentences with each word occurring 5+ > 10 0 100.00% 1.00 - sentences with each word occurring 10+ > 50

[opencog-dev] Re: Testing the same unsupervisedly learned grammars on different kinds of corpora

2019-04-22 Thread Linas Vepstas
labeled dependency > parses (where "correct" means agreement w/ human-expert > grammatical judgments, in this case) > > ben > > On Tue, Apr 23, 2019 at 11:40 AM Linas Vepstas > wrote: > > > > Hi Anton, > > > > On Mon, Apr 15, 2019 at 11:1

[opencog-dev] Re: Testing the same unsupervisedly learned grammars on different kinds of corpora

2019-04-22 Thread Linas Vepstas
On Mon, Apr 22, 2019 at 11:18 PM Anton Kolonin @ Gmail wrote: > > We are going to repeat the same experiment with MST-Parses during this > week. > The much more interesting experiment is to see what happens when you give it a known percentage of intentionally-bad unlabelled parses. I claim that

[opencog-dev] Re: Testing the same unsupervisedly learned grammars on different kinds of corpora

2019-04-23 Thread Linas Vepstas
On Tue, Apr 23, 2019 at 5:00 AM Ben Goertzel wrote: > > On Mon, Apr 22, 2019 at 11:18 PM Anton Kolonin @ Gmail < > akolo...@gmail.com> wrote: > >> > >> > >> We are going to repeat the same experiment with MST-Parses during this > week. > > > > > > The much more interesting experiment is to see wh

[opencog-dev] Re: Testing the same unsupervisedly learned grammars on different kinds of corpora

2019-04-23 Thread Linas Vepstas
Hi Ben, On Tue, Apr 23, 2019 at 5:09 AM Ben Goertzel wrote: > *** > Ah, well, hmm. It appears I had misunderstood. I did not realize that > the input was 100% correct but unlaballed parses. In this case, > obtaining 100% accuracy is NOT suprising, its actually just a proof > that the code is rea

Re: [opencog-dev] Re: The Schemewrapper Python module appears to be missing some files

2019-04-27 Thread Linas Vepstas
On Sat, Apr 27, 2019 at 1:24 PM Johannes Castner wrote: > now I also tried "apt-get install lib32readline-dev" and it still didn't > work. How can I make readline work? > Why not lib64readline-dev or better yet, plain-old libreadline-dev? Are you trying to make opencog run in a 32-bit system?

Re: [opencog-dev] Fwd: Atomspace Package

2019-04-29 Thread Linas Vepstas
_', '__test__', 'createFloatValue', > 'createLinkValue', 'createStringValue', 'createTruthValue', > 'create_child_atomspace', 'get_refreshed_types', 'get_type', > 'get_type_name', 'is_a',

[opencog-dev] Re: Testing the same unsupervisedly learned grammars on different kinds of corpora

2019-05-01 Thread Linas Vepstas
to the cost. I dunno. I was half-way through these experiments when Ben re-assigned me, so this is all new territory. -- Linas > -Anton > > > 24.04.2019 4:13, Linas Vepstas пишет: > > > > On Tue, Apr 23, 2019 at 5:00 AM Ben Goertzel wrote: > >> > On Mon,

[opencog-dev] Re: Testing the same unsupervisedly learned grammars on different kinds of corpora

2019-05-01 Thread Linas Vepstas
On Wed, Apr 24, 2019 at 9:31 PM Anton Kolonin @ Gmail wrote: > Ben, Linas, here is full set of results generated by Alexey: > > Results update: > My gut intuition is that the most interesting numbers would be this: > MWC(GT) MSL(GT) PA F1 > > 5 2 > 5 3 > 5 4 > 5 5

Re: [opencog-dev] Re: Testing the same unsupervisedly learned grammars on different kinds of corpora

2019-05-01 Thread Linas Vepstas
On Fri, Apr 26, 2019 at 11:57 AM Sarah Weaver wrote: > Hey did my last message show up in spam again? :P > The above is the full text of what I received from you, and nothing more. --linas -- cassette tapes - analog TV - film cameras - you -- You received this message because you are subscr

Re: [opencog-dev] Re: Maturity of the Sheaf API and its Python Bindings

2019-05-01 Thread Linas Vepstas
Hi James, On Wed, Apr 24, 2019 at 1:29 PM James Bolden wrote: > Also, can someone elaborate on the meaning of the EvaluationLink structure > mentioned on the sheaf github readme? > See https://wiki.opencog.org/w/EvaluationLink These are the most basic, most primitive ways of representing dat

Re: [opencog-dev] The Graph Traversal Machine: Close Encounters of the Fourth Kind

2019-05-14 Thread Linas Vepstas
On Mon, May 13, 2019 at 6:47 AM Amirouche Boubekki < amirouche.boube...@gmail.com> wrote: > > c) Like I said previously, I think what you need is foundationdb >> >> > That website provvokes a browser error, and cannot be displayed. > > I will continue to experiment with

Re: [opencog-dev] Current status of the Space/Time Server

2019-05-15 Thread Linas Vepstas
Hi Joel, Good to hear from you! Yes, please please please do this! On Tue, May 14, 2019 at 9:29 PM Joel Pitt wrote: > Hi all, > > I may be jumping into some OpenCog development, and I'm keen to know the > current status of SpaceServer. I know the code in the opencog repo is > deprecated, > As

Re: [opencog-dev] Current status of the Space/Time Server

2019-05-16 Thread Linas Vepstas
Hi Desmond, Jamie, If you guys are no longer working on ROS sensor-fusion/object-identification & tracking code, let me know. If it is someone else, please put me in touch? We still have ongoing discussions on how to handle 3D position data in opencog, see below. I would like to get everyone "on t

Re: [opencog-dev] Current status of the Space/Time Server

2019-05-18 Thread Linas Vepstas
On Fri, May 17, 2019 at 10:23 AM Vitaly Bogdanov wrote: > Hi Linas, > > The intended design is that there is a well-known Value that is attached >> to red-cube. That Value is knows how to obtain the correct 3D location >> from the SpaceServer (or some other server, e.g. your server). That Value

Re: [opencog-dev] Current status of the Space/Time Server

2019-05-18 Thread Linas Vepstas
enes, and related to some > discussions Linas and I had earlier about making Atomspace schema > processing support continuations. If one is manipulating > continuations rather than just functions, then maintaining and > manipulating the external computation graph is "just" an efficient

Re: [opencog-dev] Current status of the Space/Time Server

2019-05-18 Thread Linas Vepstas
lot of the current discussion is taking place > > If you'd like to join this Slack -- which is private not public at > this point -- let me know and we can re-send you the email for you to > set up your li...@singularitynet.io email address, which you need in > order to

Re: [opencog-dev] Current status of the Space/Time Server

2019-05-23 Thread Linas Vepstas
Hi Vitaly, On Wed, May 22, 2019 at 11:19 AM Vitaly Bogdanov wrote: > Hi Linas, > > It was merged half-a-year-ago, a year-ago. >> >> In current atomspace/opencog code I can find OctoMapValue only which >>> inherits FloatValue (and keeps vector of doubles in it) + has update() >>> method which upd

Re: [opencog-dev] Current status of the Space/Time Server

2019-05-23 Thread Linas Vepstas
On Wed, May 22, 2019 at 3:11 PM Vitaly Bogdanov wrote: > Hi Ben, > > It seems analogous to what is done in Haskell to support backtracking >> and Prolog-type cut and so forth. There one does use an "external" >> system to manage historical records, but this external system is >> hidden behind th

Re: [opencog-dev] Current status of the Space/Time Server

2019-05-23 Thread Linas Vepstas
> This sounds like that old conversation coming back to life. Stop using > GroundedPredicateNodes. Start using Values. That is what they are there > for. That is what they were created for. FloatValue was created last > summer, specifically for the neural-net/tensorflow project. > I mean, at

Re: [opencog-dev] Current status of the Space/Time Server

2019-05-23 Thread Linas Vepstas
Hi Joel; I haven't heard back from you. Some of what I said in this email chain was misleading. So, to fix that, I reviewed and re-wrote the wiki-page https://wiki.opencog.org/w/SpaceServer It should now accurately capture the actual status of things. If there's anything unclear there, or seems

Re: [opencog-dev] The Graph Traversal Machine: Close Encounters of the Fourth Kind

2019-05-24 Thread Linas Vepstas
On Fri, May 24, 2019 at 4:35 PM Amirouche Boubekki < amirouche.boube...@gmail.com> wrote: > > >> Each atom is approx 50 to 200-ish bytes, typical. >> > That is what it would cost to STORE an atom to disk. I guess. Depends on what indexes you'd need to keep. The In-RAM atoms are about 1.5KBytes ea

Re: [opencog-dev] Newbie

2019-05-24 Thread Linas Vepstas
Hi! On Fri, May 24, 2019 at 3:07 PM buj wrote: > Hello, > > I am interested in contributing to the project, mainly the atomspace part > of it. I believe I will be just fine with all the documentation and wiki. > However, as I am new, it would be good if I could "check my understanding" > of some

Re: [opencog-dev] Re: Internship for OpenCog

2019-05-25 Thread Linas Vepstas
There is a 3-years-unmaintained full-stack robot here: https://github.com/opencog/docker/tree/master/indigo/eva-opencog with a general review here: https://github.com/opencog/docker/tree/master/indigo This was an avatar+chatbot combined into one, using parts of opencog to work. As its unmaintain

Re: [opencog-dev] Example use of link grammar output

2019-05-26 Thread Linas Vepstas
Are you asking "what does this mean?" or "what can you do with it?" For the meaining of the graph, you have to read the link-grammar documentation. For an example of something you can do, see https://wiki.opencog.org/w/SpaceServer --linas On Sat, May 25, 2019 at 6:45 PM Amirouche Boubekki < a

Re: [opencog-dev] Newbie

2019-05-26 Thread Linas Vepstas
Hi, Good questions! On Sat, May 25, 2019 at 6:09 PM buj wrote: > Thanks for the introduction. > > Speaking of people randomly wandering to opencog and going WTF... I > figured my current understanding of things might reveal some, let's say, > common pitfalls. Which might lead to better document

Re: [opencog-dev] Triple extraction from text

2019-05-26 Thread Linas Vepstas
Hi Amirouche, On Sat, May 25, 2019 at 6:32 PM Amirouche Boubekki < amirouche.boube...@gmail.com> wrote: > Hello, > > > Is there existing work or work you want to recommend to me regarding the > topic of extracting triples from text. > > Here are some example: > > - Bloomberg is an analytics compa

Re: [opencog-dev] Current status of the Space/Time Server

2019-05-26 Thread Linas Vepstas
SpaceTime server as you see it. > Well, that would be cool. I think that what I wrote in the wiki page consists of bite-size, achievable steps that would be a good warmup for getting back into opencog. Where 'bite-size" is a relative concept. -- Linas > Joel > > > &

[opencog-dev] [ANNOUNCE] Link-Grammar Version 5.6.1

2019-05-27 Thread Linas Vepstas
This announces availability of version 5.6.1 of Link Grammar. This is an important update: it more than doubles the performance across a broad range of different input texts. Kudos to Amir for this amazing work, as he took something that seemed quite fast to begin with, and squeezed out an honest f

Re: [opencog-dev] Re: Internship for OpenCog

2019-05-28 Thread Linas Vepstas
On Tue, May 28, 2019 at 10:53 PM Daniel wrote: > Ok, so from what I’ve gathered, it seems like I have to build opencog > before I can analyze the code. Is this correct? > If you are interested in the guts of the current code, and if you can't build it, you will be lost forever. Being able to bui

Re: [opencog-dev] Re: Internship for OpenCog

2019-05-29 Thread Linas Vepstas
On Wed, May 29, 2019 at 6:25 PM Joseph Horner wrote: > I was able to build the code on a stand alone instance of ubuntu. That > was last year before i was hit with some personal issues. I'd like to jump > back into the code base, where is the link to the docker image? that would > be the most

Re: [opencog-dev] Re: RelEx Issue: "no link-grammar-jar in java.library.path"

2019-05-29 Thread Linas Vepstas
On Wed, May 29, 2019 at 10:14 PM Jack Park wrote: > Correction: no link-grammar-java > Well, that just says that something somewhere is not finding the link-grammar java bindings. I cannot speculate why. Maybe some CLASSPATH doesn't point to the where the link-grammar jar file is. Normally, I

Re: [opencog-dev] Re: RelEx Issue: "no link-grammar-jar in java.library.path"

2019-05-29 Thread Linas Vepstas
On Wed, May 29, 2019 at 11:43 PM Jack Park wrote: > Thank you. I did some other experiments and managed to make this deduction: > I did not have Ant installed when I built the platform. I only discovered > that when I went in to hand build the linkgrammar.jar > But, that led to this: it apparentl

Re: [opencog-dev] Understanding AtomSpace through Java

2019-05-30 Thread Linas Vepstas
Hi Jack, Wow! I welcome the effort, its nice to have projects influence one-another. I would like to point out something: to **understand** the atomspace, reading the source code is probably the hardest, most confusing, and misleading way of doing it (as in there lurks bugs and occasional bad des

Re: [opencog-dev] Understanding AtomSpace through Java

2019-05-30 Thread Linas Vepstas
I converted this email to a brand-new intro for the wiki page https://wiki.opencog.org/w/AtomSpace#Overview -- linas On Thu, May 30, 2019 at 3:01 PM Linas Vepstas wrote: > Hi Jack, > > Wow! I welcome the effort, its nice to have projects influence one-another. > > I would li

Re: [opencog-dev] Understanding AtomSpace through Java

2019-05-30 Thread Linas Vepstas
Hi Jack, I looked over the google-docs document on anticipatory machine reading. You might get new insight from reading http://www.coli.uni-saarland.de/courses/syntactic-theory-09/literature/MTT-Handbook2003.pdf Sylvain *KAHANE 's* review of Meaning-Text theory. I think you will enjoy the way mean

Re: [opencog-dev] Newbie

2019-05-30 Thread Linas Vepstas
On Thu, May 30, 2019 at 3:25 PM buj wrote: > Upon further study, I have become quite confused on atomspace's type > system. Let me explain: > > I was on my quest to understand which links are executable, and which are > evaluatable. So I came across various resources: the scheme command > cog-get

Re: [opencog-dev] Newbie

2019-05-31 Thread Linas Vepstas
On Fri, May 31, 2019 at 12:59 AM 'Nil Geisweiller' via opencog < opencog@googlegroups.com> wrote: > > > PresentLink, AbsentLink---the implementation seems obvious from an > > outside perspective/at first glance. > > I thought that AbsentLink implementation was nearly complete, and the > Pr

Re: [opencog-dev] P vs NP

2019-06-14 Thread Linas Vepstas
my knowledge - not mathematical > abstractions, but type theory oriented - as noted on Stackexchange. Maybe I > should give it another try, I'll see. > I pointed you at the PDF. Go for the PDF. --linas > > Thanks again, > Ivan V. > > > uto, 2. tra 2019. u 20:05 Linas Ve

Re: [opencog-dev] P vs NP

2019-06-14 Thread Linas Vepstas
On Fri, Jun 14, 2019 at 10:55 AM Ivan V. wrote: > > The question about this post is: Does this possible isomorphism mean t > In grammar, you are given a string of symbols, and have to find how they connect. In theorem-proving, you are only given the end-points. You have to find everything in t

[opencog-dev] Re: Testing the same unsupervisedly learned grammars on different kinds of corpora

2019-06-15 Thread Linas Vepstas
On Mon, May 6, 2019 at 12:30 AM Ben Goertzel wrote: > > > On Sun, May 5, 2019 at 10:15 PM Anton Kolonin @ Gmail > wrote: > >> Hi Linas, I am re-reading your emails and updating our TODO issues from >> some of them. >> >> Not sure about this one: >> >Did Deniz Yuret falsify his thesis data? He go

Re: [opencog-dev] Getting error while running scheme functions through the Python library

2019-06-18 Thread Linas Vepstas
What Joel says. Are you using rnrs on purpose, or did that just somehow sneak into the code? --linas On Tue, Jun 18, 2019 at 8:52 AM Xabush Semrie wrote: > Hi, > > When run a scheme function through the guile shell it runs perfectly fine > and I get the expected result. However, running the sa

Re: [opencog-dev] Getting error while running scheme functions through the Python library

2019-06-20 Thread Linas Vepstas
On Thu, Jun 20, 2019 at 9:35 AM Xabush Semrie wrote: > > Are you using rnrs on purpose, >> > > Yes. I am using (rnrs records) module. I will come up with a minimal > reproducible example but I wanted to understand the scheme error message > because it looks cryptic to me. > Well, given that the

[opencog-dev] Re: finished experiment on GC - GL/GT on fully parsed sentences with MWC=1-5

2019-06-22 Thread Linas Vepstas
set that is 1000x larger. But that should be enough; larger than that will surely not be needed. (famous last words. Sometimes, things just converge slowly...) -- Linas > Still, we have got "surprize-surprize" with "gold reference corpus". Note, > it still says "par

Re: [opencog-dev] Re: finished experiment on GC - GL/GT on fully parsed sentences with MWC=1-5

2019-06-22 Thread Linas Vepstas
in only 418 unique vocabulary words. This is typical not only of Antons dicts, but also my own: the vocabulary of the training set overlaps poorly with the vocabulary of the test set -- any test set, not just the golden one. This is Zipf's law in spades.) --linas > ben > > On Sat,

Re: [opencog-dev] Performance improvement suggestion for the LALR parser generator used by GHOST

2019-06-29 Thread Linas Vepstas
Dumb question: why the heck would you need to "parse" atomese? Especially since it already comes with a built-in parser? What are you actually trying to do? --linas On Sat, Jun 29, 2019 at 10:04 AM Xabush Semrie wrote: > Hi, > > I have been working recently on LALR parser to parse atomese to JS

Re: [opencog-dev] Performance improvement suggestion for the LALR parser generator used by GHOST

2019-06-29 Thread Linas Vepstas
On Sat, Jun 29, 2019 at 3:54 PM Xabush Semrie wrote: > > why the heck would you need to "parse" atomese? > > What are you actually trying to do? > > > I am converting it to JSON for graph visualization with Cytoscape.js for > an annotation service. For example, > (EvaluationLink > (PredicateNod

Re: [opencog-dev] Performance improvement suggestion for the LALR parser generator used by GHOST

2019-06-29 Thread Linas Vepstas
a good demo. Maybe you need more sophisticated features, but the above is lots easier than trying to figure out LALR. I mean, knowing what LALR is and having experience with it is a "good thing", but its overkill for this particular problem. --linas On Sat, Jun 29, 2019 at 3:58 PM Li

Re: [opencog-dev] Performance improvement suggestion for the LALR parser generator used by GHOST

2019-06-29 Thread Linas Vepstas
> >> ; and then define the printer: >> >> (define (print-stuff src tgt xps) >>(format #t "{ \"data\": {\"source\": \"~A\", \"target\": \"~A\", >> "name": \"~A\", \"group\": \

Re: [opencog-dev] No activity since 24th/July?

2019-08-21 Thread Linas Vepstas
I'm busy reading academic papers. -- linas On Tue, Aug 20, 2019 at 5:12 PM joemagicdeveloper < joemagicdevelo...@gmail.com> wrote: > Or is it me? > > -- > You received this message because you are subscribed to the Google Groups > "opencog" group. > To unsubscribe from this group and stop receivi

Re: [opencog-dev] No activity since 24th/July?

2019-08-21 Thread Linas Vepstas
On Tue, Aug 20, 2019 at 7:29 PM Ben Goertzel wrote: > Most development is on the singnet fork at the moment... > Well, except that's not true :-) At any rate, this deserves a longer more complex answer. There are very few free-lance developers working on opencog, and the reason is very simple: i

Re: [opencog-dev] No activity since 24th/July?

2019-08-21 Thread Linas Vepstas
Well, Industry 2.0 is the exciting mega-thing going on in manufacturing, of course. I remain interested in the extraction of models from language. Now, normally, when people say this, they are thinking of sight and sound (human vision), but of course, perception and action apply to assembly lines j

[opencog-dev] Re: [Link Grammar] Parsing Based on Link-Grammars and SAT Solvers, unpublished draft paper.

2019-09-29 Thread Linas Vepstas
CC'ing the opencog mailing list. On Sun, Sep 29, 2019 at 3:08 PM Amirouche Boubekki < amirouche.boube...@gmail.com> wrote: > > My goal has not changed since 5 years! I want to create a mini-opencog > framework. In the spirit of Scheme that builds abstractions on top of > powerful primitives, such

[opencog-dev] AtomSpace on IPFS !

2019-10-19 Thread Linas Vepstas
Pursuant to a recent question from Jim Rutt, I thought it might be interesting to see if its possible to layer the atomspace on top of IPFS. Rather than speculate, I thought I'd try to do it. It's here: https://github.com/linas/atomspace-ipfs So far you can only store the AtomSpace to IPFS; you

[opencog-dev] Re: AtomSpace on IPFS !

2019-10-19 Thread Linas Vepstas
Oh, I found one: This should work: https://explore.ipld.io/#/explore/QmT9tZttJ4gVZQwVFHWTmJYqYGAAiKEcvW9k98T5syYeYU -- linas On Sat, Oct 19, 2019 at 11:19 PM Linas Vepstas wrote: > Pursuant to a recent question from Jim Rutt, I thought it might be > interesting to see if its possi

Re: [opencog-dev] Re: AtomSpace on IPFS !

2019-10-21 Thread Linas Vepstas
h, I found one: This should work: >> >> >> https://explore.ipld.io/#/explore/QmT9tZttJ4gVZQwVFHWTmJYqYGAAiKEcvW9k98T5syYeYU >> >> -- linas >> >> On Sat, Oct 19, 2019 at 11:19 PM Linas Vepstas >> wrote: >> >>> Pursuant to a recent question from Jim

Re: [opencog-dev] Re: AtomSpace on IPFS !

2019-10-21 Thread Linas Vepstas
On Mon, Oct 21, 2019 at 5:46 AM Roland Coeurjoly wrote: > When I click in the link you posted: > > > https://explore.ipld.io/#/explore/QmT9tZttJ4gVZQwVFHWTmJYqYGAAiKEcvW9k98T5syYeYU >

Re: [opencog-dev] No activity since 24th/July?

2019-10-28 Thread Linas Vepstas
On Mon, Oct 28, 2019 at 3:50 AM Abdulrahman Semrie wrote: > > However, the communication channels for opencog related discussions seem > too few and not much goes around. I checked the Opencog slack and the > discussions are sparse and somewhat "futuristic" . I was wondering if there > are any re

[opencog-dev] Re: AtomSpace on IPFS !

2019-10-29 Thread Linas Vepstas
For your entertainment: the AtomSpace on top of IPFS is now "code complete"! The code is here: https://github.com/opencog/atomspace-ipfs > > It works. (Six of seven unit tests pass; the seventh unit test is a multi-user unit test and it fails because th

Re: [opencog-dev] Is there a way to traverse the atomspace using Python Bindings?

2020-01-06 Thread Linas Vepstas
? There is no `scheme_eval` in the snippet of code that you just posted. You can get all atoms (links and nodes, at the same time) by saying atomspace.get_atoms_by_type(types.Atom) which will return both. That way, you don't need the call to ` traverse_atomspace_helper` There are two bugs in

Re: [opencog-dev] Trying to implement path reasoning on Predicates but running into inference problems.

2020-01-10 Thread Linas Vepstas
Hi Alex, The following caught my eye: On Wed, Jan 8, 2020 at 8:39 AM Alexander Gabriel wrote: > H > def deduction_formula(AC, AB, BC): > tv1 = AB.tv > tv2 = BC.tv > if tv1.mean > 0.5 and tv2.mean > 0.5 and tv1.confidence > 0.5 and > tv2.confidence > > 0.5: > AC.tv = TruthVa

Re: [opencog-dev] Trying to implement path reasoning on Predicates but running into inference problems.

2020-01-10 Thread Linas Vepstas
On Fri, Jan 10, 2020 at 2:49 PM Alexander Gabriel wrote: > Hi Linas! > > >> This is a relatively minor point, and for a demo, scheme or python >> formulas are sufficient, but for anything that you expect to run quickly, >> the native formulas would be better. >> > > Thanks for the tip! :) > Do yo

Re: [opencog-dev] Trying to implement path reasoning on Predicates but running into inference problems.

2020-01-10 Thread Linas Vepstas
perhaps for efficiency or for some specialized use case. As Linas says, Nil > might know more about why that deduction rule is coded the way it is. The > actual deduction rule would be more complex. > > —matt > > On Jan 10, 2020, at 1:55 PM, Linas Vepstas wrote: > > > &

Re: [opencog-dev] Trying to implement path reasoning on Predicates but running into inference problems.

2020-01-10 Thread Linas Vepstas
On Fri, Jan 10, 2020 at 7:58 AM Alexander Gabriel wrote: > > When I try to do that with rules defined in scheme like this: > > MemberLink(DefinedSchemaNode("bc-deduction-rule-name"), rbs) > > There's a typo in the above. It should be " bc-deduction-rule" not "bc-deduction-rule-name". Which is why

Re: [opencog-dev] Trying to implement path reasoning on Predicates but running into inference problems.

2020-01-10 Thread Linas Vepstas
I'm not sure what to make of the email below. By "query", do you mean "run cog-execute! on a BindLink"? if so, then you are only running the pattern matcher, and not the URE. The pattern matcher never sets or changes truth values, so you describe an impossible situation. So, I guess you are runni

Re: [opencog-dev] Trying to implement path reasoning on Predicates but running into inference problems.

2020-01-10 Thread Linas Vepstas
Yeah, beats me. I don't know how the chainer works. Nil will know more. --linas On Fri, Jan 10, 2020 at 4:50 PM Alexander Gabriel wrote: > > > Am Freitag, 10. Januar 2020 22:44:45 UTC schrieb linas: >> >> I'm not sure what to make of the email below. By "query", do you mean >> "run cog-execute!

Re: [opencog-dev] Trying to implement path reasoning on Predicates but running into inference problems.

2020-01-14 Thread Linas Vepstas
Sanity check -- do you have the latest cogutils and the latest atomspace? Are you sure you installed to the same location (e.g. you don't have a second conflicting cogutils/atomspace in /opt vs /usr/local ?) Are you using the opencog-github versions instead of the singularity-net versions? -- lina

Re: [opencog-dev] Working for opencog

2020-01-14 Thread Linas Vepstas
On Tue, Jan 14, 2020 at 12:37 AM sree hari wrote: > Therefore I will try to sell myself by declaring that I am possibly > suffering from Obsessive Disorder. While this is having a bad effect on my > life, > Obsessiveness is only a disorder if you let it be one. Certainly, if you obsessively smo

Re: [opencog-dev] Trying to implement path reasoning on Predicates but running into inference problems.

2020-01-14 Thread Linas Vepstas
OK, that seems to be new enough and with self-consistent timestamps, it should work. Try fiddling with the logger all by itself, at the guile prompt, see if you can make it work. The only issue I can think of would be with regards to the cogserver: the logger works both with and without the cogser

Re: [opencog-dev] Trying to implement path reasoning on Predicates but running into inference problems.

2020-01-14 Thread Linas Vepstas
On Tue, Jan 14, 2020 at 10:13 AM Alexander Gabriel wrote: > and if I set the cog-logger also to debug I find ure and cog debug > messages. > I wasn't aware there were different loggers. > I'm not sure how they designed the logger code, I think its supposed to just be a flag for tracing a sub-com

Re: [opencog-dev] Re: Trying to implement path reasoning on Predicates but running into inference problems.

2020-01-16 Thread Linas Vepstas
On Thu, Jan 16, 2020 at 7:52 AM 'Nil Geisweiller' via opencog < opencog@googlegroups.com> wrote: > On 1/16/20 3:22 PM, Alexander Gabriel wrote: > > > > So, from looking at the AndLink, I gather that it can only be applied > > to EvaluationLinks, InheritanceLinks, OrLinks, NotLinks, > > and Executi

Re: [opencog-dev] Re: Trying to implement path reasoning on Predicates but running into inference problems.

2020-01-16 Thread Linas Vepstas
On Thu, Jan 16, 2020 at 8:05 AM Alexander Gabriel wrote: > Also, are you sure you want to use StateLink? I tend to think reasoning >> works better on immutable structures. >> > > The robot needs to decide what to do based on the state of the human and > the environment, so if the human has a crat

Re: [opencog-dev] Re: Trying to implement path reasoning on Predicates but running into inference problems.

2020-01-16 Thread Linas Vepstas
On Thu, Jan 16, 2020 at 3:28 PM Alexander Gabriel wrote: > >> PresentLinks and AlwaysLinks are "reserved keywords" intended for the >> pattern matcher, only. If you defocus your eyes a bit, then sure, they >> seem to resemble the predicate-logic "there-exists" and "for-all" . But >> the were no

Re: [opencog-dev] I guess my reasoning rule can't find the defined python function

2020-01-20 Thread Linas Vepstas
It goes here: https://github.com/opencog/atomspace/blob/873431bdae3b3f44ed26c47993fee8b2979d7cf9/opencog/atoms/execution/ExecutionOutputLink.cc#L202-L211 and then into here https://github.com/opencog/atomspace/blob/873431bdae3b3f44ed26c47993fee8b2979d7cf9/opencog/cython/PythonEval.cc#L995 and d

Re: [opencog-dev] I guess my reasoning rule can't find the defined python function

2020-01-20 Thread Linas Vepstas
Well, OK, I'm not sure if that's a bug or not, and at any rate, there should be some error message that would make this clear for the next person. Anatoly, Vitaly, opinions? Can you fix this so that this kind of user-error is easier to track down? --linas (I can't cc Anatoly, can't find his ema

Re: [opencog-dev] Re: Trying to implement path reasoning on Predicates but running into inference problems.

2020-01-21 Thread Linas Vepstas
On Mon, Jan 20, 2020 at 8:04 AM 'Nil Geisweiller' via opencog < opencog@googlegroups.com> wrote: > > I can't really tell, I've never used StateLink. As Linas suggested Value > might be better for various reasons. But as an AI-via-reasoning > fundamentalist I would think ideally you should avoid im

Re: [opencog-dev] why scheme not common lisp

2020-02-06 Thread Linas Vepstas
Hi Paarulakan .. Why scheme instead of lisp? Well, scheme is a modern-lisp, having cleaned up assorted messes and inconsistencies and ugly-bits. Kind of like asking "why C instead of fortran?" Why guile-scheme instead of some other scheme? Guile offered vastly superior integration into C/C++ t

Re: [opencog-dev] why scheme not common lisp

2020-02-07 Thread Linas Vepstas
On Fri, Feb 7, 2020 at 1:02 AM paarulakan(பாருலகன்) < selva.develo...@gmail.com> wrote: > Hi Linas, > > Thank you. Can you point me to documentation for 'how the backward-forward > things' > The general theory would be explained in textbooks that explain chaining, reasoning, deduction. I assume t

Re: [opencog-dev] why scheme not common lisp

2020-02-07 Thread Linas Vepstas
Whoops. I realize I misunderstood your question. When you said "backward-foreward" you were not talking about the chainer, but rather the API between the atomspace and scheme. So a very very different question. Nothing to do with chaining. But rather than fumbling an answer by email, do this firs

Re: [opencog-dev] Basic Question Moses Combo Program

2020-02-09 Thread Linas Vepstas
On Sun, Feb 9, 2020 at 4:26 AM Lance White wrote: > Hi to All, > > A really basic question about Moses. So I can run the examples and test > files no problems. But how do I use the output combo program? > > moses -H it -i disjunction.csv > > 0 or($1 $2 $3) > > -1 true > > -1 or($1 $2) > > > Let

Re: [opencog-dev] Bootstrapp seed for a grammar in natural language

2020-02-11 Thread Linas Vepstas
Salut Amirouche, What you describe was/is the goal of the language-learning project. It is stalled, because there is no easy way to evaluate if it is making forward progress, and is learning a good grammar, or learning junk. The proposed solution to this is to create "random" grammars, and thus c

Re: [opencog-dev] Bootstrapp seed for a grammar in natural language

2020-02-12 Thread Linas Vepstas
On Wed, Feb 12, 2020 at 5:18 AM Adrian Borucki wrote: > > > On Tuesday, 11 February 2020 18:45:44 UTC+1, linas wrote: >> >> Salut Amirouche, >> >> What you describe was/is the goal of the language-learning project. It is >> stalled, because there is no easy way to evaluate if it is making forward

Re: [opencog-dev] planning, and the structure of behavior

2020-02-13 Thread Linas Vepstas
Hi Ray, On Thu, Feb 13, 2020 at 11:46 AM ray melton wrote: > Is anyone else here working on planning, and the structure of behavior? > As in the planning of motion, say? Generating such plans? > Not at this time, not that I know of. What do you want to do? What's wrong with stock, off-the-shelf

Re: [opencog-dev] backward chaining, IdenticalLink and NotLink seemingly misbehaving, strange occurrences of VariableLinks in chaining results

2020-02-26 Thread Linas Vepstas
Hi Alex, You might need @Nil Geisweiller to give you the full, complete reply, as I'm just not that good with the URE. But I think I can help clarify a few issues. I didn't test, but I think that maybe your bug goes away if you make the target into this: (And (Present (Variable "person1")) (

Re: [opencog-dev] backward chaining, IdenticalLink and NotLink seemingly misbehaving, strange occurrences of VariableLinks in chaining results

2020-02-26 Thread Linas Vepstas
On Wed, Feb 26, 2020 at 10:38 AM Alexander Gabriel wrote: > > > Am Mittwoch, 26. Februar 2020 15:51:21 UTC schrieb linas: >> >> Hi Alex, >> >> You might need ...@Nil Geisweiller to give you the full, complete >> reply, as I'm just not that good with the URE. But I think I can help >> clarify a

Re: [opencog-dev] chainer and cog-execute ignore grounded atoms and assume erroneous (default) truth values

2020-02-26 Thread Linas Vepstas
Hi Alex, The answer: yes, or rather no, and there's a bug in your example. The URE is built on top of the pattern matcher, and as mentioned earlier, the pattern matcher never alters truth values, and rarely looks at them, as it is only concerned with the presence/absence of patterns in the atomsp

Re: [opencog-dev] chainer and cog-execute ignore grounded atoms and assume erroneous (default) truth values

2020-02-26 Thread Linas Vepstas
On Wed, Feb 26, 2020 at 12:47 PM Alexander Gabriel wrote: > > > Am Mittwoch, 26. Februar 2020 18:22:29 UTC schrieb linas: >> >> Hi Alex, >> >> The answer: yes, or rather no, and there's a bug in your example. >> >> The URE is built on top of the pattern matcher, and as mentioned earlier, >> the p

Re: [opencog-dev] chainer and cog-execute ignore grounded atoms and assume erroneous (default) truth values

2020-02-26 Thread Linas Vepstas
OK, so lets focus on StateLink, then. Oh, but first a comment about the atomspace itself. If you were coding in C++ (and I don't recommend it, but just to clarify) ... if you were coding in C++, you would notice that Atoms correspond one-to-one with C++ objects. All the usual C++ behavior applies.

Re: [opencog-dev] chainer and cog-execute ignore grounded atoms and assume erroneous (default) truth values

2020-02-26 Thread Linas Vepstas
On Wed, Feb 26, 2020 at 10:20 PM 'Nil Geisweiller' via opencog < opencog@googlegroups.com> wrote: > > > BTW, the URE, really is just a way to form complex pattern matcher > queries, at least the backward chainer is exactly that. Ohh! So that is what the unifier is doing? Gluing together a bunch

Re: [opencog-dev] planning, and the structure of behavior

2020-02-27 Thread Linas Vepstas
ick-butt: "Forced moves or good tricks in design space? Landmarks in the evolution of neural mechanisms for action selection", Tony J. Prescott(2007) https://www.academia.edu/30717257/Forced_Moves_or_Good_Tricks_in_Design_Space_Landmarks_in_the_Evolution_of_Neural_Mechanisms_for_Action_S

[opencog-dev] [ANNOUNCE] Link-Grammar Version 5.8.0 is now available.

2020-02-28 Thread Linas Vepstas
Version 5.8.0 of link-grammar has been released. Notable changes include: inclusion of javascript node.js bindings; the obsoleting of python2, improved English dictionaries, and most interestingly, an experimental interface for dialects. With this interface, one can provide alternative weightings

Re: [opencog-dev] chainer and cog-execute ignore grounded atoms and assume erroneous (default) truth values

2020-02-29 Thread Linas Vepstas
Alex, FYI, There is "one weird little trick" that you might find useful. Opencog comes with something called "the cogserver", which is a networked command-line shell. You can telnet into it, any number of times that you want, and from there, start either a scheme shell or a python shell (as many

Re: [opencog-dev] copernic: versioned structured data, with change-request mechanic, at scale

2020-02-29 Thread Linas Vepstas
Hi Amirouche; Here's a hot take: * Versioning. I thought long and hard about versioning in the atomspace, but came to the conclusion that direct support for it was low priority, and impractical. It's impractical, because atomspace contents churn: If you version only atoms, you might generate thou

Re: [opencog-dev] Backward Chainer performance difference problem

2020-03-01 Thread Linas Vepstas
On Sun, Mar 1, 2020 at 8:55 PM Alexander Gabriel wrote: > Hi guys! > > I've run into a performance problem. > > When I run the backward chainer with this query: > (GetLink > (VariableList > (TypedVariableLink (VariableNode "picker") (TypeNode "ConceptNode")) > (TypedVariableLink (Variab

Re: [opencog-dev] Backward Chainer performance difference problem

2020-03-02 Thread Linas Vepstas
On Mon, Mar 2, 2020 at 3:27 AM Alexander Gabriel wrote: > > > If I exclude it from both I get: > terminate called after throwing an instance of > 'opencog::InvalidParamException' > what(): The variable (VariableNode "person2") does not appear > (unquoted) in any clause! > (/home/rasberry/git/a

Re: [opencog-dev] Backward Chainer performance difference problem

2020-03-02 Thread Linas Vepstas
On Mon, Mar 2, 2020 at 3:27 AM Alexander Gabriel wrote: > > > So what happens is the pattern matcher fills the blanks according to what > it > ... according to what it can find in the current atomspace. If nothing can be found, it returns the empty set. > Yes, that doesn't scale to what I inte

Re: [opencog-dev] Backward Chainer performance difference problem

2020-03-02 Thread Linas Vepstas
Python most definitely has exceptions: https://wiki.python.org/moin/HandlingExceptions The C++ exception should have been converted into a python exception. -- linas On Mon, Mar 2, 2020 at 8:13 AM Alexander Gabriel wrote: > >>> >>> If I exclude it from both I get: >>> terminate called after t

<    2   3   4   5   6   7   8   9   10   >