Directory talk:Apropos Logic

Theme One Program

JA: Hi Ron, I don't know if you'd be interested in some collab work, but I figured what the heck. There's an exploratory AI-type program that I worked on all through the (19)80's, first in UT Lisp and then in UCSD and Turbo Pascal. I got a Master's (in Psych) out of it, but it's still only half-documented as of this writing. The aim was to integrate a 2-level formal language learner (initially developed as a reactive keyboard thingy) with a propositional calculus reasoner (using an extension of C.S. Peirce's logical graphs. Needs converting into a live language, though.

JA: If that sounds like something you'd want to look at further, let me know and I'll go dig up the links. Regards, Jon Awbrey 10:21, 12 September 2007 (PDT)