Difference between revisions of "Directory talk:Apropos Logic"
MyWikiBiz, Author Your Legacy — Wednesday November 13, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (collab idea) |
Jon Awbrey (talk | contribs) (→Theme One Program: fix typos) |
||
| Line 1: | Line 1: | ||
==Theme One Program== | ==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: 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: | + | 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) |
Latest revision as of 17:22, 12 September 2007
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:24, 12 September 2007 (PDT)
