RULE-based expert systems : the MYCIN experiments of the Stanford Heuristic programming project (Addison-Wesley, 1984)