12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to searchDirectory talk:Apropos Logic (view source)
Revision as of 17:21, 12 September 2007
, 17:21, 12 September 2007collab idea
==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:21, 12 September 2007 (PDT)
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:21, 12 September 2007 (PDT)
