On Feb 19, 2008 8:49 AM, YKY (Yan King Yin) <[EMAIL PROTECTED]> wrote: > > 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?
By supporting various compound terms/statements. > 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. How? > Truth maintenance systems do something like that. No. That is for something else --- update management. BTW, classical resolution can be used to answer "wh" questions using unification. Pei > > YKY > > > > > ________________________________ > > agi | Archives | Modify Your Subscription ------------------------------------------- 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