> > 4. http://www.ontotext.com/inference/reasoning_strategies.html > " * Forward-chaining: to start from the known facts and to perform > the inference in an inductive fashion. This kind of reasoning can have > diverse objectives, for instance: to compute the inferred closure; to > answer a particular query; to infer a particular sort of knowledge > (e.g. the class taxonomy); etc. > * Backward-chaining: to start from a particular fact or from a > query and by means of using deductive reasoning to try to verify that > fact or to obtain all possible results of the query. Typically, the > reasoner decomposes the fact into simpler facts that can be found in > the knowledge base or transforms it into alternative facts that can be > proven applying further recursive transformations. " >
A system like Clips is forward chaining but there is no induction going on. Whether fwd- or bkw- chaining it is deduction as far as I've ever heard of. With induction we are implying repeated observations that lead to some new knowledge (ie., some new rule in this case). That was my understanding anyway, and I'm no PhD scientist. Mike Archbold > > ------------------------------------------- > agi > Archives: https://www.listbox.com/member/archive/303/=now > RSS Feed: https://www.listbox.com/member/archive/rss/303/ > Modify Your Subscription: > https://www.listbox.com/member/?&; > Powered by Listbox: http://www.listbox.com > ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=108809214-a0d121 Powered by Listbox: http://www.listbox.com
