-
Check out the output in the text file in the doc directory in CVS if you want to see it in current operation. At this point, if you have LispWorks, and you want to see if you can get it working for yo...
posted
by eonwing
42 days ago
-
Have something of a plan to implement a more general logical/inferential capacity. Wish me luck; hopefully it will go smoothly.
posted
by eonwing
69 days ago
-
Yes, got it to function for basic syllogistic logic. Checked in. A mess right now, but it works!
posted
by eonwing
103 days ago
-
For anyone who looks here (and has found this in spite of the name change) after much wrestling with theory, we just might be onto something, now. Code is reorganized, and has the beginnings of a new ...
posted
by eonwing
142 days ago
-
I think I've had it right every time that I thought I had it all figured out. Just that the details were not filled in. And here in March of 2009, I finally think that I've begun this project. So the ...
posted
by eonwing
234 days ago
-
http://johnhdoe.com/me/b2.php?m=200901#3201
posted
by eonwing
291 days ago
-
As we speak, it does some rudimentary "fathoming", mainly connecting relations. The output is still basically unintelligible (to anyone but me), but it does seem to function at a very basic level.
posted
by eonwing
381 days ago
-
The initialization of the input phrase into machine readable form seems to be working, next to test out the main logic, which has been improved since last I wrote. Hopefully soon some kind of prototyp...
posted
by eonwing
393 days ago
-
Did my first real CVS commit, with a version that compiles but is completely untested (for the most part), and some stubbed. This should delimit the core of Mind 2.0. Perhaps the next commit will add ...
posted
by eonwing
423 days ago
-
Went through major theoretical issues, which caused mountains of headaches and scribbling. I think I finally have a concept of an end-to-end reasoning paradigm, and I am into implementation (and re-im...
posted
by eonwing
473 days ago