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 principle we've been
leaning towards lately, that more explicit articulation of logical structures
in Atomspace reduces confusion, and is thus worthwhile even when it
makes things a bit less elegant...



-- 
Ben Goertzel, PhD
http://goertzel.org

Super-benevolent super-intelligence is the thought the Global Brain is
currently struggling to form...

-- 
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 opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
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/CACYTDBe9JN9zB47m3CXvZvU-1U54unrUz0_-wcPVTHfgUhRSqQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to