doi:10.1017/S026988890000062X

[1]Alvey P. (1983). Problems of designing a medical expert system. Expert Systems83, pp.20–42.

2Beck E., Francis J. & Souhami R. (1983) Tutorials in differential diagnosis (2nd edition) London: Pitman.

[3]Bennett J. (1985) Roget: A knowledge-based consultant for acquiring the conceptual structure of an expert system. Journal of Automated Reasoning, 1, 19–74.

4Brachman R. (1979) On the epistemological status of semantic networks. In Finaler N. (ed.) Associative networks: representation and use of knowledge by computer. New York: Academic Press

5Breuker J. & Wielinga B. (1985) Use of models in the interpretation of verbal data. University of Amsterdam. To appear in: Kidd A. (ed) Knowledge elicitation for expert systems: A practical handbook. New York: Plenum Press.

6Breuker J. & Wielinga B. (1985) KADS: Structured Knowledge Acquisition for Expert Systems. VF-Memo 40, University of Amsterdam

7Brown D., Chandrasekaran B., Expert Systems for a class of mechanical design activity Proceedings of IFIP Working Group 5.2 Working Conference on Knowledge Engineering in Computer Aided Design, Budapest, Hungary, 09 '84.

8Brown D., Chandrasekaran B., Knowledge and control for design problem solving. Technical report from the Ohio State University Dept. of Computer and Information Science, Laboratory for AI Research, 1985.

[9]Chandrasekaran B. (1983) Towards a taxonomy of problem-solving types. AI Magazine, 4, 9–17.

10Chandrasekaran B. (1985) Generic tasks in expert system design and their role in explanation of problem solving. Paper presented to the NAS/ONR Workshop on AI and distributed problem solving.

11Chandrasekaran B., (1985) Expert Systems: Matching Techniques to Tasks, in: Artificial Intelligence Applications for Business, Reitman W. (ed), Ablex Corp.

12Stiklen J., Chandrasekaran B., Josephson J. (1985) Control Issues in Classificatory Diagnosis Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI '85, Los Angeles, pp. 300–306.

13Clancey W. (1984) Classification problem solving. AAAI-84, 49–55.

14Clancey W. (1985) Heuristic Classification. Stanford University Knowledge Systems Labaoratory, Technical report KSL-85–5.

15Hart P. (1982) direction for AI in the eighties. SIGART Newsletter, 79.

16Hayes-Roth F., Waterman D. & Lenat D. (eds.) (1983). Building expert systems. Reading, Mass.: Addison-Wesley.

17Jackson P. (1985) reasoning about belief in the context of advice-giving systems. In Bramer M. (ed.) Research and development in expert systems, pp 73–83, Cambridge: Cambridge University Press.

[18]Stefik M., Aikins J., Balzer R., Benoit J., Birnbaum L., Hayes-Roth F., & Sacerdoti E. (1982) The organization of expert systems: A tutorial. Artificial Intelligence, 18, 135–172. Also in F. Hayes-Roth, D. Waterman & D. Lenat (1983).

[18b]Erman L. and Lesser V. (1980) The Hearsay-II Speech Understanding System: A tutorial. In: Trends in speech recognition. Wayne and Lea (eds.)

[19]Fagan L.M., Kunz J.C., Feigenbaum E.A. and Osborn J. (1979) Representation of dynamic clinical knowledge: Measurement interpretation in the intensive care unit. Proceedings of the Sixth International Joint conference on Artificial Intelligence, IJCAI '79, pp. 260–262.

20Fagan L. (1980) VM, Representing time-dependent relations in a medical setting. Ph.D. Diss. Computer Science Department, Stanford University.

21Jackson P. (1986) Introduction to expert systems. Reading, Mass.: Addison-Wesley.

[22]McDermott J. (1982) R1: A rule-based configurer of computer systems. Artificial Intelligence, 19, 39–88.

23Miller P. (1983) Medical plan analysis: The attending system. IJCAI-83, 239–41.

24Pople H. (1977) The formation of composite hypotheses in diagnostic problem-solving: An exercise in synthetic reasoning. IJCAI–77, 1030–37.

25Shortliffe E. (1976) Computer-based medical consultation: MYCIN. New York: American Elsevier.

26Shortliffe E. (1985) Update on ONCOCIN, A chemotherapy advisor for clinical oncology. Medical Informatics

27Bobrow D. & Stefik M. (1983) The LOOPS manual, Xerox.

28 Intellicorp, (1984) The Knowledge Engineering Environment.

[29]Richer M., Five Commercial Expert System Tools: An EvaluationThe Artifical Intelligence Report, Vol. 2, No. 8, 081985.

30Williams C. (1983) ART, the advanced reasoning tool, conceptual overview. Inference Corporation.

[31]de Kleer J., Doyle J., Steele G.Jr, & Sussman G. (1977) AMORD: Explicit control of reasoning. SIGART Newsletter. 64, 116–25.

[32]de Kleer J. (1986) An assumption-based TMS. Artificial Intelligence, 28, 127–62.

[33]Doyle J. (1979) A truth-maintenance system. Artificial Intelligence, 12, 231–72.

34Reichgelt H. (1985) Reference and quantification in the cognitive view of language. PhD Thesis. University of Edinburgh.

[35]Fox J., (1980) Alternatives to Bayes? A quantitative comparison with rule-based diagnostic inference. Methods of Information in Medicine, Vol. 19, pp. 210–215.

36Mamdani E.H., Gaines B.R. (eds.), Fuzzy Reasoning and its ApplicationsAcademic Press, 1981.

37Negoita C. (1985) Expert systems and fuzzy systems. Menlo Park, Cal.: Benjamin/Cummings.

38Parker R. (1985) The treatment of uncertainty in expert systems. Technical Report 21, Internal project paper for a flexible toolkit for building expert systems.

39Whalen Th., Decision making Under Uncertainty with Various Assumptions about Available Information. IEEE Transaction on Systems, Man and Cybernetics, Vol. SMC-14, No. 6. Nov/Dec 1984, pp. 888–900

[40]Whalen Th, Schot B., (1985) Alternative Logics for approximate reasoning in expert systems: a comparative study. International Journal of Man-Machine studies. Vol. 22, (1985), pp. 327–346.

41Zadeh L. (1979) A theory of approximate reasoning. In Hayes J., Michie D. & Mikulich L. (eds) Machine Intelligence9. New York: John Wiley.

42Haack S. (1974) Deviant logic: Some philosophical issues. Oxford: Oxford University Press.

43Hughes G. & Cresswell M. (1968) An introduction to modal logic. London: Methuen.

44Mates B. (1972) Elementary logic (2nd edition) Oxford: Oxford University Press.

45Moore R. (1985) A formal theory of knowledge and action. In Hobbs J. & Moore R. (eds) Formal theories of the commonsense world. Norwood, N.J.: Ablex.

46Rescher N. & Urquhart A. (1971) Temporal logic. Berlin: Springer-Verlag.

47Turner R. (1984) Logics for artificial intelligence. Chichester: Horwood.

48van Benthem J. (1982) The Logic of time. Dordrecht: Reidel.

49van Dalen D. (1983) Logic and struture (2nd edition) Berlin: Springer-Verlag

50Davis R. & Buchanan B.. (1977) Meta-level Knowledge: Overview and applications. IJCAI-77, 920–27.

51van Harmelen F. (1986) Improving the efficiency of meta-level reasoning. Discussion Paper, Department of Artificial Intelligence, University of Edinburgh.