References
- Fox J., Barker D., Bardhan K. D. Alternative to Bayes? A quantitative comparison with rule-based diagnostic inference. Meth. Inform. Med. 1980; 19: 210–215
- Shorteiffe E. H. Computer-based medical consultations: MYCIN. American Elsevier, New York 1976
- Weiss S., Kilikowski C. A., Safir A. Glaucoma consultation by computer. Comput. Biol. Med. 1978; 8: 25–40
- Pople H. E., Jr, Myers J. D., Miller R. A. DIALOG:A model of diagnostic logic for internal medicine. Proc. 4th IJCAI, Tbilisi. USSR. 1975; 848–855
- Pauker S. G., Szolovts P. Analyzing and simulating, taking the history of the present illness: context formation. Computational Linguistics in Medicine, Schneider, Sagwall. North Holland, Amsterdam 1977
- Gorry G. A. Computer-assisted clinical decision-making. Meth. Inform. Med. 1973; 12: 1
- Fieschi M., Joubert M. 1979, Application d'une méthode logique à l'aide à la decision en meadecine: La methode de Davis et Putnam en logique propositionelle. Proc. Heme Congres AFCET-IRIA. Reconuaisa/ice formes, Intelligence Artificie/le. Toulouse September, 1979
- Fieschi M., Joubwrt M., Roux M. 1980, Surun modele de representation de la connaissance medicalc en logique symbolique en lie tie raide a la decision en medicine. Jourrnées d 'Informatitiue Medicate. Toulouse Mai, 1980
- Soula G., Sanchez E. Soft deduction rules in medical diagnostic processes. Memo U'CB ERL M8248, Electronics Research Laboratory. University of California at Berkeley. 1982
- Waterman D. A., HayEs-Roth F. Pattern-directed inference systems. Academic Press, New York 1978
- Jogbert M. Representation et Utilisation des Connaissances pour un Dialogue Hommc-Machine d'Aide à la Decision en Médecine. Med. Inform. 1982; 7: 7–17
- Nilsson N. J. Principles of Artificial Intelligence. Tioga Publications, Palo Alto, California 1980
- Chang C., Lee R. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York 1973