Литература

Литература

Abelson H., Sussman G. J. and Sussman J. (1996). Structure and Interpretation of Computer Programs. Cambridge MA: MIT Press.

Abu-Hakima S., Halasz M. and Phan S. (1993). An approach to hypermedia in diagnostic systems. In Intelligent Multi-Media Interfaces (Maybury M., eds.). AAAI Press/MIT Pressi

Acorn T. L. and Walden S. (1992). SMART: Support Management Automated Reasoning Technology for Compaq customer service. In Proc. Innovative Applications of Artificial Intelligence (IAAI-92), p. 3-18.

Adams J. B. (1976). A probability model of medical reasoning and the MYCIN model. Mathematical Biosciences, 32, p. 177-186. See also Buchanan and Shortliffe (1984), Chapter 12.

Aiello N. (1983). A comparative study of control strategies for expert systems: AGE implementation of three variations of PUFF. In Proc. National Conference on Artificial Intelligence, p. 1-4.

Aiello N. (1986). User-Directed Control of Parallelism: The CAGE System. Technical Report No. KSL-86-31, Knowledge Systems Laboratory, Stanford University.

Aikins J. S. (1983). Prototypical knowledge for expert systems. Artificial Intelligence, 10, p. 163-210.

Aikins J. S., Kunz J. C., Shortliffe E. H. and Fallat R. J. (1984). PUFF: an expert system for interpretation of pulmonary function data. In Readings in Medical Artificial Intelligence (Clancey W. J. and Shortliffe E. H., eds.). Chapter 19. Reading, MA: Addison-Wesley.

Aleven V. and Ashley K. D. (1997). Evaluating A Learning Environment For Case-Based Argumentation Skills. In Proc. Sixth International Conference on Artificial Intelligence and Law, ACM Press, p. 170.

Alexander J. H., Freiling M. J., Shulman S. J., Staley J. L., Rehfuss S. and Messick S. L. (1986). Knowledge level engineering: ontological analysis. In Proc. National Conference on Artificial Intelligence, p. 963-968.

Allen B. (1994). Case-based reasoning: business applications. Communications of the ACM, 37(3), p. 40^2.

Allen J.F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), p. 832-843.

Allen J. F. (1995). Natural Language Understanding, 2nd edn. Menlo Park, CA: Benja-min/Cummings.

Amarel S. (1968). On representations of problems of reasoning about actions. In Machine Intelligence 3 (Michie D., eds.), p. 131-171. Edinburgh: Edinburgh University Press.

Anderson J. R. (1976). Language, Memory and Thought. Hillsdale NJ: Lawrence Eribaum. Andrews P. B. (1986). An Introduction to Mathematical Logic and Type Theory: To Truth

through Proof. Orlando FL, Academic Press. Ashley K. D. (1990). Modeling Legal Argument: Reasoning With Cases and Hypothetical.

Cambridge MA: MIT Press.

Ashley K. and Aleven V. (1997). Reasoning symbolically about partially matched cases. International Joint Conference on Artificial Intelligence, IJCAI-1997. San Francisco: Morgan Kaufmann, p. 335-341.

Ashley K. D. and Rissland E. L. (1988). A case-based approach to modelling legal expertise. IEEE Expert, 3(3), p. 70-77.

Bachant J. (1988). RIME: preliminary work towards a knowledge acquisition tool. In Automating Knowledge Acquisition for Expert Systems (Marcus S., eds.), Chapter 7. Boston: Kluiver Academic.

Baldwin J. E, eds. (1996). Fuzzy Logic. New York: Wiley.

Barr A. and Feigenbaum E. A., eds. (1981). The Handbook of Artificial Intelligence Vol. 1. Los Altos CA: Morgan Kaufmann.

Barr A. and Feigenbaum E. A., eds. (1982). The Handbook of Artificial Intelligence Vol. 2. Los Altos CA: Morgan Kaufmann.

Baum L. S., Dodhiawala R. T. and Jagannathan V. (1989). The Erasmus System. In Blackboard Architectures and Applications (Jagannathan V, Dodhiawala R. and Baum L., eds.), p. 347-370. New York: Academic Press.

Belew R. K. (1986). Adaptive information retrieval: machine learning in associative networks. PhD thesis, University of Michigan, Computer Science Department, Ann Arbor, MI.

Bennett J. S., Creary L., Englemore R. and Melosh R. (1978). SACON: A Knowledge Based Consultant for Structural Analysis. Report No. HPP-78-23, Computer Science Department, Stanford University.

Bergadano F. and Gunetti D. (1996). Inductive Logic Programming: From Machine Learning to Software Engineering. Cambridge MA: MIT Press.

Biswas G. and Anand T. S. (1987). MIDST: an expert system shell for mixed initiative reasoning. In Proc. International Symposium on Methodologies for Intelligent Systems, p. 1-8.

Bobrow D. G. and Collins A., eds. (1975). Representation and Understanding. New York: Academic Press.

Bobrow D. G. and Stefik M. (1983). The LOOPS manual. Xerox Corporation.

Bobrow D. G. and Winograd T. (1977). An overview of KRL, a knowledge representation language. Cognitive Science, 1(1).

Bobrow D. G. and Winograd T. (1979). KRL: another perspective. Cognitive Science, 3(1).

Booch G. (1994). Object-Oriented Analysis and Design with Applications, 2nd edn. Redwood City CA: Benjamin/Cummings. (Русский перевод первого издания: Буч Г. Объектно-ориентированное проектирование с примерами применения. — М.: Конкорд, 1992.)

Boose J. H. (1986). Expertise Transfer for Expert System Design. New York: Elsevier.

Boose J. H. (1989). A survey of knowledge acquisition techniques and tools. Knowledge Ac-^ quisition, 1(1), p. 3-37.

Boose J. H. and Bradshaw J. M. (1987). Expertise transfer and complex problems: using. AQUINAS as a workbench for knowledge based systems. International Journal of Man-Machine Studies, 26, p. 1-28.

Boose J. H. and Gaines B. (1988). Knowledge Acquisition Tools for Expert Systems. New York: Academic Press.

Borron J., Morales D. and Klahr P. (1996). Developing and deploying knowledge on a global scale. In Innovative Applications of Artificial Intelligence 8, Proceedings of AAAI-96. Menlo Park CA: AAAI Press.

Brachman R. J. and Levesque H. J. (1985). Readings in Knowledge Representation. Los Altos CA: Morgan Kaufinann.

Brachman R. J. and Schmolze J. G. (1985). An overview of the KL-ONE knowledge representation system. Cognitive Science, 9, p. 171-216.

Bratko I. (1990). PROLOG Programming for Artificial Intelligence, 2nd eds. Wokingham, UK: Addison-Wesley. (Русский перевод первого издания: Братко И. Программирование на языке PROLOG для искусственного интеллекта. — М.: Мир, 1990. — 559 с.)

Breuker J. A. and van de Velde W., eds. (1994). The CommonKADS Library for Expertise Modelling. Amsterdam: IOS Press.

Brown D. C. and Chandrasekaran B. (1989). Design Problem Solving: Knowledge Structures and Control Strategies. Los Altos CA: Morgan Kaufmann.

Brown J. S., Burton R. R. and De Kleer J. (1982). Pedagogical, natural language and knowledge engineering techniques in SOPHIE I, II and III. In Intelligent Tutoring Systems (Sleeman D. and Brown J. S., eds.), Chapter 11. London: Academic Press.

Brownston L., Farrell R., Kant F. and Martin N. (1985). Programming Expert Systems in OPS5. Reading MA: Addison-Wesley.

Buchanan B. G. and Feigenbaum E. A. (1978). DENDRAL and META-DENDRAL: their applications dimension. Artificial Intelligence, 11, p. 5-24.

