Goal Directed Evaluation (semi off topic)

Charles Fiterman (cef@geodesic.com)
Tue, 24 Jun 1997 17:02:22 +0200

An important complement to Fuzzy Logic is Goal Directed
Evaluation. A good example might be Goal Directed Evaluation
to produce chess positions and Fuzzy Logic to evaluate them.

Goal Directed evaluation is often slow and complex so I
was pleased to find "Simple Translation of Goal-Directed
Evaluation" by Todd Proebsting
in my ACM SIGPLAN PLDI in the mail last night.

Having produced continuation logic for goal directed
evaluation I regard this as a massive improvment on
anything that exists.
Charles Fiterman Geodesic Systems
414 North Orleans Suite 410 Phone 312 832 1221 x223
Chicago IL 60610-4418 FAX 312 832 1230

A young man saw a product advertised in a magazine that said
"Guaranteed 100% effective against bugs when properly used."
He sent away and got two blocks of wood with the instructions
"Place bug on block A, strike sharply with block B." Debuggers
are like that, and you can get stung while using them. Great
Circle tries to be something better than that.