I'm an emacs junkie so I really love this one. I cannot believe I only discovered it a few days ago.
This gives you incremental search (Ctrl-s) in any NSTextView. Very cool. Thank you, Michael.
May 2004 Archives
I upgraded this blog to Movable Type 3.0D and turned comments back on. They were off for a long time after a spammer polluted most of my entries. To prevent this from happening again I require a registration with TypeKey. If this is too much trouble you can also send your comments to blog at this domain.
I dug up this excellent paper The binding roots of symbolic AI: a brief review of the Cyc project by Deniz Yuret. In the course of reviewing the Cyc project he manages to give a short history of symbolic A.I., discuss the origins of logic, frame the A.I. discussion and explain the types of arguments one can make, talk about knowledge representations and models of thinking and much more.
A system that relies solely on deductive reasoning has systemic limitations that prevent it from manifesting, well... intelligence.
The number of facts you can deduce from what you know, is not restricted to the deductive closure of everything in your symbolic memory. You add to this the analogue information you have in the memories of your other representational systems. You further add the ability of one system being able to set up experiments to be run in another.
If deductive reasoning is limiting what else can a system use ?
Continue reading imagination-perception loop.
