[agi] new drafts

[Pei Wang]

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 http://www.cis.temple.edu/~pwang/drafts/LogicOfIntelligence.pdf 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