On 2/18/08, Pei Wang <[EMAIL PROTECTED]> wrote: > Only statements containing in a KB as content have truth-value, or > need acceptance. An inference rule is part of the system, which just > applies, and does not need acceptance within the system. An inference > rule has no truth-value. > > If it is still unclear, try this: > http://www.mathacademy.com/pr/prime/articles/carroll/index.asp > > Of course, the two are related (see > http://en.wikipedia.org/wiki/Deduction_theorem), but if you have the > two confused when designing an inference system, you'll run into > trouble.
Ah... I see now. Thanks =) So far I've been using resolution-based FOL, so there's only 1 inference rule and this is not a big issue. If you're using nonstandard inference rules, perhaps even approximate ones, I can see that this distinction is important. 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