home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / hugs101.zip / hugs101o.zip / Progs / HUGS / Demos / Expert / README < prev    next >
Text File  |  1995-02-14  |  1KB  |  26 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 stream
  6. and lazy table techniques to allow the inference algorithm to ask questions and
  7. 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 slower,
  11. because unification and inference aren't built-in (although they could be). On
  12. the other hand, the program is purely declarative, whereas expert system
  13. programs written in logic programming languages are usually very far from
  14. declarative (and very far from being understandable or provable).
  15.  
  16. The program was translated and adapted from the version in:
  17.  
  18.    Functional programming with Miranda
  19.    Ian Holyer, Pitman 1991
  20.  
  21. It can be interpreted with gofer (using project file `expert.prj') or it can be
  22. compiled with gofer, hbc or ghc (using `Makefile').
  23.  
  24. Ian Holyer
  25. March 1993
  26.