View source for 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 graph]]s).  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, [[User:Jon Awbrey|Jon Awbrey]] 10:24, 12 September 2007 (PDT)