I have two new drafts for comments:
"Non-Axiomatic Logic", at http://www.cis.temple.edu/~pwang/drafts/NAL.pdf This is a complete description of the logic I've been working on. "A Term Logic for Cognitive Science", at http://www.cis.temple.edu/~pwang/drafts/TermLogic.pdf This is a comparison between my logic and first-order predicate logic (and its variations). For how this work is related to AGI, see "The Logic of Intelligence", at which is a chapter in the AGI book Ben and Cassio are editing. This
chapter will be revised to reflect the recent progress of the
project.
Pei
|
- [agi] new drafts Pei Wang
- [agi] Athlon MP 2600+ SPEC CPU2000 result Stephen Reed
- RE: [agi] Novamente Overview Daniel Colonnese
- [agi] Athlon XP 3000+ CPU2000 benchmarks posted Stephen Reed