home *** CD-ROM | disk | FTP | other *** search
/ ftp.uni-stuttgart.de/pub/systems/acorn/ / Acorn.tar / Acorn / acornet / dev / hugs1.0.spk / hs / Expert / README < prev    next >
Text File  |  1995-02-14  |  1KB  |  27 lines
  1. This is a minimal expert system, intended as a vehicle for discussing the
  2. unification and inference algorithms, and as an example of using functional
  3. programming for artificial intelligence applications.
  4.  
  5. One particularly interesting feature is the use of the request/response 
  6. stream and lazy table techniques to allow the inference algorithm to ask 
  7. questions and get answers from the user while in the middle of a search.
  8.  
  9. Of course, compared to the use of logic programming for such a task, the
  10. algorithms have to be much more explicit and the program will run much 
  11. slower, because unification and inference aren't built-in (although they 
  12. could be). On the other hand, the program is purely declarative, whereas 
  13. expert system programs written in logic programming languages are usually 
  14. very far from declarative (and very far from being understandable or 
  15. provable).
  16.  
  17. The program was translated and adapted from the version in:
  18.  
  19.    Functional programming with Miranda
  20.    Ian Holyer, Pitman 1991
  21.  
  22. It can be interpreted with gofer (using project file `expert.prj') or it 
  23. can be compiled with gofer, hbc or ghc (using `Makefile').
  24.  
  25. Ian Holyer
  26. March 1993
  27.