On 1/19/07, Pei Wang <[EMAIL PROTECTED]> wrote:
For example, what you called "rule" in your postings have two different meanings:(1) A declarative implication statement, "X ==> Y"; (2) A procedure that produces conclusions from premises, "{X} |- Y". These two are related, but not the same thing. Both can be learned, but through very different paths. To confuse the two will cause a mess.
Thanks, that's a good point. In uncertain logic, the status of the classical logic connectives AND, OR, NOT may be somewhat different. For example, A -> B may no longer be equivalent to (!A v B), when A and B are attached with uncertainty values. Therefore I am still unsure about how to deal with -> etc. But I will pay special attention to this point.
The failure of GOFAI has reasons deeper than you suggested. Like Ben, I think you will repeat the same mistake if you follow the current plan. Just adding numbers to your rules won't solve all the problems. "More knowledge, higher intelligence" is an intuitively attractive slogan, but has many problems in it. For example, more knowledge will easily lead to combinatorial explosion, and the reasoning system will derive many "true" but useless conclusions. How do you deal with that?
That's the problem of forward-chaining without a goal. In fact, the human mind can easily think of a lot of useless implications in a situation. If we have a query as a goal, we can use backward-chaining. Otherwise we can rank the implied sentences into levels of importance. This does not seem to be a show-stopper.
I don't think it is a good idea to attract many volunteers to a project unless the plan is mature enough so that people's time and interest won't be wasted. Sources of human knowledge will be needed by any AGI project, so projects like CYC or MindPixel will be useful, though I'm afraid neither is cost-effective enough to play a central role in satisfying this need. Mining the Web may be more efficient, though it will surely leave gaps in the knowledge base to be filled in by other methods, such as personal experience, NLP, interactive tutoring, etc.
Speaking of cost-effectiveness, my project can be pretty low-cost =) I try to keep things simple and not pursue a million ideas at once, though I have plans for an entire AGI. 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