Buchanan B. G. and Shortliffe E. H., eds. (1984). Rule-Based Expert Systems. Reading MA: Addison-Wesley.

Buchanan B. G. and Wilkins D. C., eds. (1993). Readings in Knowledge Acquisition and Learning. Los Altos, CA: Morgan Kaufmann.

Buchanan B. G., Barstow D., Bechtel R., Bennet J., Clancey W., Kulikowski C., Mitchell Т. М. and Waterman D. A. (1983). Constructing an expert system. In Building Expert Systems (Hayes-Roth F, Waterman D.A. and Levat D., eds.), Chapter 5. Reading, MA: Addison-Wesley.

Bundy A. (1978). Will it reach the top? Prediction in the mechanics world. Artificial Intelligence, 10, p. 129-146.

Bundy A., Byrd L., Luger G., Mellish C. and Palmer M. (1979). Solving mechanics problems using metalevel inference. In Expert Systems in the Micro-Electronic Age (Michie D., eds.), p. 50-64. Edinburgh: Edinburgh University Press.

Bundy A., Silver B. and Plummer D. (1985). An analytical comparison of some rule-learning programs. Artificial Intelligence, 27, p. 137-181.

Buntine W. L. (1990). Myths and legends in learning classification rules. In Proc. National Conference on Artificial Intelligence, p. 736-742.

Bylander T. (1994). The computational complexity of prepositional STRIPS planning. Artificial Intelligence, 69, p. 165-204.

Cannon H. I. (1982). FLAVORS: a non-hierarchical approach to object-oriented programming. Unpublished paper.

Carbonell J. G., Michalski R. and Mitchell T. (1983). An overview of machine learning. In Machine Learning (Michalski R. S., Carbonell J. S. and Mitchell Т. М., eds.), Chapter 1. Palo Alto, CA: Tioga.

Carver N. and Lesser V. (1994). The evolution of blackboard control architectures. In Expert Systems with Applications: Special Issue on the Blackboard Paradigm and its Applications, 7(1), p. 1-30.

