I enjoy writing and in addition to my published books I offer free Open Content material on this web page. I both enjoy and appreciate feedback on ideas for material and reporting any errors. I offer free web books on Java and artificial intelligence programming, Common Lisp programming, and a new but still incomplete book The Software Design and Development Book. I am also working on a Ruby AI book and a short paper on AI design patterns. I also have a link to an old paper on AI, Go and Consciousness (updated 1/25/2004) available here. I have a short paper Jumpstarting the Semantic Web available here (new version 1/14/2005). I am also starting to include my fiction (short stories) here in addition to computer science web books.
In analyzing my data I wanted to classify it with a naive Bayesian classifier. I wasn't sure I had the math right, so I wrote a tiny abstract classifier to test with. The code is pretty cool:
I made a decision to discontinue the Cut The Knot column. The column has a distinction of having straddled two decades, two centuries, and in fact, two millennia. It was never meant to last that long. I thank all the readers who cared to send me their sug
The Rete Algorithm [References] is intended to improve the speed of forward-chained rule systems by limiting the effort required to recompute the conflict set after a rule is fired. Its drawback is that it has high memory space requirements. It takes adva
A. Newell, and H. Simon. Communications of the ACM, 19 (3):
113-126(March 1976)p. 116:
"The Physical Symbol System Hypothesis. A physical
symbol system has the necessary and sufficient
means for general intelligent action."
p. 120:
"Heuristic Search Hypothesis. The solutions to
problems are represented as symbol structures.
A physical symbol system exercises its intelligence
in problem solving by search--that is, by
generating and progressively modifying symbol
structures until it produces a solution structure."
p. 121:
"To state a problem is to designate (1) a test
for a class of symbol structures (solutions of the
problem), and (2) a generator of symbol structures
(potential solutions). To solve a problem is
to generate a structure, using (2), that satisfies
the test of (1).".