> Do OpenCog atoms roughly correspond to logical atoms?

Not really

> And what is the counterpart of (logic) propositions in OpenCog?

ExtensionalImplication relations I guess...

> I suggest don't use non-standard terminology 'cause it's very confusing...

So long as it's well-defined, I guess it's OK...

The standard terminology leads in wrong conceptual directions alas...

ben


-------------------------------------------
agi
Archives: http://www.listbox.com/member/archive/303/=now
RSS Feed: http://www.listbox.com/member/archive/rss/303/
Modify Your Subscription: 
http://www.listbox.com/member/?member_id=8660244&id_secret=103754539-40ed26
Powered by Listbox: http://www.listbox.com

Reply via email to