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

GOD DAMN IT BEN Stop writing these ninny emails, and start thinking about what the hell is going on. I've explained this six ways from Sunday, and I get the impression that you are just skimming everything I write, and not bothering to read it, much less think about it. I know you are really

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

Yes. I am starting to get very annoyed. Whenever I talk about CompositeTruthValue, which I did earlier, I get the big brushoff. Now, when I finally was able to sneak it back into the conversation, I once again get the big brushoff. I am starting to get really angry about this. I am spending wayyy

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

On Sat, Sep 3, 2016 at 9:59 AM, Linas Vepstas wrote: > Hi Nil, > >> >>> >>> These same ideas should generalize to PLN: although PLN is itself a >>> probabilistic logic, and I do not advocate changing that, the actual >>> chaining process, the proof process of arriving at

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

Linas, On Sat, Sep 3, 2016 at 10:50 AM, Linas Vepstas wrote: > Today, by default, with the way the chainers are designed, the various > different atomspaces are *always* merged back together again (into one > single, global atomspace), and you are inventing things like

[opencog-dev] Re: OpenCog.org appears to be broken.

I am also getting php errors on the wiki site as well. Is there site maintenance in progress? On Friday, September 2, 2016 at 3:42:08 PM UTC-4, Kevin Rusch wrote: > > Hello, > > > I tried to access the OpenCog website and various wiki pages, but it keeps > throwing errors, one of which is

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

Hi Nil, > Observe that the triple above is an arrow: the tail of the arrow is >> "some subset of the atomspace", the head of the arrow is "the result of >> applying PLN rule X", and the shaft of the arrow is given a name: its >> "rule X". >> > > Aha, I finally understand what you meant all

Re: [opencog-dev] Pattern Miner and missing libTestPatternMinerAgent.so

Hi, I just run the example on ubuntu 14.04, it is working without issue. On Wednesday, August 31, 2016 at 5:44:19 AM UTC+8, vishnup...@gmail.com wrote: > > Thanks for the reply Ben. > > Yeah I checked the post. But I could not understand about the linkage > problem. > > NIL---> "Anyway, if

Re: [opencog-dev] Chatbot and the Error: wrong type argument in Position

it is recommended to use the newer chatbot (chatbot-psi) via the `chat` commend, e.g. (chat "who is generous?"), or call it via the webui with HEAD running, thanks On Wed, Aug 31, 2016 at 9:11 PM, wrote: > > I tried chatbot demonstration also by installing

Re: [opencog-dev] Chatbot and the Error: wrong type argument in Position

> > I also tried chatbot demonstration also by installing > https://github.com/hansonrobotics/HEAD. > I did not compile and install the modules (such as atomspace, cogutils, > opencog...) manually. HEAD itself automatically installed all the modules > required. But then also i got the

[opencog-dev] OpenCog.org appears to be broken.

Hello, I tried to access the OpenCog website and various wiki pages, but it keeps throwing errors, one of which is pictured below. I've tried disabling my extensions and switching browsers, and even asked other people to check the site as well -

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