On 2/19/08, Pei Wang <[EMAIL PROTECTED]> wrote:
> A purely resolution-based inference engine is mathematically elegant,
> but completely impractical, because after all the knowledge are
> transformed into the clause form required by resolution, most of the
> semantic information in the knowledge structure is gone, and the
> result is "equivalent" to the original knowledge in truth-value only.
> It is hard to control the direction of the inference without semantic
> information.
I wonder how you can preserve "structural information" in NARS?
If I say "eating sweets will cause cavities" it will be translated in clause
form as
~ eat_sweets V cavities
so the direction of causation is lost. If this directional info is
needed, we attach additional information to the clause. Truth maintenance
systems do something like that.
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=95818715-a78a9b
Powered by Listbox: http://www.listbox.com
