I'll do that when the paper is finished.
Some of the arguments can be found in my previous publications, such as http://www.cogsci.indiana.edu/farg/peiwang/PUBLICATION/wang.abduction.ps.
I believe that predicate
logic is still better as a "mathematical logic", for binary deduction in a
closed world where limitation on knowledge and resources can be ignored.
Outside that domain, term logic is better.
It is
related to that, but much more.
Pei
|
Title: Message
- [agi] An Artificial General Intelligence in the Making RSbriggs
- RE: [agi] An Artificial General Intelligence in the ... Ben Goertzel
- RE: [agi] An Artificial General Intelligence in the ... Gus Constan
- RE: [agi] An Artificial General Intelligence in ... Daniel Colonnese
- [agi] KNOW Pei Wang
- RE: [agi] KNOW Daniel Colonnese
- RE: [agi] An Artificial General Intelligence... Ben Goertzel
- Re: [agi] An Artificial General Intelligence... Shane Legg