Ben, Thanks for the answers. One more question about the term "atom" used in OpenCog.
In logic an "atom" is a predicate applied to some arguments, for example: female(X) female(mary) female(mother(john)) etc. Truth values only apply to "propositions", but they may consist of only single atoms as above. But still, there is a distinction. Probabilities should only be attached to propositions, but not to atoms (in logic). Do OpenCog atoms roughly correspond to logical atoms? And what is the counterpart of (logic) propositions in OpenCog? I suggest don't use non-standard terminology 'cause it's very confusing... YKY ------------------------------------------- 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