[comp.ai] Looking for Real-World Domain Theory

feldman@kama.cs.cornell.edu (Ronen Feldman) (11/06/90)

I'm doing some work in optimization of domain theories (which are
actually prolog programs). After getting good results with some toy
domains , I wish to try my methods on large scale domain theories.
Does anyone has/knows of a reference to such a domain theory. The area
is totally unimportant, it can be any engineering domain,biological
domain etc.
Even an expert system of some kind where the rules are in a separate
module from the inference engine will be great.

Any help will be greatly appreciated.

Thanks

Ronen Feldman (feldman@cs.cornell.edu)