Pei:In a broad sense, "formal logic" is nothing but
"domain-independent and justifiable data manipulation schemes". I
haven't seen any argument for why AI cannot be achieved by
implementing that
Have you provided a single argument as to how logic *can* achieve AI - or
to be more precise, Artificial General Intelligence, and the crossing of
domains? [See attached post to Matt]
The line of argument above is classically indirect (and less than logical?).
It's comparable to:
SHE: Have you been unfaithful to me?
HE: Why would I be unfaithful to you?
SHE: You've been unfaithful to me, haven't you?
HE: What possible reason have you for thinking I've been unfaithful?
The task you should by now have achieved is providing a direct argument why
AGI *can* be achieved by your logic, not expecting others to show that it
can't be.
(And can you provide an example of a single surprising metaphor or analogy
that have ever been derived logically? Jiri said he could - but didn't.)
-------------------------------------------
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=114414975-3c8e69
Powered by Listbox: http://www.listbox.com
