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. Pei On Feb 17, 2008 2:53 PM, YKY (Yan King Yin) <[EMAIL PROTECTED]> wrote: > > On 2/18/08, Pei Wang <[EMAIL PROTECTED]> wrote: > > > > I raised this issue before: by "logical rules", do you mean inference > > > > rules (like "Derive conclusion C from premises A and B"), or > > > > implication statements (like "If A and B are true, then C is true")? > > > > These two are very often confused with each other, and that confusion > > > > has serious consequences. AGI needs plenty of the latter, but just a > > > > relatively small number of the former. > > > > > > Sorry... I can't see the distinction. Maybe you mean causation vs > > > implication? For example, eating sweets may cause cavities, but it is > not > > > an implication because P(cavities|sweets) != 1? > > > > The best example of this difference is Carroll's Paradox --- see > > http://www.ditext.com/carroll/tortoise.html > > > I'm reading this: > http://en.wikipedia.org/wiki/What_the_Tortoise_Said_to_Achilles > which is easier to understand, but I still don't get it. > > Achilles grants to the tortoise that the "second kind of reader" may exist, > but I think this second kind of reader is absurd. > > If A and B are true, then a sane person MUST admit that Z is true. I don't > see why not? > > > > 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