Cendrowska J. and Bramer M. (1984). Insdie an expert system: A rational reconstruction of the MYCIN consultation system. In Artificial Intelligence: Tools, Techniques and Applications (O'Shea T. and Eisenstadt M., eds.). Chapter 15. New York: Harper and Row.

Chandrasekaran B. (1983). Towards a taxonomy of Problem solving types. Al Magazine, 4(1), Spring, p. 9-17.

Chandrasekaran B. (1984). Expert systems: matching techniques to tasks. In Artificial Intelligence Applications for Business (Reitman W, eds.). Norwood, NJ: Ablex.

Chandrasekaran B. (1986). Generic tasks in knowledge-based reasoning: high-level building blocks for expert systems design. IEEE Expert, 1(3), p. 23-30.

Chandrasekaran B. (1988). Generic tasks as building blocks for knowledge-based systems: the diagnosis and routine design examples. Knowledge Engineering Review, 3(3), p. 183-210.

Chandrasekaran B. and Mittal S. (1984). Deep versus compiled knowledge approaches to diagnostic problem solving. In Developments in Expert Systems (Coombs M. J., eds.), Chapter 2. London; Academic Press.

ChappellD. (1996). Understanding ActiveX and Ole. Microsoft Press.

Charniak E. and McDermott D. (1985). Introduction to Artificial Intelligence. Reading, MA: Addison-Wesley.

Charniak E., Reisbeck C. and McDermott D. (1987). Artificial Intelligence Programming, 2nd ed. Hillsdale, NJ: Lawrence Eribaum.

Cheeseman P. (1985). In defense of Probability. In Proc. 8th InternationalJoint Conference on Artificial Intelligence, p. 1002-1009.

Church A. (1941). The Calculi of Lambda Conversion. Annals of Mathematics Studies, Princeton University Press.

Clancey W. J. (1983). The epistemology of a rule-based expert system: a framework for explanation. Artificial Intelligence, 10, p. 215-251.

Clancey W. J. (1985). Heuristic classification. Artificial Intelligence, 27, p. 289-350.

Clancey W. J. (1987, a). Knowledge-Based Tutoring, The GUIDON Program. Cambridge, MA: MIT Press.

Clancey W. J. (1987, b). Intelligent tutoring systems: a tutorial survey. In van Lamsweerde and Dufour (1987), Chapter 3.

Clancey W. J. (1987, c). From GUIDON to NEOMYCIN and HERACLES in twenty short lessons, In Current Issues in Expert Systems (van Lamsweerde A. and Dufour P., eds., Chapter 4. London: Academic Press.

Clancey W. J. (1993, a). Notes on "Heuristic Classification". Artificial Intelligence, 59, p. 191-196.

Clancey W. J. (1993, b). Notes on "Epistemology of a rule-based expert system". Artificial Intelligence, 59, p. 197-204.

Clancey W. J. and Letsinger R. (1984). NEOMYCIN: reconfiguring a rule-based expert system for application to teaching. In Readings in Medical Artificial Intelligence (Clancey W. J. and Shortliffe E. H., eds.). Chapter 15. Reading, MA: Addison-Wesley.

Clancey W. J. and Shortliffe E. H., eds. (1984). Readings in Medical Artificial Intelligence. Reading, MA: Addison-Wesley.

Clark K. L. and McCabe F. (1982). PROLOG: a language for implementing expert systems. In Machine Intelligence 10 (Hayes J. E., Michie D. and Pao Y. H., eds.). Chichester, UK: Ellis Horwood.

Clark K. L. and Tarnlund S.-A., eds. (1982). Logic Programming, London: Academic Press

Cohen P. and Feigenbaum E. A., eds. (1982). The Handbook of Artificial Intelligence, Vol. 3. Los Altos, CA: Morgan Kaufinann.

Collins A. M. and Quillian M. R. (1969). Retrieval time from semantic memory. Journal of Verbal Learning and Verbal Behavior, 8, p. 240-247.

Coombs M. J., eds. (1984). Developments in Expert Systems. London: Academic Press.

Cooper G. F. (1990). The computational complexity of probabilistic inference using Bavesian belief networks. Artificial Intelligence, 42, p. 393-405.

Corkill D. D. (1991). Blackboard systems. Al Expert, 6(9), p. 40-47. Coyne R, (1988). Logic Models of Design. London: Pitman.

Cox R. (1946). Probability frequency and reasonable expectation. American Journal of Physics, 14(1), p. 1-13.

Craig I. (1995). Blackboard Systems. Norwood, NJ: Ablex.

Davies J. and May R. (1995). The development of a prototype "correctly dressed" case-based reasoner: Efficacy of CBR-Express. In Progress in Case-Based Reasoning (Watson I., eds.). Lecture Notes in Artificial Intelligence, 1020. Berlin: Springer-Verlag.

Davis R. (1980, a). Meta-rules: reasoning about control. Artificial Intelligence, 15, p. 179-222.

Davis R. (1980, b). Applications of meta-level knowledge to the construction, maintenance and use of large knowledge bases. In Knowledge-Based Systems in Artificial Intelligence (Davis R. and Lenat D., eds.) p. 229-490. New York: McGraw-Hill.

Davis R. (1982). Expert systems: Where are we? And where do we go from here? Al Magazine, 3(2).

Davis R. (1984). Diagnostic reasoning based on structure and behavior. Artificial Intelligence, , 24, p. 347-410.

Davis R. (1989). Expert systems: how far can they go? Part Two. Al Magazine, 10(2), Summer 1989, p. 65-77.

Davis R. and King J. (1977). An overview of production systems. In Machine Intelligence 8 (Elcock E. W. and Michie D., eds.), p. 300-332. New York: Wiley.

Davis R. and Lenat D. (1980). Knowledge-Based Systems in Artificial Intelligence. New York: McGraw-Hill.

De Kleer J. (1986). An assumption based TMS. Artificial Intelligence, 28, p. 127-162.

De Kleer J. and Williams В. С. (1987). Diagnosing multiple faults. Artificial Intelligence, 32, p. 97-130.

Dean T. L. and Wellman M. (1991). Planning and Control. Los Altos, CA: Morgan Kaufinann.

Dietterich T. G. and Michalski R. (1983). A comparative review of selected methods for learning 'from examples. In Machine Learning (Michalski R. S., Carbonell J. G. and Mitchell T. M., eds.), Chapter 3. Palo Alto, CA: Tioga.

Doyle J. (1979). A truth maintenance system. Artificial Intelligence, 12, p. 231-272.

Dubois D., Prade H. and Yager R. R., eds. (1996). Fuzzy Information Engineering: A Guided Tour of Applications. New York: Wiley.

Elcock E. W. and Michie D., eds. (1977). Machine Intelligence 8. New York: Wiley.

Englemore R. and Morgan Т., eds. (1988). Blackboard Systems. Reading, MA: Addison-Wesley.

Eriksson H., Shahar Т., Tu S. W., Puerta A. R. and Musen M. A. (1995). Task Modeling with reusable problem-solving methods. Artificial Intelligence, 79 (2), p. 293-326.

Erman L., Hayes-Roth R., Lesser V. and Reddy D. (1980). The HEARSAY-II speech understanding system: integrating knowledge to resolve uncertainty. Computing Surveys, 12(2), p. 213-253.

Erman L. D., London P. E. and Fickas S. F. (1983). The design and an example use of HEARSAY-III, InProc. National Conference on Artificial Intelligence, p. 409^415.

Eshelman L. (1988). A knowledge acquisition tool for cover-and-differentiate systems. In Automating Knowledge Acquisition for Expert Systems (Marcus S., eds.), Chapter 3. Boston: Kluiver Academic.

Eshelman L. and McDermott J. (1986). MOLE: a knowledge acquisition tool that uses its head. In Proc. National Conference on Artificial Intelligence, p. 950-955.

Eshelman L., Ehret D., McDermott J. and Tan M. (1987). MOLE: a tenacious knowledge acquisition tool. InternationalJournal of Man-Machine Studies, 26, p. 41-54.

Feigenbaum E. A. (1977). The art of artificial intelligence: themes and case studies of knowledge engineering. In Proc. 5th International Joint Conference on Artificial Intelligence, p. 1014-1029.

Feigenbaum E.A. and Buchanan B.G. (1993). DENDRAL and Meta-DENDRAL: roots of knowledge systems and expert systems applications. Artificial Intelligence, 59, p. 233-240.

Feigenbaum E. A. and Feldman J., eds. (1963). Computers and Thought. New York: McGraw-Hill.

Feigenbaum E. A., McCorduck P. and Nii H. P. (1988). The Rise of the Expert Company. Times Books.

Feiner S. K. and McKeown K. R. (1991). Automating the generation of coordinated multimedia explanations. In Intelligent Multi-Media Interfaces (Maybury M., eds.), Chapter 5. AAAI Press/MIT Press.

Fikes R. E. and Nilsson N. J. (1971). STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2, p. 189-208. (Русский перевод: Файкс Р., Нильсон Н. Система STRIPS — новый подход к применению методов доказательства теорем при решении задач.— В сб. Интегральные роботы, вып. 1. Под. ред. Г. Е. Поздняка. — с. 382^103.)

Findler N. V., eds. (1979). Associative Networks. New York: Academic Press.

Forbus K. and de Kleer J. (1993). Building Problem Solvers. Cambridge, MA: MIT Press.

Forgy C. L. (1982). Rete: a fast algorithm for the many pattern/many object pattern match

problem. Artificial Intelligence, 19, p. 17-37.

Gale W. A. (1986). Artificial Intelligence and Statistics. Reading, MA: Addison-Wesley. Gale W. A. (1987). Knowledge-based knowledge acquisition for a statistical consulting system.

International Journal of Man-Machine Studies, 26, p. 54-64.

Genesereth M. R. (1984). The use of design descriptions in automated diagnosis. Artificial Intelligence, 24, p. 411-436. Genesereth M. R. and Nilsson N. J. (1987). Logical Foundations of Artificial Intelligence. Los

Altos, CA: Morgan Kaufmann. Giarratano J. and Riley G. (1994). Expert Systems: Principles and Programming, 2nd edn.

Boston, MA: PWS Publishing.

Gil Y. and Paris C. L. (1994). Towards method-independent knowledge acquisition. Knowledge Acquisition, 6(2), p. 163-178. Ginsberg M., eds. (1987). Readings in Nonmonotonic Reasoning. Los Altos, CA: Morgan

Kaufmann.

Ginsberg M. (1993). Essentials of Artificial Intelligence. Los Altos, CA: Morgan Kaufmann. Givan R. and Dean T. (1997). Model minimization, regression, and propositional STRIPS planning. In Proc. 15th International Joint Conference on Artificial Intelligence, p. 1163-1168. Glaser H., Hankin C. and Till D. (1984). Functional Programming. Englewood Cliffs, NJ:

Prentice-Hall. Goldberg A. and Robson D. (1983). Smalltalk-80; The Language and its Implementation.

Reading, MA: Addison-Wesley. Golding A. R. and Rosenbloom P. S. (1991). Improving rule-based systems through case-based

reasoning. In Proc. National Conference on Artificial Intelligence, p. 22-21. Golding A. R. and Rosenbloom P. S. (1996). Improving accuracy by combining rule-based and

case-based reasoning. Artificial Intelligence, 87, p. 215-254. Goldman N. (1978). АРЗ User's Guide. Information Sciences Institute, University of Southern

California.

Gordon J. and Shortliffe E. H. (1985). A method of managing evidential reasoning in a hierarchical hypothesis space. Artificial Intelligence, 26, p. 323-357. Graham P. (1994). On Lisp: Advanced Techniques for Common Lisp. Englewood Cliffs, NJ:

Prentice-Hall.

Haberi J. S., Norford L. K. and Spadaro G. V. (1989). Diagnosing building operational problems. ASHRAE Journal, June, p. 20-30.

Hammond K. J. (1986). CHEF: a model of case-based planning. In Proc. AAAI-86 Harmon P. (1992). Case-based reasoning III. Intelligent Software Strategies, 8(1). Harmon P. and Hall C. (1993). Intelligent Software Systems Development: An IS Manager's Guide. New York: Wiley.

Harmon P. and Sawyer B. (1990). Creating Expert Systems for Business and Industry. New York: Wiley.

Hasling D. W., Clancey W. J. and Rennels G. (1984). Strategic explanations for a diagnostic consulting system. InternationalJournal of Man-Machine Studies, 20(1), p. 3-19.

Hayes J. E. and Michie D., eds. (1984). Intelligent Systems - The Unprecedented Opportunity. Chichester, UK: Ellis Horwood.

Hayes J. E., Michie D. and Pao Y. H., eds. (1982). Machine Intelligence 10. Chichester, UK: Ellis Horwood.

Hayes-Roth B. (1985). Blackboard architecture for control. Artificial Intelligence, 26, p. 251-321.

Hayes-Roth F., Waterman D. A. and Lenat D., eds. (1983). Building Expert Systems. Reading, MA: Addison-Wesley. (Русский перевод: Хейес-Рот Ф., Уотерман Д., Ленат Д. Построение экспертных систем. — М.: Мир, 1987. — 430 с.)

Hayes-Roth В., Buchanan В., Lichtarge О., Hewett M., Altaian R., Brinkiey J., Cornelius С., Duncan В. and JardetzkyO. (1986). PROTEAN: deriving protein structure from constraints. In Proc. National Conference on Artificial Intelligence, p. 904-909.

Hayes-Roth В., Garvey A., Johnson M. V. and Hewett H. (1987). A Modular and Layered Environment for Reasoning About Action. Technical Report No. KSL 86-38, Knowledge Systems Laboratory, Stanford University.

Hayes-Roth В., Johnson M. V., Garvey A. and Hewett H. (1988). Building systems in the BB* environment. In Blackboard Systems (Englemore R. and Morgan Т., eds.), Chapter 29. Reading, MA: Addison-Wesley.

Heckerman D. (1986). Probabilistic interpretation for MYCIN's certainty factors. In Uncertainty in Artificial Intelligence (Kanal L. N. and Lemmer J. E., eds.), p. 169-196. Amsterdam: North-Holland.

Henderson P. (1980). Functional Programming: Application and Implementation. Englewood Cliffs, NJ: Prentice-Hall.

Hendrix G. G. (1979). Encoding knowledge in partitioned networks. In Associative Networks (Findler N. V., eds.), p. 51-92. New York: Academic Press.

Henrion M., Shachter R. D., Kanal L. N. and Lemmer J. E., eds., (1990). Uncertainty in Artificial Intelligence 5. Amsterdam: North-Holland.

Hewitt C. (1972): Decription and Theoretical Analysis (Using Schemata) of PLANNER, a Language for Proving Theorems and Manipulating Models in a Robot. Report No. TR-258, AI Laboratory, MIT.

Hinton G. E. (1989). Connectionist learning procedures. Artificial Intelligence, 40, p. 185-234.

Hislop C. and Pracht D. (1994). Integrated problem resolution for business communications. In Innovative Applications of Artificial Intelligence 6, Proceedings of AAA1-94, p. 63-74, Memo Park, CA: AAAI Press.

Hopcroft J. E. and Ullman J. D. (1979). Introduction to Automata Theory, Languages and Computation. Reading, MA: Addison-Wesley.

Horty J. R., Thomason R. H. and Touretzky D. S. (1987). A skeptical theory of inheritance in nonmonotonic semantic nets. In Proc. National Conference on Artificial Intelligence, p. 358-363.

Horvitz E. and Heckerman D. (1986). The inconsistent use of measures of certainty in artificial intelligence research. In Uncertainty in Artificial Intelligence (Kanal L. N. and Lemmer J. R., eds.), p. 137-151. Amsterdam: North Holland.

Horvitz E., Heckerman D. and Langlotz C. P. (1986). A framework for comparing formalisms for plausible reasoning. In Proc. National Conference on Artificial Intelligence, p. 210-214.

Hunt E. В., Mann I. and Stone P. T. (1966). Experiments in Induction. New York: Academic Press.

Jagannathan V., Dodhiawala R. and Baum L. S., eds. (1989). Blackboard Architectures and Applications. New York: Academic Press.

Jamshidi M, Tilti A., Zadeh L. and Boverie S., eds. (1997). Applications of Fuzzy Logic: Towards High Machine Intelligence Quotient Systems. Englewood Cliffs, NJ: Prentice Hall.

Jensen R V. (1996). Introduction to Bayesian Networks. Berlin: Springer Verlag.

Johnson M. V. and Hayes-Roth B. (1986). Integrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture. Technical Report No. KSL 86-76, "Knowledge Systems Laboratory, Stanford University.

Kahn G. (1988). MORE: from observing knowledge engineers to automating knowledge acquisition. In Automating Knowledge Acquisition for Expert Systems (Marcus S., eds.), Chapter 2. Boston: Kluiver Academic.

Kahn G. and McDermott J. (1984). The MUD system. In Proc. 1st IEEE Conference on Artificial Intelligence Applications.

Kahn G., Nowlan S. and McDermott J. (1985). MORE; an intelligent knowledge acquisition tool. In Proc. 9th International Joint Conference on Artificial Intelligence, p. 581-584.

Kahn G., Kepner A. and Pepper J. (1987). TEST: a model-driven application shell. In Proc. National Conference on Artificial Intelligence, p. 814-818.

Kahneman D. and Tversky A. (1972). Subjective probability: a judgement of representativeness. Cognitive Psychology, 3, p. 430-454.

Kahneman D., Slovic P. and Tversky A., eds. (1982). Judgement under Uncertainty: Heuristics and Biases. Cambridge: Cambridge University Press.

Kam M., ChowJ.-C. and Fischi R. (1991). Hybrid expert system/neural network architecture for classifying power system contingencies. In Proc. First International Forum on Applications of Neural Networks to Power Systems, p. 76-82.

Kanal L. N. and Lemmer J. R., eds. (1986). Uncertainty in Artificial Intelligence. Amsterdam: North-Holland.

Keene S. E. (1989). Object-Oriented Programming in COMMON LISP. Reading, MA: Addi-son-Wesley.

Kingston J. K. C. (1997). Designing knowledge based systems: The CommonKADS design model. In Research and Development in Expert Systems XIV, Proceedings ofBCS SGES, Expert Systems '97, Cambridge University Press.

Kingston J. K. C., Doheny J. G. and Filby I. M. (1995). Evaluation of workbenches which support the CommonKADS methodology. Knowledge Engineering Review, 10, 3.

Klahr P. and Waterman D., eds. (1986). Expert Systems: Techniques, Tools, and Applications. Reading, MA: Addison-Wesley.

Kodratoff Y. and Michalski R. S., eds. (1990). Machine Learning: An Artificial Intelligence Approach, Vol. III. Los Altos, CA: Morgan Kaufrnann.

Kolodner J. L. (1991). Improving human decision making through case-based decision aiding. AIMagazine, 12 (2), p. 52-68.

Kolodner J. L. (1993). Case-Based Reasoning. Los Altos, CA: Morgan Kaufrnann.

Kononenko I., Bratko I. and Riskar E. (1984). Experiments in Automatic Learning of Medical Diagnostic Rules. Jozef Stefan Institute, Ljubljana, Yugoslavia.

Korf R. E. and Reid M. (1998). Complexity analysis of admissible heuristic search. In Proc. 15th National Conference on Artificial Intelligence (AAAI-98). p. 305-310, AAAI Press.

Kowalski R. A. (1979). Logic for Problem Solving. Amsterdam: North-Holland.

Kowalski R. A. (1982). Logic as a computer language. In Logic Programming (Clark K. L. and Tarnlund S. -A., eds.) Chapter 1. London: Academic Press.

Kunz J. C, Fallal R. J., McClung D. H, Osborn J. J, Votteri R. A., Nii H. P., Aikins J. S, Fa-gan L. M. and Feigenbaum E. A. (1978). A Physiological Rule-Based System for Interpreting Pulmonary Function Test Results. Report No. HPP 78-19, Heuristic Programming Project, Computer Science Department, Stanford University.

Kunz J. C., Kehler T. P. and Williams M. D. (1984). Applications development using a hybrid AI development system. AlMagazine, 5(3), Fall, p. 41-54.

Lan M. S., Panos R. M. and Balban M. S. (1987). Experience using S.I: an expert system for newspaper printing press configuration. Knowledge Engineering Review, 2(4), p. 277-285.

Langlotz C. P., Shortliffe E. H. and Fagan L. M. (1986). Using decision theory to justify heuristics. In Proc. National Conference on Artificial Intelligence, p. 215-219.

Laurent J. P., Ayel J., Thome F. and Ziebelin D. (1986). Comparative evaluation of three expert system development tools: KEE, Knowledge Craft, ART. Knowledge Engineering Review, 1(4), p. 19-29.

Lehnert W. and Wilks Y. (1979). A critical perspective on KRL Cognitive Science, 3, p. 1-28. Lenat D. B. (1982). The nature of heuristics. Artificial Intelligence, 19, p. 189-249.

Levesque H. and Mylopoulos J. (1979). A procedural semantics for semantic networks. In Associative Networks (Findler N. V., eds.), p. 93-120. New York: Academic Press.

Linster M. and Musen M. A. (1992). Use of KADS to create a conceptual model of the

ONCOCINtask. Knowledge Acquisition, 4, p. 55-87. MacGregor R. (1991). Inside the LOOM classifier. SIGART Bulletin, 2(3), p. 70-76.

Mamdani E. H. and Gaines B. R. (1981). Fuzzy Reasoning and its Applications. London: Academic Press.

Marcus S., eds. (1988, a). Automating Knowledge Acquisition for Expert Systems. Boston: Kluiver Academic.

Marcus S. (1988, b). A knowledge acquisition tool for propose-and-revise systems. In Automating Knowledge Acquisition for Expert Systems (Marcus S., eds.). Chapter 4. Boston: Kluiver Academic.

Marcus S., Stout J. and McDermott J. (1988). VT: an expert elevator configurer that uses knowledge-based backtracking. AI Magazine, 9(1), p. 95-112.

Marir F. and Watson I. (1994). Case-based reasoning: a categorized bibliography. Knowledge

Engineering Review, 9(4), p. 355-381. Martins J. P. and Reinfrank M. (1991). Truth Maintenance Systems. Lecture Notes in Artificial

Intelligence, No. 515. Berlin: Springer Verlag. Maybury M., eds. (1993). Intelligent Multi-Media Interfaces. Cambridge, MA: AAAI

Press/MIT Press.

McAllester D. (1980). An Outlook on Truth Maintenance. Report No. AIM-551, Artificial Intelligence Laboratory, Massachusetts Institute of Technology.

McArthur D., Klahr P. and Narain S. (1986). ROSS: an object-oriented language for constructing simulations. In Expert Systems: Techniques, Tools and Applications (Klahr P. and Waterman D., eds.). Chapter 3. Reading, MA: Addison-Wesley.

McCarthy J. (1960). Recursive functions of symbolic expressions and their computation by machine. Communications of the Association for Computing Machinery, April, p, 184-195. McCarthy J. and Hayes P. (1969). Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence 4 (Meltzer B. and Michie D., eds.), p. 463-502. Edinburgh: Edinburgh University Press.

McCarthy J., Abrahams P. W., Edwards D. I., Hart T. P. and Levin M. I. (1965). LISP 1.5 Programmer's Manual, 2nd edn. Cambridge, MA: MIT Press.

McDermott J. (1980). Rl: an expert in the computer system domain. In Proc. National Conference on Artificial Intelligence, p. 269-271. McDermott J. (1981). Rl's formative years. AIMagazine, 2(2).

McDermott J. (1982, a). Rl: a rule-based configurer of computer systems. Artificial Intelligence, 19, p. 39-88. McDermott J. (1982, b). XSEL: a computer sales person's assistant. In Machine Intelligence JO

(Hayes J. E., Michie D. and Pao Y. H., eds.), p. 325-337. Chichester, UK: Ellis Horwood. McDermott J. (1984). Building expert systems. In Artificial Intelligence Applications for Business (Reitman W., eds.). Norwood, NJ: Ablex.

McDermott J. (1988). Preliminary steps towards a taxonomy of problem solving methods. In Automating Knowledge Acquisition for Expert Systems (Marcus S., eds.), Chapter 8. Boston: Kluiver Academic. McDermott J. (1993). Rl ("XCON") at age 12: lessons from an elementary school achiever.

Artificial Intelligence, 59, p. 241-247. McDermott J. and Bachant J. (1984). Rl revisited: four years in the trenches. AI Magazine,

5(3), Fall, p. 21-32.

McDermott J. and Forgy C. L. (1978). Production system conflict resolution strategies. In Pattern Directed Inference Systems (Waterman D. A. and Hayes-Roth F., eds.), p. 177-199. New York: Academic Press.

McNeill D. and Freiberger P. (1993). Fuzzy Logic. New York: Simon and Schuster. Meltzer B. and Michie D., eds. (1969). Machine Intelligence 4. Edinburgh: Edinburgh University Press.

Meyers S. (1995). More Effective C++ : 35 New Ways to Improve Your Programs and Designs. Reading, MA: Addison-Wesley.

Meyers S. (1997). Effective C++ ; 50 Specific Ways to Improve Vom Programs and Designs, 2nd edn. Reading, MA: Addison-Wesley.

Michalski R. S. (1983). A theory and methodology of inductive learning. In Machine Learning (Michalski R. S., Carbonell J. G. and Mitchell T. M., eds.), Chapter 4. Palo Alto, CA: Tioga.

Michalski R. S., Carbonell J. G. and Mitchell T. M., eds. (1983). Machine Learning. Palo Alto, CA: Tioga.

Michalski R. S., Carbonell J. G. and Mitchell T. M, eds. (1986). Machine Learning Vol. II. Palo Alto, CA: Tioga.

Michie D., eds. (1968). Machine Intelligence 3. Edinburgh: Edinburgh University Press.

Michie D., eds. (1979). Expert Systems in the Micro-Electronic Age. Edinburgh: Edinburgh University Press.

Mingers J. (1989, a). An empirical comparison of selection measures for decision tree induction. Machine Learning, 3, p. 319-342.

Mingers J. (1989, b). An empirical comparison of pruning methods for decision tree induction. Machine Learning, 4, p. 227-243.

Minsky M., eds. (1968). Semantic Information Processing. Cambridge, MA: MIT Press. Minsky M. (1972). Computation: Finite and Infinite Machines. London: Prentice-Hall.

Minsky M. (1975). A framework for representing knowledge. In The Psychology of Computer Vision (Winston P. H., eds.) p. 211-277. New York: McGraw-Hill. (Русский перевод: Минский М. Структура для представления знания. — В сб. Психология машинного зрения. Под. ред. П. Уинстона. М.: Мир, 1978. — с. 249-338.)

Mitchell Т. М. (1978). Version Spaces: An Approach to Concept Learning. Report No. STAN-CS-78-711, Computer Science Department, Stanford University.

Mitchell Т. М. (1982). Generalization as search. Artificial Intelligence, 18, 203-226.

Mitchell Т. М. (1997). Machine Learning. New York, NY: McGraw-Hill.

Mitchell T. M., Keller R. M. and Kedar-Cabelli S. T. (1986). Explanation-based generalization:

A unifying view. Machine Learning, 1(1), p. 47-80. Moore J. D. (1995). Participating in Explanatory Dialogues. Cambridge MA: MIT Press.

Moser M. G. (1983). An Overview of NIKL, the New Implementation of KL-ONE. Technical Report No. 5421, Cambridge MA: Bolt, Beranek and Newman.

Moore J. D. and Paris C. L. (1993). Planning text for advisory dialogues: capturing intentional and rhetorical information. Computational Linguistics, 19(4), p. 651-695.

Moore J. D., Lemaire B. and Rosenblum J. A. (1996). Discourse generation for instructional applications: identifying and exploiting relevant prior explanations. Journal of the Learning Sciences, 5(1), p. 49-94.

Musen M. A. (1992). Overcoming the limitations of role-limiting methods. Knowledge Acquisition, 4(2), p. 165-170.

Musen M. A. (1989). Automated support for building and extending expert models. Machine Learning, 4(3-4), p. 347-376.

Musen M. A., Gennari J. H. and Wong W. W. (1995). A rational reconstruction of INTERNIST-I using PROTEGE-II. Knowledge Systems Laboratory, Medical Computer Science, KSL-95-46.

Neale I. M. (1988). First generation expert systems: a review of knowledge acquisition methodologies. Knowledge Engineering Review, 3(2), p. 105-145.

Neapolitan R. E. (1990). Probabilistic Reasoning in Expert Systems: Theory and Algorithms. New York: Wiley.

Neches R., Swartout W. R. and Moore J. (1985). Explainable (and maintainable) expert systems. In Proc. 9th International Joint Conference on Artificial Intelligence, p. 382-389.

Newell A. (1981). Physical symbol systems. In Perspectives on Cognitive Science (Norman D. A., eds.), Chapter 4. Norwood, NJ: Ablex.

Newell A. (1982). The knowledge level. Artificial Intelligence, 18, p. 87-127. Newell A. and Simon H. A. (1972). Human Problem Solving. Englewood-Cliffs, NJ: Prentice-Hall.

Newell A. and Simon H. A. (1976). Computer science as empirical enquiry. Communications of the Association for Computing Machinery, 19(3), p. 113-126.

Nguyen Т., Czerwinski M. and Lee D. (1993). Compaq QuickSource: Providing the consumer with the power of artificial intelligence. In Innovative Applications of Artificial Intelligence 5, Proceedings ofAAAI-93, p. 142-151. Menlo Park, CA:. AAAI Press.

Nii H. P. (1986, a). Blackboard systems (Part 1). AIMagazine, 7(2), p. 38-53. Nii H. P. (1986, b). Blackboard systems (Part 2). Al Magazine, 7(3), p. 82-106.

Nii H. P. and Aiello N. (1979). AGE (Attempt to GEneralize): a knowledge-based program for building knowledge-based programs. In Proc. 6th International Joint Conference on Artificial Intelligence, p. 645-655.

Nii H. P., Aiello N. and Rice J. (1988). Frameworks for concurrent problem solving: a report on CAGE and POLIGON. In Blackboard Systems (Englemore R. and Morgan T, eds.), Chapter 25. Reading, MA: Addison-Wesley.

Nilsson N. J. (1971). Problem Solving Methods in Artificial Intelligence. New York: McGraw-Hill. (Русский перевод: НильсонН. Искусственный интеллект. Методы поиска решений. — М.: Мир, 1973. — 265 с.)

Nilsson N. J. (1980). Principles of Artificial Intelligence. Palo Alto, CA: Tioga. (Русский перевод: НильсонН. Принципы искусственного интеллекта.— М.: Радио и связь, 1985. —376с.)

Norman D. A., eds. (1981). Perspectives on Cognitive Science. Norwood NJ: Ablex.

Norvig P. (1992). Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp. Los Altos, CA: Morgan Kaufrnann.

O'Rourke P. (1982). A Comparative Study of Two Inductive Learning Systems AQ11 and ID3 Using a Chess Endgame Test Problem. Report No. 82-2, Department of Computer Science, University of Illinois.

O'Shea T. and Eisenstadt M., eds. (1984). Artificial Intelligence: Tools, Techniques, and Applications. New York: Harper and Row.

Paterson A. and Niblett T. (1982). ACLS Manual, Version 1. Glasgow, UK: Intelligent Terminals.

Pearl J. (1982). Reverend Bayes on inference engines: a distributed hierarchical approach. In Proc. National Conference on Artificial Intelligence, p. 133-136.

Pearl J. (1984). Heuristics. Intelligent Search Strategies for Computer Problem-Solving. Reading, MA: Addison-Wesley.

Pearl J. (1986). On evidential reasoning in a hierarchy of hypotheses. Artificial Intelligence, 28, p. 9-15.

Pearl J. (1988). Probabilistic Reasoning for Intelligent Systems. Los Altos, CA: Morgan Kauf-mann.

Pearl J. (1997). Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Los Altos, CA: Morgan Kauftnann.

Pepper J. and Kahn G. (1987). Repair strategies in a diagnostic expert system. In Proc. 10th International Joint Conference on Artificial Intelligence, p. 531-534.

Peterson G. E., eds. (1987). Object-oriented computing, Vols 1 and 2. Washington DC: The Computer Society Press of the IEEE.

Poeson M. C. and Richardson J. (1988). Foundations of Intelligent Tutoring Systems. Hillsdale, NJ: Lawrence Erlbaum.

Pople H. E. Jr. (1977). The formation of composite hypotheses in diagnostic problem solving: an exercise in synthetic reasoning. In Proc. 5th International Joint Conference on Artificial Intelligence, p. 1030-1037.

Pople H. E. Jr. (1982). Heuristic methods for imposing structure on ill-structured problems: the structuring of medical diagnosis. In Artificial Intelligence in Medicine (Szolovits P., eds.), p. 119-190. Boulder, Co: Westview Cress.

Post E. L. (1943). Formal reductions of the general combinatorial decision problem. American

Journal of Mathematics, 65, p. 197-268. Poundstone W. (1988). Labyrinths of Reason. New York: Doubleday.

Prerau D. S. (1990). Developing and Managing Expert Systems. Reading, MA: Addison-Wesley.

Provan G. M. (1990). The application of Dempster-Shafer theory to a logic-based visual recognition system. In Uncertainty in Artificial Intelligence (Henrion M., Shachter R. D., Ka-nal L. N. and Lemmer J. E., eds.), p. 389^405. Amsterdam: North Holland.

Puerta A. R., Neches R., Eriksson H., Szeleky P., Luo P. and Musen M. A. (1994). Toward ontology-based frameworks for knowledge acquisition tools. In Proc. 8th Banff Knowledge-Based Systems Workshop, 26, p. 1-14.

Quillian M. R. (1968). Semantic memory. In Semantic Information Processing (Minsky M., eds.), p. 227-270. Cambridge, MA: MIT Press.

Quine W. V. O. (1979). Methods of Logic. London: Routledge Kegan Paul.

Quinlan J. R. (1979). Discovering rules from large collections of examples: a case study. In Expert Systems in the Micro-Electronic Age (Michie D., eds.), p. 168-201. Edinburgh: Edinburgh University Press.

Quinlan J. R. (1983). Learning efficient classification procedures and their application to chess endgames. In Machine Learning (Michalski A. S., Carbonell J. G. and Mitchell Т. М, eds.). Chapter 15. Palo Alto, С A: Tioga.

Quinlan J. R. (1986, a). Induction of decision trees. Machine Learning, 1, p. 81-106.

Quinlan J. R. (1986, b). The effect of noise on concept learning. In Machine Learning Vol. II (Michalski R. S., Carbonell J. G. and Mitchell T. M., eds.). Chapter 6. Palo Alto, CA: Tioga.

Quinlan J. R., eds. (1987). Applications of Expert Systems. Sydney: Addison-Wesley.

Quinlan J. R, (1993). C4.5: Programs for Machine Learning. San Mateo, CA: Morgan Kauf-mann.

Raphael B. (1976). The Thinking Computer: Mind inside Matter. San Francisco: W. H. Freeman.

Rayward-Smith V. J. (1994). Applications of Modern Heuristic Methods. Alfred Waller.

Rayward-Smith V. J., Osman I. H. and Reeves C. R., eds. (1996). Modern Heuristic Search Methods. New York: Wiley.

Reichgelt H. and van Harmelen E. (1986). Criteria for choosing representation languages and control regimes for expert systems. Knowledge Engineering Review, 1(4), p. 2-17.

Reitman W., eds. (1984). Artificial Intelligence Applications for Business. Norwood, NJ: Ablex.

Reynolds D. (1988). MUSE: a toolkit for embedded, real-time, AI. In Blackboard Systems (Englemore R. and Morgan Т., eds.), Chapter 27. Reading, MA: Addison-Wesley.

Rice J. (1986). POLIGON: A System for Parallel Problem Solving. Technical Report No. KSL-86-19, Knowledge Systems Laboratory, Stanford University.

Rice J. (1989). The advanced architectures project. AI Magazine, 10(4), p. 26-39. Rich E. and Knight K. (1991). Artificial Intelligence. New York: McGraw-Hill.

Richer M. H. and Clancey W. J. (1985). A graphic interface for viewing a knowledge based system. IEEE Computer Graphics and Applications, 5(11), p. 51-64.

Rine D. C., eds. (1975). Computer Science and Multiple-Valued Logic Theory and Applications. Amsterdam: North-Holland.

Rissland E. L., Daniels J. J., Rubinstein Z. B. and Skalak D. B. (1993). Case-based diagnostic analysis in a blackboard architecture. In Proc. llth National Conference on Artificial Intelligence, p. 66-72.

Robinson J. A. (1965). A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, 12, p. 23-41. (Русский перевод: Робинсон Дж. Машинно-ориентированная логика, основанная на принципе резолюции. — В кн. Кибернетический сборник, вып. 7, 1970, — с. 194-218.)

Robinson J. A. (1979). Logic: Form and Function. Edinburgh: Edinburgh University Press.

Robinson V., Hardy N. W, Barnes D. P., Pace C. J. and Lee M. H. (1987). Experiences with a knowledge engineering toolkit: an assessment in industrial robotics. Knowledge Engineering Review, 2(1), p. 43-54.

Rose D. E. (1994). A Symbolic and Connectionist Approach to Legal Information Retrieval. Hillsdale, NJ: Lawrence Erlbaum.

Rosenman M. A., Coyne R. D. and Gero I. S. (1987). Expert systems for design applications. In Applications of Expert Systems (Quinlan J. R., eds.). Chapter 4. Sydney: Addison-Wesley.

Rothenfluh T. E., Gennari J. H., Eriksson H., Puerto A. R., Tu S. W. and MusenM. A. (1994). Reusable ontologies, knowledge acquisition tools, and performance systems: PROTOGE-II solutions to Sisyphus-2. In Proc. 8th Banff Knowledge-Based Systems Workshop, 43, p. 1-30.

Rumelhart D. E. (1988). Parallel Distributed Processing: Explorations in the Microstructure of Cognition. Cambridge, MA: MIT Press.

Rumelhart D. E. and McClelland J. L. (1986) Parallel Distributed Processing: Explorations in the Microstructure of Cognition: Foundations. Cambridge, MA: MIT Press.

Russell S. J. and Norvig P. (1995). Artificial Intelligence: A Modern Approach. Englewood Cliffs, NJ: Prentice-Hall.

Sacerdoti E. D. (1974). A Structure for Plans and Behavior. Amsterdam: Elsevier North-Holland.

Sandewall E. (1986). Nonmonotonic inference rules for multiple inheritance with exceptions. In

Proc. IEEE, 74, p. 81-132. Sanford A. J. (1987). The Mind of Man: Models of Human Understanding. Brighton: Harvester

Press.

Schach S. R. (1993). Software Engineering. Richard D. Irwin.

Schank R. C. (1975). Conceptual Information Processing. Amsterdam: North-Holland.

Schank R. C. and Abelson R. (1977). Scripts, Plans, Goals and Understanding. Hillsdale, NJ: Lawrence Erlbaum.

Schank R. C. and Colby K., eds. (1973). Computer Models of Thought and Language. New York: W. H. Freeman.

Schmolze J. G. (1991). Guaranteeing serializable results in synchronous parallel production systems. Journal of Parallel and Distributed Computing, 13(4), p. 348-365.

Schreiber A. Th., Wielinga B. J. and Breuker J. A., eds. (1993). KADS: A Principled Approach to Knowledge-Based System Development. London: Academic Press.

Schubert L. K. (1976). Extending the expressive power of semantic networks. Artificial Intelligence, 1, p. 163-198.

Selman B. and Levesque H. J. (1989). The tractability of path-based inheritance. In Proc. llth International Joint Conference on Artificial Intelligence, p. 1140—1145.

Shafer G. (1976). A Mathematical Theory of Evidence. Princeton NJ: Princeton University Press.

Shafer G. and Pearl J. (1990). Readings in Uncertain Reasoning. Los Altos, CA: Morgan Kauffman.

Shafer G. and Tversky A. (1985). Languages and designs for probability judgment. Cognitive Science, 9, p. 309-339.

Shannon С. Е. (1950). Automatic chess player. Scientific American, 182(48). (Русский перевод: Шеннон К. Работы по теории информации и кибернетике. — М.: ИЛ., 1963.)

Shepherdson J. С. (1984). Negation as Failure. Journal of Logic Programming, 1, p. 51-81.

Shepherdson J. C. (1985). Negation as Failure II. Journal of Logic Programming, 3, p. 185-202.

Shortliffe E. H. (1976). Computer-Based Medical Consultations: MYCIN. New York: Elsevier.

Shortliffe E. H., Scott A. C, Bischoff M. В., van Melle W. and Jacobs C. D. (1981). ONCOCIN: an expert system for oncology protocol management In Proc. 7th International Joint Conference on Artificial Intelligence, p. 876-881.

Sime M. E. and Coombs M. J., eds. (1983). Designing for Human Computer Communication. London: Academic Press.

Simon H. A. (1983). Why should machines learn? In Machine Learning (Michalski R. S., Car-bonell J. G. and Mitchell T. M., eds.), Chapter 2. Palo Alto, CA: Tioga.

Slade S. (1991). Case-based reasoning: A research paradigm. Al Magazine, 12(1), Spring, p. 42-55.

Sleeman D. and Brown J. S., eds. (1982). Intelligent Tutoring Systems. London: Academic Press.

Smith B. C. (1982). Reflection and Semantics in a Procedural Language. MIT-TR-272, Massachusetts Institute of Technology. Also in Readings in Knowledge Representation (Brachman R. J. and Levesque H. J., eds.), 1985. Los Altos, CA: Morgan Kaufmann.

Smith R. G., Winston H. A., Mitchell T. and Buchanan B. G. (1985). Representation and use of explicit justifications for knowledge base refinement. In Proc. 9th International Joint Conference on Artificial Intelligence, p. 673-680.

Smullyan R. (1978). What Is the Name of this Book? New York: Simon and Schuster.

Stefik M. (1979). An examination of a frame-structured representation system. In Proc. 6th International Joint Conference on Artificial Intelligence, p. 845-852.

Stefik M. (1981, a). Planning with constraints. Artificial Intelligence, 16, p. 111-140. Stefik M. (1981, b). Planning and meta-planm'ng. Artificial Intelligence, 16, p. 141-169. Stefik M. (1995). Introduction to Knowledge Systems. San Francisco, CA: Morgan Kaufmann.

Stefik M. and Bobrow D. G. (1986). Object-oriented programming: themes and variations. Al Magazine, 6(4), p. 40-62.

Stefik M., Aikins J., Balzer R., Benoit J., Bimbaum L,, Hayes-Roth F. and Sacerdoti E. (1983). The architecture of expert Systems. In Building Expert Systems (Hayes-Roth F., Waterman D. A. and Lenat D., eds.). Chapter 4. Reading, MA: Addison-Wesley.

Sterling L. and Shapiro E. (1994). The Art of Prolog, 2nd edn. Cambridge, MA: MIT Press. (Русский перевод первого издания: Стерлинг Л., Шапиро Э. Искусство программирования на языке ПРОЛОГ. — М.: Мир, 1990.)

Stroustrup В. (1997). The C++ Programming Language, 3rd ed. Reading, MA: Addison-Wesley.

Studer R., Benjamins V. R. and Fensel D. (1998). Knowledge Engineering: Principles and Methods. Data and Knowledge Engineering, 25(1, 2), p. 161-198.

Sussman G. J. (1975). A Computer Model of Skill Acquisition. New York: American Elsevier.

Suwa W., Scott A. C. and Shortliffe E. H. (1982). An approach to verifying completeness and consistency in a rule-based expert system. Al Magazine, 3(4), p. 16-21.

Swartout W. R. (1983). XPLAIN: a system for creating and explaining expert consulting programs. Artificial Intelligence, 21, p. 285-325.

Szolovits P., eds. (1982). Artificial Intelligence in Medicine. Boulder, CO: Westview Press.

Tate A. (1977). Generating project networks. In Proc. 5th International Joint Conference on Artificial Intelligence, p. 888-893.

Teknowledge (1985). S.I. Reference Manual. Palo Alto, CA: Teknowledge.

Thomason R. (1992). NETL and subsequent path-based inheritance theories. Computers Math. Applic., 23 (2-5), p. 179-204.

Tommelein I. D., Johnson M. V., Hayes-Roth B. and Levitt R. E. (1987). SIGHTPLAN— a blackboard expert system for the layout of temporary facilities on a construction site. In Proc. IFIP WG5.2 Working Conference on Expert Systems in Computer-Aided Design, Sydney, Australia.

Touretzky D. S. (1986). The Mathematics of Inheritance Systems. London: Pitman.

Touretzky D. S., Horty J. F. and Thomason R. H. (1987). A clash of intuitions: the current state of nonmonotonic multiple inheritance systems. In Proc. 10th International Joint Conference on Artificial Intelligence, p. 476-482.

Tu S. W., Eriksson H., German J., Shahar Y. and Musen M. A. (1995). Ontology-based configuration of problem-solving methods and generation of knowledge-acquisition tools: application of PROTEGE-II to protocol-based decision support. Artificial Intelligence in Medicine, 1, p. 257-289.

Tversky A. and Kahneman D. (1974). Judgment under uncertainty: Heuristics and biases. Science, September. Also in Readings in Uncertain Reasoning (Shafer G. and Pearl J., eds.), 1990. Los Altos, CA: Morgan Kaufrnarm.

van Lamsweerde A. and Dufour P., eds. (1987). Current Issues in Expert Systems. London: Academic Press.

van Melle W. J. (1981). System Aids in Constructing Consultation Programs. Ann Arbor MI: UMI Research Press.

von Luck K. and Marburger H., eds. (1994). Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Proceedings. Lecture Notes in Computer Science Vol. 777. Berlin: Springer Verlag.

Walker E. A. and Nguyen H. T. (1996). A First Course in Fuzzy Logic. Boca Raton, FL: CRC Press.

Ward R. D. and Sleeman D. (1987). Learning to use the S.I knowledge engineering tool. Knowledge Engineering Review, 2(4), p. 265-276.

Waterman D. A. (1986). A Guide to Expert Systems. Reading, MA: Addison-Wesley. (Русский перевод: Уотермен Д. Руководство по экспертным системам. —М.: Мир, 1989.)

Waterman D. A. and Hayes-Roth F. (1978). Pattern Directed Inference Systems. New York: Academic Press.

Watson I. (1995). Progress in Case-Based Reasoning. Lecture Notes in Artificial Intelligence, 1020. Berlin: Springer-Verlag.

Watson I. and Marir F. (1994). Case-Based Reasoning: A Review. The Knowledge Engineering Review, 9 (4), p. 355-381.

Weiss S, M. and Kulikowski C. A. (1983). A Practical Guide to Designing Expert Systems. London: Chapman and Hall.

Wielinga B. J. and Breuker J. A. (1986). Models of expertise. In Proc. 7th European Conference on Artificial Intelligence, p. 306-318.

Wielinga B. J. and Schreiber A. Th. (1994). Conceptual modelling of large reusable knowledge bases. In Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Proceedings (von Luck K. and Mar-burger H., eds.), p. 181-200. Lecture Notes in Computer Science, Vol. 777. Berlin: Springer Verlag.

Wielinga B. J., Schreiber A. Th. and Breuker J. A. (1992). KADS: A modelling approach to knowledge engineering. Knowledge Acquisition, 4(1), p. 5-53. Special issue: The KADS approach to knowledge engineering. Reprinted in Readings in Knowledge Acquisition and Learning (Buchanan B. G. and WilkinsD. G., eds.), 1992. Los Altos, CA: Morgan Kauf-mann.

Wilkins D. C. (1988). Knowledge base refinement using apprenticeship learning techniques. In Proc. National Conference on Artificial Intelligence, p. 646-651.

Wilkins D. C. (1990). Knowledge base refinement as improving an incomplete and incorrect domain theory. In Machine Learning: An Artificial Intelligence Approach, Vol. Ill (Kodratoff Y. and Michalski R. S., eds.), p. 493-514. Los Altos, .CA: Morgan Kaufmann.

Wilkins D. C. and Buchanan B. G. (1986). On debugging rule sets when reasoning under certainty. In Proc. National Conference on Artificial Intelligence, p. 448—454.

Winograd T. (1972). Understanding natural language. Cognitive Psychology, 1, p. 1-191. (Русский перевод первого издания: Виноград Т. Программа, понимающая естественный язык. — М.: Мир, 1976.)

Winograd Т. (1975). Frame representations and the declarative/procedural controversy. In Representation and Understanding (Bobrow D. G. and Collins A., eds.). New York: Academic Press.

Winston P. H. (1975, a). Learning structural descriptions from examples. In The Psychology of Computer Vision (Winston P. H., eds.), Chapter 5. New York: McGraw-Hill.

Winston P. H., eds. (1975, b). The Psychology of Computer Vision. New York: McGraw-Hill. Winston P. H. (1982). Learning new principles from precedents and examples. Artificial Intelligence, 19, p. 321-350.

Winston P. H. (1984). Artificial Intelligence. Reading, MA: Addison-Wesley Winston P. H. (1992). Artificial Intelligence, 3rd edn. Reading, MA: Addison-Wesley. (Русский перевод первого издания: Уинстон П. Искусственный интеллект. — М.: Мир, 1980. — 519с.)

Winston P. H. and Brown R. H. (1979). Artificial Intelligence: An MIT Perspective, Vols 1 and 2. Cambridge, MA: MIT Press.

Winston P. H. and Horn K. P. (1981). LISP. Reading, MA: Addison-Wesley. Winston P. H. and Horn K. P. (1984). LISP, 2nd ed. Reading, MA: Addison-Wesley. Winston P. H. and Horn K. P. (1988). LISP, 3rd ed. Reading, MA: Addison-Wesley.

Winston P. H. and Shellard S. A. (1990). Artificial Intelligence at MIT: Expanding Frontiers, Vols 1 and 2. Cambridge, MA: MIT Press.

Wise B. P. and Henrion M. (1986). A framework for comparing uncertain inference systems to probability. In Uncertainty in Artificial Intelligence (Kanal L. N. and Lemmer J. F., eds.) p. 69-83. Amsterdam: North-Holland.

Woods W. (1975). What's in a link: Foundations for semantic networks. In Representation and Understanding (Bobrow D. G. and Collins A., eds.). New York: Academic Press.

Yager R. R. and Filev D. P. (1994). Essentials of Fuzzy Modeling and Control. New York: Wiley.

Yen J. (1986). A reasoning model based on an extended Dempster-Shafer theory. In Proc National Conference on Artificial Intelligence, p. 125-131. Yen J., Juang H. and MacGregor R. (1991, a). Using polymorphism to improve expert system maintainability. IEEE Expert, April. Yen J., Neches R. and MacGregor R. (1991, b). CLASP: Integrating term subsumption systems and production systems. In IEEE Transactions on Knowledge and Data Engineering, 3, 1, March.

Zadeh L. A. (1965). Fuzzy sets. Information and Control, 8, p. 338-353. Zadeh L. A. (1975). Fuzzy logic and approximate reasoning. Synthese, 30, p. 407-428. Zadeh L. A. (1978). Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems 1, p. 3-28. Zadeh L. A. (1981). PUF — a meaning representation language for natural languages. In Fuzzy

Reasoning and its Applications (Mamdani E. H. and Gaines B. D., eds.), p. 1-66. London:

Academic Press.