On 1/27/07, Ben Goertzel <[EMAIL PROTECTED]> wrote:
Yes, you can reduce nearly all commonsense inference to a few rules, but only if your "rules" and your knowledge base are not fully formalized...
As I envision it, we would have a large number of rules. Some rules are very abstract (eg rules governing inheritence or syllogisms) and others are more concrete (eg involving concrete concepts). For example: Abstract rule: "If X is a Y and Z(Y) then Z(X)". Concrete rule: "If X is wet then X conducts electricity". The rules are not "fully formalized" -- in the sense that there is not an "elite" set of rules governing all others. Instead, there is a continuum of rules from the highly abstract / always-right to the concrete / defeasible. Do you think that's better?
Fully formalizing things, as is necessary for software implementation, makes things substantially more complicated. Give it a try and see!
Thanks for your support =) YKY ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?list_id=303
