Hi Linas,
Okay, I started adding the StarNode variable, but I have a question. So
StarNode should work exactly like GlobNode except that it can accept a
zero, right? What about something that will match zero or more but not
necessarily in order? For example to match all the nodes in the pattern
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 which has me completely stumped:
Chapter 3, Page 45:
''
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 whic
OK, I just got to the bottom of this email chain, and it looks OK to me.
BTW, you may want to keep this in mind: the FreeLink is just a device to
"memoize" the locations of variables in an expression. Thus, if you have
an algorithm that needs to repeatedly search for variables in some link
ty
Hmm. On further thought, I'm still confused. I just posted to
https://github.com/opencog/atomspace/issues/977 but I will repost here,
because it seems important:
Aren't the following two equivalent?
ImplicationScopeLink
VariableNode x
P(x)
Q(x)
and
ForAllLink
VariableNode x
If we have
> ImplicationScopeLink
> VariableNode x
> P(x)
> Q(x)
then e.g. PLN can assign this a truth value equal to
Sum_x ( max( P(x), Q(x)) ) / Sum_x P(x)
or
Sum_x ( P(x) * Q(x) ) / Sum_x P(x)
but may assign a quite different truth value for
ForAllLink
VariableNode x
Hi Tareq,
You can probably implement StarNode as a minor variation on the current
GlobNode code. By the way, that code is here:
https://github.com/opencog/atomspace/blob/master/opencog/query/PatternMatchEngine.cc#L227-L288
and specifically, here:
https://github.com/opencog/atomspace/blob/master/o
OK, that makes sense. In that case, though, why not invent a new
SpecialAllLink which has the desired properties? Inventing one new link
for this would be more economical, and less confusing than having six new
links:
ImplicationScope
IntentionalImplicationScope
ExtensionalImplicationScope
Equiv
On Mon, Nov 7, 2016 at 11:28 PM, Linas Vepstas wrote:
> OK, that makes sense. In that case, though, why not invent a new
> SpecialAllLink which has the desired properties? Inventing one new link for
> this would be more economical, and less confusing than having six new links:
>
> ImplicationSco
I think this may be what the
AverageQuantifierLink
used to do?
Then we could say
AverageQuantifierLink
VariableNode x
ImplicationLink
P(x)
Q(x)
and this would do what PLN needs... and if Bob had a different kind of
logic with its own formulas he could have
BobsQuantifi
On Wed, Nov 2, 2016 at 6:15 AM, Vishnu Priya
wrote:
> Hello,
>
> I am trying the following:
>
> As sentences come in, it should go through NLP pipeline i.e. parsed by
> Relex and should be stored in DB automatically.
> Because i can't manually do all the time giving sentence to relex server
> lo
11 matches
Mail list logo
