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 wrapping an AverageLink or
ForAllLink around an implication.
Nil
On 11/08/2016 01:37 AM, Ben Goertzel wrote:
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
BobsQuantifierLink
VariableNode x
ImplicationLink
P(x)
Q(x)
But I'm not sure this would satisfy all Nil's current requirements?
ben
On Mon, Nov 7, 2016 at 11:28 PM, Linas Vepstas <[email protected]> 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:
ImplicationScope
IntentionalImplicationScope
ExtensionalImplicationScope
EquivalenceScope
IntensionalEquivalenceScope
ExtensionalEquivalenceScope
which is what the current code does.
Besides, come the day you want to change the PLN formula, or create yet
another one, you would just need a NewFormulaLink instead of six new links.
--linas
On Mon, Nov 7, 2016 at 4:23 PM, Ben Goertzel <[email protected]> wrote:
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
ImplicationLink
P(x)
Q(x)
PLN does assign these two constructs different uncertain truth values,
so this is not just a theoretical difference...
Other uncertain logic frameworks may also assign the two constructs
different TVs, I would think...
ben
--
Ben Goertzel, PhD
http://goertzel.org
“I tell my students, when you go to these meetings, see what direction
everyone is headed, so you can go in the opposite direction. Don’t
polish the brass on the bandwagon.” – V. S. Ramachandran
--
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/1fdd3063-c68c-c3b6-aeff-df2e7a7963b4%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
