Часть 3.

Fikes R. E. and Nilsson N. J. STRIPS: A new approach to the application of theorem proving to artificial intelligence. Artificial Intelligence, 1(2), 1971.

Fikes R. E., Hart P. E. and Nilsson N. J. Learning and executing generalized robot plans. Artificial Intelligence, 3(4): 251-288, 1972.

Fillmore С J. The case for case. In Bach and Harms (1968), 1968.

Fischer K., Muller J. P. and Pischel M. Cooperative transportation scheduling: An application domain for DAL Applied Artificial Intelligence, 10(1): 1-34.

Fisher D. H. Knowledge acquisition via incremental conceptual clustering. Machine Learning, 2: 139-172.

Fisher D. H., Pazzani M. J. and Langley P. Concept Formation: Knowledge and Evperience in Unsupervised Learning. San Mateo, CA: Morgan Kaufmann Publishing, 1991.

Fodor J. A. The Modularity of Mind. Cambridge, MA: MIT Press, 1983.

Forbus K. D. and deKleer J. Focusing the ATMS. Proceedings of the Seventh National Conference on Artificial Intelligence, pp. 193-198. Menlo Park: CA, 1988.

Forbus K. D. and deKleer J. Building Problem Solvers. Cambridge, MA: MIT Press, 1993.

Ford К. М. and Hayes P. J. Turing Test Considered Harmful. Proceedings of International Joint Conference on Artificial Intelligence, Montreal, 1995.

Ford K. M., Glymour С and Hayes P. J. Android Epistemology. Cambridge: MIT Press, 1995.

Forgy C. L. RETE: a fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence, 19(1): 17-37, 1982.

Forney G. D., Jr. The Viterbi Algorithm. Proceedings of the IEEE (March), pp. 268-278, 1973.

Forrest S. Emergent Computation: Self-organizing, collective, and cooperative phenomena in natural and artificial computing networks. Physica D, 42: 1-11, 1990.

Forrest S. and Mitchell M. What makes a problem hard for a genetic algorithm? Some anomalous results and their explanation. Machine Learning, 13: 285-319, 1993a.

Forrest S. and Mitchell M. Relative building block fitness and the building block hypothesis. In L. D. Whitley (1993), 19936.

Franklin S. Artificial Minds. Cambridge, MA: MIT Press, 1995.

Freeman J. A. and Skapura D. M. Neural Networks: Algorithms, Applications and Programming Techniques. New York: Addison-Wesley, 1991.

Frege G. Begrijfsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: L. Niebert, 1879.

Frege G. Die Grundlagen der Arithmetic. Breslau: W. Koeber, 1884.

Frey B. J. Graphical Models for Machine Learning and Digital Communication. Cambridge: MIT Press, 1998.

Gadamer H. G. Philosophical Hermeneutics. Translated by D. E. Linge. Berkeley: University of California Press, 1976.

Gallier J. H. Logic for Computer Science: Foundations of Automatic Theorem Proving. New York: Harper and Row, 1986.

Ganzinger H., Meyer С and Veanes M. The two-variable guarded fragment with transitive relations. Proceedings of the Annual Symposium on Logic in Computer Science, pp. 24-34,1999.

Gardner M. Mathematical Games. Scientific American (October 1970).

Библиография 817

Gardner M. Mathematical Games. Scientific American (February 1971).

Garey M. and Johnson D. Computers and Intractability: A Guide to the Theory of NP-Completeness. San Francisco: Freeman, 1979.

Gazdar G. and Mellish С Natural Language Processing in PROLOG: An Introduction to Computational Linguistics. Reading, MA: Addison-Wesley, 1989.

Gazzaniga M. S., ed. The New Cognitive Neurosciences (2nd ed). Cambridge: МГГ Press, 2000.

Genesereth M. and Nilsson N. Logical Foundations of Artificial Intelligence. Los Altos, CA: Morgan Kaufmann, 1987.

Genesereth M. R. The role of plans in intelligent teaching systems. In Sleeman and Brown (1982), 1982.

Gennari J. H., Langley P. and Fisher D. Models of incremental concept formation. Artificial Intelligence. 40(1-3): 11-62, 1989.

Gentner D. Structure-mapping: A theoretical framework for analogy. Cognitive Science, 7: 155-170, 1983.

Giarratano J. and Riley G. Expert Systems: Principles and Programming. PWS-Kent Publishing Co, 1989.

Gilbert C. D. Plasticity in visula perception and physiology. In Squire and Kosslyn (1998), 1998. Gilbert С D. Horizontal integration and cortical dynamics. Neuron, 9: 1-13,1992. Ginsburg M., ed. Readings in Non-monotonic Reasoning. San Francisco: Morgan Kaufmann, 1987.

Glasgow В., Mandell A., Binney D., Ghemri L. and Fisher D. MITA: An information extraction approach to analysis of free-form text in life insurance applications. Proceedings of the Ninth Conference of Innovative Applications of Artificial Intelligence, pp. 992-999, 1997.

Gluck M. and Corter J. Information, uncertainty and the utility of categories. Seventh Annual Conference of the Cognitive Science Society in Irvine, Calif, 1985.

Glymour C, Ford K. and Hayes P. The Prehistory of Android Epistemology. In Glymour et al. (19956), 1995a.

Glymour C, Ford K. and Hayes P. Android Epistemology. Menlo Park, CA: AAAI Press, 19956. Glymour C. and Cooper G. F. Computation, Causation and Discovery. Cambridge: МГГ Press, 1999.

Goldberg A. and Robson D. Smalltalk 80: The Language and Its Implementation. Reading, MA: Addison-Wesley, 1983.

Goldberg D. E. Genetic Algorithms in Search, Optimization and Machine Learning. Reading, MA: Addison-Wesley, 1989.

Goldstine H. H. The Computer from Pascal to Von Neumann. Princeton, NJ: Princeton University Press, 1972.

Goodman N. Fact, Fiction and Forecast, 4th ed. Cambridge, MA: Harvard University Press, 1954.

Goodwin J. An Improved Algorithm for Non-Monotonic Dependency Net Update. Technical Report LITH-MAT-R-82-23. Department of Computer Science and Information Science, Linkoping University, Linkoping, Sweden, 1982.

Gould S. J. Ontogeny and Phylogeny. Cambridge MA: Belknap Press, 1977.

Gould S. J. Full House: The Spread of Excellence from Plato to Darwin. NY: Harmony Books, 1996.

818 Библиография

Graham P. On LISP: Advanced Techniques for Common LISP. Englewood Cliffs, NJ: Prentice Hall, 1993.

Graham P. ANSI Common Lisp. Englewood Cliffs, NJ: Prentice Hall, 1995. Grice H. P. Logic and conversation. In Cole and Morgan (1975), 1975.

Grossberg S. Adaptive pattern classification and universal recording. I. Parallel development and coding of neural feature detectors. Biological Cybernetics, 23: 121-134, 1976.

Grossberg S. Studies of Mind and Brain: Neural Principles of Learning, Perception, Development, Cognition and Motor Control. Boston: Reidel Press, 1982.

Grossberg S., ed. Neural Networb and Natural Intelligence. Cambridge, MA: MIT Press, 1988.

Grosz B. The representation and use of focus in dialogue understanding. PhD thesis, University of California, Berkeley, 1977.

Grosz B. and Sidner C. L. Plans for discourse. Intentions in Communications, Cohen P. R. and Pollack M. E. ed., pp. 417-444. Cambridge, MA: MIT Press, 1990.

Hall R. P. Computational approaches to analogical reasoning: A comparative analysis, 39(1): 39-120, 1989.

Hammond K., ed. Case Based Reasoning Workshop. San Mateo, CA: Morgan Kaufmann, 1989.

Hamscher W., Console L. and deKleer J. Readings in Model-based Diagnosis. San Mateo: Morgan Kaufmann, 1992.

Hanson J. E. and Crutchfield J. P. 1992. The Attractor-basin portrait of a cellular automaton. Journal of Statistical Physics, 66(5/6): 1415-1462.

Harmon P. and King D. Expert Systems: Artificial Intelligence in Business. New York: Wiley, 1985.

Harmon P., Maus, R. and Morrissey W. Expert Systems: Tools and Applications. New York: Wiley, 1988.

Harris M. D. Introduction to Natural Language Processing. Englewood Cliffs NJ: Prentice Hall, 1985.

Hasemer T. and Domingue J. Common LISP Programming for Artificial Intelligence. Reading, MA: Addison-Wesley, 1989.

Haugeland J., ed. Mind Design: Philosophy, Psychology, Artificial Intelligence. Cambridge, MA: MIT Press, 1981.

Haugeland J. Artificial Intelligence: the Very Idea. Cambridge/Bradford, MA: MIT Press, 1985.

Haugeland J., ed. Mind Design: Philosophy, Psychology, Artificial Intelligence, 2nd ed. Cambridge, MA: MIT Press, 1997.

Haussler D. Quantifying inductive bias: AI learning algorithms and Valiant's learning framework. Artificial Intelligence, 36:177-222, 1988.

Hayes P. J. Some problems and non-problems in representation theory. Proc. AISB Summer Conference, pp. 63-69, University of Sussex, 1974.

Hayes P. J. In defense of logic. Proceedings IJCAI-77, pp. 559-564, Cambridge, MA, 1977. Hayes P. J. The logic of frames. In Metzing (1979), 1979.

Hayes-Roth B. Agents on stage: Advancing the state of the art in AI. Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Cambridge, MA: Mil Press, 967-971, 1995.

Библиография * 819

Hayes-Roth В., Pfleger К., Morignot P. and Lalanda P. Plans and Behavior in Intelligent Agents. Technical Report, Knowledge Systems Laboratory (KSL-95-35), 1993.

Hayes-Roth F. and McDermott J. An inference matching technique for inducing abstractions. Communications of the ACM, 26: 401^10, 1983.

Hayes-Roth F., Waterman D. and Lenat D. Building Expert Systems. Reading, MA: Addison-Wesley, 1984.

Hebb D. O. The Organization of Behavior. New York: Wiley, 1949.

Hecht-Nielsen R. Neural analog processing. Proc. SPffi, 360, pp. 180-189. Bellingham, WA, 1982.

Hecht-NielsenR. Counterpropagation networks. Applied Optics, 26:4979-4984 (December 1987).

Hecht-Nielsen R. Theory of the backpropagation neural network. Proceedings of the International Joint Conference on Neural Networks, I, pp. 593-611. New York: IEEE Press, 1989.

Hecht-Nielsen R. Neurocomputing. New York; Addison-Wesley, 1990.

Heidegger M. Being and Time. Translated by J. Masquarrie and E. Robinson. New York: Harper & Row, 1962.

Heidorn G. E. Augmented phrase structure grammar. In Schank and Nash-Webber (1975), 1975.

Helman P. and Veroff R. Intermediate Problem Solving and Data Structures: Walls and Mirrors, Menlo Park, CA: Benjamin/Cummings, 1986.

Hempel С G. Aspects of Scientific Explanation. New York: The Free Press, 1965.

Henderson Peter. Functional programming: Application and Implementation. Englewood Cliffs, NJ; Prentice-Hall, 1980.

Hightower R. The Devore universal computer constructor. Presentation at the Third Workshop on Artificial Life, Santa Fe, NM, 1992.

Hill P. A. and Lloyd J. W. The Goedel Programming Language. Cambridge, MA: MIT Press, 1994. Hillis D. W. The Connection Machine. Cambridge, MA: MIT Press, 1985.

Hinsley D., Hayes J. and Simon H. From words to equations: Meaning and representation in algebra word problems. In Carpenter and Just (1977), 1977.

Hinton G. E. and Sejnowski T. J. Learning and relearning in Boltzmann machines. In McClelland et al. (1986), 1986.

Hinton G. E. and Sejnowski T. J. Neural network architectures for AL Tutorial, AAAI Conference, 1987.

Hirschfeld L. A. and Gelman S. A., ed. Mapping the Mind: Domain Specificity in Cognition and Culture. Cambridge: Cambridge University Press, 1994.

Hobbs J. R. and Moore R. С Formal Theories of the Commonsense World. Norwood, NJ: Ablex, 1985.

Hodges A. Alan Turing: The Enigma. New York: Simon and Schuster, 1983. Hofstadter D. Fluid Concepts and Creative Analogies, New York: Basic Books, 1995. Holland J. H. Adaptation in Natural and Artificial Systems. University of Michigan Press, 1975.

Holland J. H. Studies of the spontaneous emergence of self-replicating systems using cellular automata and formal grammars. In Lindenmayer and Rozenberg (1976), 1976.

Holland J. H. Escaping brittleness: The possibilities of general purpose learning algorithms applied to parallel rule-based systems. In Michalski et al. (1986), 1986.

820 Библиография

Holland J. H. Hidden Order: How Adaptation Builds Complexity. Reading, MA: Addison-Wesley, 1995.

Holland J. H., Holyoak K. J, Nisbett R. E. and Thagard P. R. Induction: Processes of Inference, Learning and Discovery. Cambridge, MA: MIT Press, 1986.

Holowczak R. D. and Adam N. R. Information extraction-based multiple-category document classification for the global legal information network. Proceedings of the Ninth Conference on Innovative Applications of Artificial Intelligence, pp. 1013-1018, 1997.

Holyoak K. J. The pragmatics of analogical transfer. The Psychology of Learning and Motivation, 19: 59-87, 1985.

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

Hopfield J. J. Neural networks and physical systems with emergent collective computational abilities. Proceedings of the National Academy of Sciences 79, 1982.

Hopfield J. J. Neural networks and physical systems with emergent collective computational abilities. Proceedings of the National Academy of Sciences, 79: 2554-2558, 1984.

Horowitz E. and Sahni S. Fundamentals of Computer Algorithms. Rockville, MD: Computer Science Press, 1978.

Hume D. An Inquiry Concerning Human Understanding. New York: Bobbs-Merrill, 1748.

Husserl E. The Crisis of European Sciences and Transcendental Phenomenology. Translated by D. Carr. Evanston, IL: Northwestern University Press, 1970.

Husserl E. Ideas: General Introduction to Pure Phenomenology. New York: Collier, 1972.

Ignizio J. P. Introduction to Expert Systems: The Development and Implementation of Rule-Based Expert Systems. New York: McGraw-Hill, 1991.

Ivry I. B. The representation of temporal information in perception and motor control. In Squire and Kosslyn (1998), 1998.

Jackson P. Introduction to Expert Systems. Reading, MA: Addison-Wesley, 1986. Jeannerod M. The Cognitive Neuroscience of Action. Oxford: Blackwell, 1997.

Jennings N. R. Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence, 75: 195-240, 1995.

Jennings N. R. and Wooldridge M. Agent Technology: Foundations, Applications, and Markets. Jennings N. R. and Wooldridge M. ed. Berlin: Springer-Verlag, 1998.

Jennings N. R., Sycara K. P. and Wooldridge M. A roadmap for agent research and development. Journal of Autonomous Agents and MultiAgent Systems, 1 (1): 7-36, 1998.

Johnson L. and Keravnou E. T. Expert Systems Technology: A Guide. Cambridge, MA: Abacus Press, 1985.

Johnson M. The Body in the Mind: The Bodily Basis of Meaning, Imagination and Reason. Chicago: University of Chicago Press, 1987.

Johnson W. L. and Soloway E. Proust. Byte (April), 1985.

Johnson-Laird P. Mental Models. Cambridge, MA: Harvard University Press, 1983. Johnson-Laird P. N. The Computer and the Mind. Cambridge, MA: Harvard University Press, 1988. Jordan M. (ed.) Learning in Graphical Models. Boston: Kluwer Academic, 1999.

Библиография 821

Josephson J. R. and Josephson S. G., ed. Abductive Inference: Computation, Philosophy and Technology. New York: Cambridge University Press, 1994.

Jurafsky D. and Martin J. H. Speech and Language Processing, Upper Saddle River, NJ: Prentice Hall, 2000.

Kant I. Immanuel Kant's Critique of Pure Reason, Smith N.K. translator. New York: St Martin's Press, 1781/1964.

Karmiloff-Smith A. Beyond Modularity: A Developmental Perspective on Cognitive Science. Cambridge, MA: MIT Press, 1992.

Kaufmann M., Manolios P. and Moore. J. S. (ed.) Computer-Aided Reasoning: ACL2 Case Studies. Boston: Kluwer Academic, 2000.

Kautz H., Selman B. and Shah M. The hidden web. AI Magazine 18(2): 27-35, 1997. Kedar-Cabelli S. T. Analogy - From a unified perspective. In Helman (1988), 1988.

Kedar-Cabelli S. T. and McCarty L. T. Explanation based generalization as resolution theorem proving. Proceedings of the Fourth International Workshop on Machine Learning, 1987.

Keravnou E. T. and Johnson L. Competent Expert Systems: A Case Study in Fault Diagnosis. London: Kegan Paul, 1986.

King S. H. Knowledge Systems Through PROLOG. Oxford: Oxford University Press, 1991.

Klahr D., Langley P. and Neches R., ed. Production System Models of Learning and Development. Cambridge, MA; MIT Press, 1987.

Klahr D. and Waterman D. A. Expert Systems: Techniques, Tools and Applications. Reading, MA: Addison-Wesley, 1986.

Klein W. В., Westervelt R. T. and Luger G. F. A general purpose intelligent control system for particle accelerators. Journal of Intelligent & Fuzzy Systems. New York: John Wiley, 1999.

Klein W. В., Stern С R., Luger G. F. and Pless D. Teleo-reactive control for accelerator beamline tuning. Artificial Intelligence and Soft Computing: Proceedings of the IASTED International Conference, Anaheim: IASTED/ACTA Press, 2000.

Kodratoff Y. and Michalski R. S., ed. Machine Learning: An Artificial Intelligence Approach. Vol. 3. Los Altos, С A: Morgan Kaufmann, 1990.

Kohonen T. Correlation matrix memories, IEEE Transactions Computers, 4: 353-359, 1972. Kohonen T. Self-Organization and Associative Memory. Berlin: Springer-Verlag, 1984.

Koller D. and Pfeffer A. Object-oriented Bayesian networks. Proceeding of the Thirteenth Annual Conference on Uncertainty in Artificial Intelligence. San Francisco: Morgan Kaufmann, 1997.

Koller D. and Pfeffer A. Probabilistic frame-based systems. Proceeding of the Fifteenth Annual Conference on Uncertainty in Artificial Intelligence. San Francisco: Morgan Kaufmann, 1998.

Kolmogorov A. N. On the representation of continuous functions of many variables by superposition of continuous functions of one variable and addition (in Russian). Dokl. Akad Nauk USSR, 114: 953-956, 1957.

Kolodner J. L. Extending problem solver capabilities through case based inference. Proceedings of the Fourth International Workshop on Machine Learning. CA: Morgan Kaufmann, 1987.

Kolodner J. L. Retrieving events from a case memory: A parallel implementation. Proceedings of the Case Based Reasoning Workshop. Los Altos, CA: Morgan Kaufmann, 1988a.

822 Библиография

Kolodner J. L., ed. Case Based Reasoning Workshop. San Mateo, CA: Morgan Kaufmann, 19886.

Colodner J. L. Improving human decision making through case-based decision aiding. AI Magazine, 12(2): 52-68, 1991.

Kolodner J. L. Case-based Reasoning. San Mateo, CA: Morgan Kaufmann, 1993. Korf R. E. Search. In Shapiro (19876), 1987.

Korf R. E. Artificial intelligence search algorithms. In CRC Handbook of Algorithms and Theory of Computation, M. J. Atallah, ed. Boca Raton, FL: CRC Press, 1998.

Korf R. E. Sliding-tile puzzles and Rubic's Cube in AI research. IEEE Intelligent Systems, Nov, 8-12, 1999.

Kosko B. Bidirectional associative memories. IEEE Transactions Systems, Man & Cybernetics, 18: 49-60, 1988.

Kosoresow A. P. A fast-first cut protocol for agent coordination. Proceedings of the Eleventh National Conference on Artificial Intelligence, pp. 237-242, Cambridge, MA: МГГ Press, 1993.

Koton P. Reasoning about evidence in causal explanation. Proceedings of AAAI-88. Cambridge, MA: AAAI Press/MIT Press, 1988a.

Koton P. Integrating case-based and causal reasoning. Proceedings of the Tenth Annual Conference of the Cognitive Science Society. Northdale, NJ: Erlbaum, 19886.

Kowalski R. Algorithm = Logic + Control. Communications of the ACM, 22: 424-436, 1979a.

Kowalski R. Logic for Problem Solving. Amsterdam; North-Holland, 19796.

Koza J. R. Genetic evolution and co-evolution of computer programs. In Langton et al. (1991), 1991.

Koza J. R. Genetic Programming: On the Programming of Computers by Means of Natural Selection. Cambridge, MA: MIT Press, 1992.

Koza J. R. Genetic Programming II: Automatic Discovery of Reusable Programs. Cambridge, MA: MIT Press, 1994.

Krulwich B. The BarginFinder agent: Comparison price shopping on the internet. Bots, and other Internet Beasties, Williams, J. ed. 257-263, Indianapolis: Macmillan, 1996.

Kuhl P. K. Innate predispositions and the effects of experience in speech perception: The native language magnet theory. Developmental Neurocognition: Speech and Face Processing in the First Year of Life, Boysson-Bardies В., de Schonen S., Jusczyk P., McNeilage P. and Morton J. ed, pp. 259-274. Netherlands: Kluwer Academic, 1993.

Kuhl P. K. Learning and representation in speech and language. In Squire and Kosslyn (1998), 1998.

Kuhn T. S. The Structure of Scientific Revolutions. Chicago: University of Chicago Press, 1962.

Laird J., Rosenbloom P. and Newell A. Chunking in SOAR; The Anatomy of a General Learning Mechanism. Machine Learning 1 (1), 1986a.

Laird J., Rosenbloom P. and Newell A. Universal Subgoaling and Chunking: The automatic Generation and Learning of Goal Hierarchies. Dordrecht: Kluwer, 19866.

Lakoff G. Women, Fire and Dangerous Things. Chicago: University of Chicago Press, 1987. Lakoff G. and Johnson M. Philosophy in the Flesh, New York: Basic Books, 1999.

Lakatos I. Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press, 1976.

Langley P. Elements of Machine Learning. San Francisco: Morgan Kaufmann, 1995.

Библиография 823

Langley P., Bradshaw G. L. and Simon H. A. Bacon 5: The discovery of conservation laws. Proceedings of the Seventh International Joint Conference on Artificial Intelligence, 1981.

Langley P., Simon H. A., Bradshaw G. L. and Zytkow J. M. Scientific Discovery: Computational Explorations of the Creative Processes. Cambridge, MA: МГГ Press, 1987.

Langley P., Zytkow J., Simon H. A. and Bradshaw G. L. The search for regularity: Four aspects of scientific discovery. In Michalski et al. (1986), 1986.

Langton С G. Studying artificial life with cellular automata. Physica D, 120-149, 1986.

Langton C. G. Artificial Life: Santa Fe Institute Studies in the Sciences of Complexity, VI. Reading, MA: Addison-Wesley, 1989.

Langton C. Computation at the edge of chaos: Phase transitions and emergent computation. Physica D., 42: 12-37, 1990.

Langton C. G. Artificial Life: An Overview. Cambridge, MA: MIT Press, 1995.

Langton С G., Taylor C, Farmer J. D. and Rasmussen S. Artificial Life II, SFI Studies in the Sciences of Complexity. Vol. 10. Reading, MA: Addison-Wesley, 1992.

Larkin J. H., McDermott J., Simon D. P. and Simon H. A. Models of competence in solving physics problems. Cognitive Science, 4, 1980.

Laskey K. and Mahoney S. Network fragments: Representing knowledge for constructing probabilistic models. Proceedings of the Thirteenth Annual Conference on Uncertainty in Artificial Intelligence. San Francisco: Morgan Kaufmann, 1997.

Lauritzen S. L. and Spiegelhalter D. J. Local computations with probabilities on graphical structures and their application to expert systems. Journal of the Royal Statistical Society, В 50(2); 157-224, 1988.

Lave J. Cognition in Practice. Cambridge: Cambridge University Press, 1988.

Leake D. B. Constructing Explanations: A Content Theory. Northdale, NJ: Erlbaum, 1992.

Leake D. В., ed. Case-based Reasoning: Experiences, Lessons and Future Directions. Menlo Park: AAAI Press, 1996.

Leibniz G. W. Philosophische Schriften. Berlin, 1887.

Lenat D. B. On automated scientific theory formation; a case study using the AM program. Machine Intelligence, 9: 251-256, 1977.

Lenat D. B. AM: an artificial intelligence approach to discovery in mathematics as heuristic search. In Davis and Lenat (1982), 1982.

Lenat D. B. EUR1SKO: A program that learns new heuristics. Artificial Intelligence, 21(1, 2): 61-98, 1983.

Lenat D. B. and Brown J. S. Why AM and Eurisko appear to work. Artificial Intelligence, 23(3), 1984.

Lenat D. B. and Guha R. V. Building Large Knowledge Based Systems, Reading, MA: Addison-Wesley, 1990.

Lennon J. and McCartney P. Rocky Raccoon. The White Album. Apple Records, 1968. Lesser V. R. and Corkill D. D. The distributed vehicle monitoring testbed. AI Magazine, 4(3), 1983.

Levesque H. Foundations of a functional approach to knowledge representation. Artificial Intelligence, 23(2), 1984.

824 Библиография

Levesque, H. J. A knowledge level account of abduction. Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, pp. 1051-1067. San Mateo, CA: Morgan Kaufmann, 1989.

Levesque H. J. and Brachman R. J. A fundamental tradeoff in knowledge representation and reasoning (revised version). In Brachman and Levesque (1985), 1985.

Lewis J. A. and Luger G. F. A constructivist model of robot perception and performance. In Proceedings of the Twenty Second Annual Conference of the Cognitive Science Society. Hillsdale, NJ: Erlbaum, 2000.

Lieberman H. Letizia: An agent that assists web browsing. Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 924-929. Cambridge, MA: MIT Press, 1995.

Lifschitz V. Some Results on Circumscription. AAAI1984, 1984.

Lifschitz V. Pointwise Circumscription: Preliminary Report. Proceedings of the Fifth National Conference on Artificial Intelligence, pp. 406-410. Menlo Park, С A: AAAI Press, 1986.

Linde C. Information structures in discourse. PhD thesis, Columbia University, 1974.

Lindenmayer A. and Rosenberg G., ed. Automata, Languages, Development. New York: North-Holland, 1976.

Lindsay R. K., Buchanan B. G., Feigenbaum E. A. and Lederberg J. Applications of artificial intelligence for organic chemistry: the DENDRAL project. New York: McGraw-Hill, 1980.

Ljunberg M. and Lucas A. The OASIS air traffic management system. Proceedings of the Second Pacific Rim International Conference on AI (PRICAI-92), 1992.

Lloyd J. W. Foundations of Logic Programming. New York: Springer-Verlag, 1984.

Lovelace A. Notes upon L.F. Menabrea's sketch of the Analytical Engine invented by Charles Babbage. In Morrison and Morrison (1961), 1961.

Loveland D. W. Automated Theorem Proving: a Logical Basis. New York: North-Holland, 1978.

Lucas R. Mastering PROLOG. London: UCL Press, 1996.

Luck S. J. Cognitive and neural mechanisms in visual search. In Squire and Kosslyn (1998), 1998.

Luger G. F. Formal analysis of problem solving behavior in Cognitive Psychology: Learning and Problem Solving, Milton Keynes: Open University Press, 1978.

Luger G. F. Mathematical model building in the solution of mechanics problems: human protocols and the MECHO trace. Cognitive Science, 5: 55-77, 1981.

Luger G. F. Cognitive Science: The Science of Intelligent Systems. San Diego and New York: Academic Press, 1994.

Luger G. F. Computation & Intelligence: Collected Readings. CA: AAAI Press/МГГ Press, 1995.

Luger G. F. and Bauer M. A. Transfer effects in isomorphic problem solving. Acta Psychologia, 42, 1978.

Luger G. F., Wishart J. G. and Bower T. G. R. Modelling the stages of the identity theory of object-concept development in infancy. Perception, 13: 97-115, 1984.

Machtey M. and Young P. An Introduction to the General Theory of Algorithms. Amsterdam: North-Holland, 1979.

MacLennan B. J. Principles of Programming Languages: Design, Evaluation, and Implementation, 2nd ed. New York: Holt, Rinehart & Winston, 1987.

Библиография 825

Maes P. The dynamics of action selection. Proceedings of the 1 lth International Joint Conference on Artificial Intelligence, pp. 991-997. Los Altos, CA: Morgan Kaufmann, 1989.

Maes P. Designing Autonomous Agents. Cambridge, MA: MIT Press, 1990.

Maes P. Agents that reduce work and information overload. Communications of the ACM, 37(7): 31-40, 1994.

Magerman D. Natural Language as Statistical Pattern Recognition. PhD dissertation, Stanford University, Department of Computer Science, 1994.

Maier D. and Warren D. S. Computing with Logic. Menlo Park, CA: Benjamin/Cummings, 1988.

Malpas J. PROLOG: A Relational Language and its Applications. Englewood Cliffs, NJ; Prentice Hall, 1987.

Manna Z. and Waldinger R. The Logical Basis for Computer Programming. Reading, MA: Addison-Wesley, 1985.

Manna Z. and Pnueli A. The Temporal Logic of Reactive and Concurrent Systems: Specification. Berlin: Springer-Verlag, 1992.

Manning C. D, and Schutze H. Foundations of Statistical Natural Language Processing. Cambridge, MA: MIT Press, 1999.

Marcus M. A Theory of Syntactic Recognition for Natural Language. Cambridge, MA: MIT Press, 1980.

Markov A. A theory of algorithms, National Academy of Sciences, USSR, 1954.

Marshall J. B. Metacat: A Self-Watching Cognitive Architecture for Analogy-Making and High-Level Perception. PhD dissertation, Department of Computer Science, Indiana University, 1999.

Martin A. Computational Learning Theory: An Introduction. Cambridge: Cambridge University Press, 1997.

Martins J. The truth, the whole truth, and nothing but the truth: an indexed bibliography to the literature on truth maintenance systems. AI Magazine, 11(5): 7-25, 1990.

Martins J. A structure for epistemic states. New Directions for Intelligent Tutoring Systems. Costa, ed. NATO ASI Series F. Heidelberg: Springer-Verlag, 1991.

Martins J. P. Truth Maintenance Systems. In Shapiro S.C. ed. (1992), 1992.

Martins J. and Shapiro S.C. Reasoning in multiple belief spaces. Proceedings of the Eighth IJCAI. San Mateo, CA: Morgan Kaufmann, 1983.

Martins J. & Shapiro S. С A Model for Belief Revision. Artificial Intelligence. 35(1): 25-79,1988.

Masterman M. Semantic message detection for machine translation, using Interlingua. Proceedings of the 1961 International Conference on Machine Translation, 1961.

McAllester D. A. A three-valued truth maintenance system. MIT AI Lab., Memo 473, 1978.

McAllester D. A. PAC-Bayesian model averaging. Proceedings of the Twelfth ACM Annual Conference on Computational Learning Theory COLT-99, 1999.

McCarthy J. Recursive functions of symbolic expressions and their computation by machine. Communications of the ACM, 3(4), 1960.

McCarthy J. Programs with common sense. In Minsky (1968), pp. 403-418, 1968.

McCarthy J. Epistemological problems in artificial intelligence. Proceedings IJCAI-77, pp. 1038-1044, 1977.

826 Библиография

McCarthy J. Circumscription - A form of non-monotonic reasoning. Artificial Intelligence, 13, 1980.

McCarthy J. Applications of Circumscription to Formalizing Common Sense Knowledge. Artificial Intelligence, 28: 89-116, 1986.

McCarthy J. and Hayes P. J. Some philosophical problems from the standpoint of artificial intelligence. In Meltzer and Michie (1969), 1969.

McClelland J. L., Rumelhart D. E. and The PDP Research Group. Parallel Distributed Processing. 2 vols. Cambridge, MA: MIT Press, 1986.

McCord M. С Using slots and modifiers in logic grammars for natural language. Artificial Intelligence, 18: 327-367, 1982.

McCord M. С Design of a PROLOG based machine translation system. Proceedings of the Third International Logic Programming Conference, London, 1986.

McCulloch W. S. and Pitts W. A logical calculus of the ideas immanent in nervous activity. Bulletin of Mathematical Biophysics, 5: 115-133, 1943.

McDermott D. Planning and acting. Cognitive Science 2, 71-109, 1978.

McDermott D. and Doyle J. Non-monotonic logic I. Artificial Intelligence, 13: 14-72, 1980.

McDermott J. Rl, The formative years. AI Magazine (summer 1981), 1981.

McDermott J. Rl: A rule based configurer of computer systems. Artificial Intelligence, 19,1982.

McDermott J. and Bachant J. Rl revisited; Four years in the trenches. AI Magazine, 5(3), 1984.

McGonigle B. Incrementing intelligent systems by design. Proceedings of the First International Conference on Simulation of Adaptive 8ehavior (SAB-90), 1990.

McGonigle B. Autonomy in the making: Getting robots to control themselves. International Symposium on Autonomous Agents. Oxford: Oxford University Press, 1998.

McGraw K. L. and Harbison-Briggs K. Knowledge Acquisition: Principles and Guidelines. Englewood Cliffs, NJ: Prentice-Hall, 1989.

Mead С Analog VLSI and Neural Systems. Reading, MA: Addison-Wesley, 1989. Meltzer B. and Michie D. Machine Intelligence 4. Edinburgh: Edinburgh University Press, 1969. Merleau-Ponty M. Phenomenology of Perception. London: Routledge & Kegan Paul, 1962.

Metzing D., ed. Frame Conceptions and Text Understanding. Berlin: Walter de Gruyter and Co, 1979.

Meyer J. A. and Wilson S. W., ed. From animals to animats. Proceedings of the First International Conference on Simulation of Adaptive Behavior. Cambridge, MA: MIT Press/Bradford Books, 1991.

Michalski R. S., Carbonell J. G. and Mitchell Т. М., ed. Machine Learning. An Artificial Intelligence Approach. Vol. 1. Palo Alto, CA: Tioga, 1983.

Michalski R. S., Carbonell J. G. and Mitchell Т. М., ed. Machine Learning. An Artificial Intelligence Approach. Vol. 2. Los Altos, CA: Morgan Kaufmann, 1986.

Michalski R. S. and Stepp R. E. Learning from observation: conceptual clustering. In Michalski et al. (1983), 1983.

Michie D. Trial and error. Science Survey, Part 2, Barnett S.A. and McClaren A., ed., 129-145. Harmnondsworth UK: Penguin, 1961.

Michie D., ed. Expert Systems in the Micro-electronic Age. Edinburgh: Edinburgh Univ. Press, 1979.

Библиография 827

Miller S. L., Delaney T. V. and Tallal P. Speech and other central auditory processes: Insights from cognitive neuroscience. In Squire and Kosslyn (1998), 1998.

Milner R., Tofte M. and Harper R. Definition of Standard ML. Cambridge, MA: МГГ Press, 1990. Milner R. and Tofte M. Commentary on Standard ML. Cambridge, MA: MIT Press, 1991. Minsky M., ed. Semantic Information Processing. Cambridge, MA: MIT Press, 1968. Minsky M. A framework for representing knowledge. In Brachman and Levesque (1985), 1975. Minsky M. in Psychology of Computer Vision by P. Winston. McGraw-Hill, 1975a. Minsky M. The Society of Mind, New York: Simon and Schuster, 1985.

Minsky M. and Papert S. Perceptrons: An Introduction to Computational Geometry. Cambridge, MA: MIT Press, 1969.

Minton S. Learning Search Control Knowledge. Dordrecht: Kluwer Academic Publishers, 1988. Mitchell M. Analogy-Making as Perception. Cambridge, МАЦ MIT Press, 1993. Mitchell M. An Introduction to Genetic Algorithms. Cambridge, MA: The MIT Press, 1996.

Mitchell M., Crutchfield J. and Das R. Evolving cellular automata with genetic algorithms: A review of recent work. Proceedings of the First International Conference on Evolutionary Computation and Its Applications. Moscow, Russia: Russian Academy of Sciences, 1996.

Mitchell Т. М. Version spaces: an approach to concept learning. Report No. STAN-CS-78-

711, Computer Science Dept., Stanford University, 1978. Mitchell Т. М. An analysis of generalization as a search problem. Proceedings IJCAI, 6, 1979.

Mitchell T. M. The need for biases in learning generalizations. Technical Report CBM-TR-177. Department of Computer Science, Rutgers University, New Brunswick, NJ, 1980.

Mitchell Т. М. Generalization as search. Artificial Intelligence, 18(2): 203-226, 1982. Mitchell Т. М. Machine Learning. New York: McGraw Hill, 1997.

Mitchell T. M., Utgoff P. E. and Banarji R. Learning by experimentation: Acquiring and refining problem solving heuristics. In Michalski, Carbonell, and Mitchell (1983), 1983.

Mitchell T. M., Keller R. M. and Kedar-Cabelli S. T. Explanation-based generalization: A unifying view. Machine Learning, 1(1): 47-80, 1986.

Mithen S. The Prehistory of the Mind. London: Thames & Hudson, 1996.

Mockler R. J. and Dologite D. G. An Introduction to Expert Systems, New York: Macmillan, 1992.

Moore O. K. and Anderson S. B. Modern logic and tasks for experiments on problem solving behavior. Journal of Psychology, 38: 151-160, 1954.

Moore R. С The role of logic in knowledge representation and commonsense reasoning. Proceedings AAAI-82,1982.

Moore R. С Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25(1): 75-94, 1985.

Moret B.M. E. and Shapiro H. D. Algorithms from P to NP, vol 1. Redwood City, С A: Benjamin/Cummings, 1991.

Morrison P. and Morrison E., ed. Charles Babbage and His Calculating Machines. NY: Dover, 1961.

Mostow D. J. Machine transformation of advice into a heuristic search procedure. In Michalski et al. (1983), 1983.

828 Библиография

MUC-5, Proceedings of the Fifth Message Understanding Conference, San Francisco: Morgan Kaufmann, 1994.

Mycroft A. and O'Keefe R. A. A polymorphic type system for PROLOG. Artificial Intelligence, 23: 295-307, 1984.

Mylopoulos J. and Levesque H. J. An overview of knowledge representation in Brodie et al. (1984), 1984.

Nadathur G. and Tong G. Realizing modularity in lambda Prolog. Journal of Functional and Logic Programming, 9, Cambridge, MA: MIT Press, 1999.

Nagel E. and Newman J. R. Godel's Proof. New York: New York University Press, 1958.

Nahm U. Y. and Mooney R. J. A mutually beneficial integration of data mining and information extraction. Proceedings of the American Assoc. for Artificial Intelligence Conference, pp. 627-632, 2000.

Neches R., Langley P. and Klahr D. Learning, development and production systems. In Klahr et al. (1987), 1987.

Negoita C. Expert Systems and Fuzzy Systems. Menlo Park, CA: Benjamin/Cummings, 1985.

Neves J. C. F. M, Luger G. F. and Carvalho J. M. A formalism for views in a logic data base. In Proceedings of the ACM Computer Science Conference, Cincinnati, OH, 1986.

Newell A. Physical symbol systems. In Norman (1981), 1981.

Newell A. The knowledge level. Artificial Intelligence, 18(1): 87-127, 1982.

Newell A. Unified Theories of Cognition. Cambridge, MA: Harvard University Press, 1990.

Newell A., Rosenbloom P. S. and Laird J. E. Symbolic architectures for cognition. In Posner (1989), 1989.

Newell A., Shaw J. C. and Simon H. A. Elements of a theory of human problem solving. Psychological Review, 65: 151-166, 1958.

Newell A. and Simon H. The logic theory machine. IRE Transactions of Information Theory, 2: 61-79, 1956.

Newell A. and Simon H. GPS: a program that simulates human thought. Lernende Automaten, H. Billing ed. pp. 109-124. Munich: R. Oldenbourg KG, 1961.

Newell A. and Simon H. Empirical explorations with the Logic Theory Machine: a case study in heuristics. In Feigenbaum and Feldman (1963), 1963a.

Newell A. and Simon H. GPS: a program that simulates human thought. In Feigenbaum and Feldman (1963), 19636.

Newell A. and Simon H. Human Problem Solving. Englewood Cliffs, NJ: Prentice Hall 1972.

Newell A. and Simon H. Computer science as empirical inquiry: symbols and search. Communications of the ACM, 19(3): 113-126, 1976.

Newman J. R. The World of Mathematics. New York: Simon and Schuster, 1956.

Ng H. T. and Mooney R. J. On the Role of Coherence in Abductive Explanation. Proceedings of the Eighth National Conference on Artificial Intelligence, pp. 347-342. Menlo Park, CA: AAAI Press/MIT Press, 1990.

Nii H. P. Blackboard systems: The blackboard model of problem solving and the evolution of blackboard architectures. Al Magazine, 7(2), 1986a.

Библиография 829

Nii H. P. Blackboard systems: Blackboard application systems from a knowledge based perspective. AI Magazine, 7(3), 19866.

Nii H. P. and Aiello N. AGE: A knowledge based program for building knowledge based programs. Proceedings IJCAI 6, 1979.

Nilsson N. J. Learning Machines. New York: McGraw-Hill, 1965.

Nilsson N. J. Problem Solving Methods in Artificial Intelligence. New York: McGraw-Hill, 1971.

Nilsson N. J. Principles of Artificial Intelligence. Palo Alto, CA: Tioga, 1980.

Nilsson N. J. Teleo-Reactive Programs for Agent Control. Journal of Artificial Intelligence Research, 1: 139-158, 1994.

Nilsson N. J. Artificial Intelligence: A New Synthesis. San Francisco: Morgan Kaufmann, 1998.

Nishibe Y., Kuwabara K., Suda T. and Ishida T. Distributed channel allocation in atm networks. Proceedings of the IEEE Globecom Conference, 12.2.1-12.2.7, 1993.

Nordhausen B. and Langley P. An integrated approach to empirical discovery. In Shrager and Langley(1990), 1990.

Norman D. A. Memory, knowledge and the answering of questions. CHIP Technical Report 25, Center for Human Information Processing, University of California, San Diego, 1972.

Norman D. A. Perspectives on Cognitive Science. Hillsdale, NJ: Erlbaum, 1981.

Norman D. A., Rumelhart D. E. and the LNR Research Group. Explorations in Cognition. San Francisco: Freeman, 1975.

Novak G. S. Computer understanding of physics problems stated in natural language. Proceedings IJCAI 5, 1977.

Noyes J. L. Artificial Intelligence with Common LISP: Fundamentals of Symbolic and Numeric Computing. Lexington, MA: D. C. Heath and Co, 1992.

O'Keefe R. The Craft of PROLOG. Cambridge, MA: MIT Press, 1990.

O'Leary D. D. M., Yates P. and McLaughlin T. Mapping sights and smells in the brain: distinct chanisms to achieve a common goal. Cell 96: 255-269, 1999.

Oliver I. M., Smith D. J. and Holland J. R. C. A Study of Permutation Crossover Operators on the Traveling Salesman Problem. Proceedings of the Second International Conference on Genetic Algorithms, pp. 224-230. Hillsdale, NJ: Erlbaum & Assoc, 1987.

Oliveira E., Fonseca J. M., and Steiger-Garcao A. MACIV: A DAI based resource management system. Applied Artificial Intelligence, 11(6): 525-550, 1997.

Papert S. Mindstorms. New York: Basic Books, 1980.

Patil R., Szolovits P. and Schwartz W. Causal understanding of patient illness in medical diagnosis. Proceedings of the International Joint Conference on Artificial Intelligence. Palo Alto: Morgan Kaufmann, 1981.

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

Pearl J. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Los Altos, CA; Morgan Kaufmann, 1988.

Pearl J. Causality. New York: Cambridge University Press, 2000.

830 Библиография

Pearlmutter В. A. and Parra L. С Maximum likelihood blind source separation: A context-sensitive generalization of 1С A. Advances in Neural Information Processing Systems, 9, Cambridge, MA: MIT Press, 1997.

Peirce C. S. Collected Papers 1931-1958. Cambridge MA: Harvard University Press, 1958. Penrose R. The Emperor's New Mind. Oxford; Oxford University Press, 1989.

Pereira L. M. and Warren D. H. D. Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks. Artificial Intelligence, 13: 231-278, 1980.

Perlis D. Autocircumscription. Artificial Intelligence, 36: 223-236, 1988.

Perriolat F., Sakaret P., Varga L. Z. and Jennings N. J. Using archon: Particle accelerator Control 11(6): 80-86, 1996.

Pfeffer A., Roller D., Milch B. and Takusagawa K. SPOOK: A system for probabilistic object-oriented knowledge representation. Proceedings of the Fifteenth Annual Conference on Uncertainty in Artificial Intelligence. San Francisco: Morgan Kaufmann, 1999.

Piaget J. The Construction of Reality in The Child. New York: Basic Books, 1954.

Piaget J. Structuralism. New York: Basic Books, 1970.

Pinker S. The Language Instinct. New York: William Morrow and Company, 1994.

Plato The Collected Dialogues of Plato, Hamilton E. and Cairns H. ed. Princeton: Princeton University Press, 1961.

Pless D., Luger G. and Stern C. A new object-oriented stochastic modeling language. Artificial Intelligence and Soft Computing: Proceedings of the IASTED International Conference. Anaheim: IASTED/ ACT A Press, 2000.

Polya G. How to Solve It. Princeton, NJ: Princeton University Press, 1945. Popper K. R. The Logic of Scientific Discovery. London: Hutchinson, 1959. Posner M. I. Foundations of Cognitive Science. Cambridge, MA: MIT Press, 1989.

Post E. Formal reductions of the general combinatorial problem. American Journal of Mathematics, 65: 197-268, 1943.

Poundstone W. The Recursive Universe: Cosmic Complexity and the Limits of Scientipc Knowledge. New York: William Morrow and Company, 1985.

Pratt T. W. Programming Languages: Design and Implementation. Englewood Cliffs, NJ: Prentice-Hall, 1984.

Prerau D. S. Developing and Managing Expert Systems: Proven Techniques for Business and Industry. Reading, MA: Addison-Wesley, 1990.

Pylyshyn Z. W. What the mind's eye tells the mind's brain: a critique of mental imagery. Psychological Bulletin, 80: 1-24, 1973.

Pylyshyn Z. W. The causal power of machines. Behavioral and Brain Sciences 3:442-444,1980.

Pylyshyn Z. W. Computation and Cognition: Toward a Foundation for Cognitive Science. Cambridge, MA: MIT Press, 1984.

Quillian M. R. Word concepts: A theory and simulation of some basic semantic capabilities. In Brachman and Levesque (1985), 1967.

Quine W. V. O. From a Logical Point of View. 2nd ed. New York: Harper Torchbooks, 1963.

Библиография 831

Quinlan J. R. Learning efficient classification procedures and their application to chess end­games. In Michalski et al. (1983), 1983.

Quinlan J. R. Induction of decision trees. Machine Learning, 1(1): 81-106, 1986a. Quinlan J. R. The effect of noise on concept learning. In Michalski et al. (1986), 19866. Quinlan J. R. Bagging, Boosting and CN4.5. Proceedings AAAI 96. Menlo Park: AAAI Press, 1996. Quinlan J. R. C4.5: Programs for Machine Learning. San Francisco: Morgan Kaufmann, 1993. Quinlan P. Connectionism and Psychology. Chicago, IL: University of Chicago Press, 1991. Raphael B. SIR: A computer program for semantic information retrieval. In Minsky (1968), 1968.

Reddy D. R. Speech recognition by machine: A review. Proceedings of the IEEE 64 (May 1976), 1976.

Reggia J., Nau D. S., and Wang P. Y. Diagnostic expert systems based on a set covering model. International Journal of Man-Machine Studies, 19(5): 437-460, 1983.

Reinfrank M. Fundamental and Logical Foundations of Truth Maintenance. LinkOping Studies in Science and Technology, Dissertation 221, Department of Computer and Information Science, Linkoping University, LinkSping, Sweden, 1989.

Reiter R. On closed world databases. In Webber and Nilsson (1981), 1978. Reiter R. A logic for default reasoning. Artificial Intelligence, 13: 81-132, 1980. Reiter R. On reasoning by default. In Brachman and Levesque (1985), 1985.

Reiter R. and Criscuolo G. On interacting defaults. Proceedings of the International Joint Conference on Artificial Intelligence, 1981.

Reitman W. R. Cognition and Thought. New York: Wiley, 1965.

Rendell L. A general framework for induction and a study of selective induction. Machine Learning, 1(2), 1986.

Rich E. and Knight K. Artificial Intelligence, 2nd ed. New York: McGraw-Hill, 1991.

Rissland E. L. Examples in legal reasoning: Legal hypotheticals. Proceedings of IJCAI-83. San Mateo, CA: Morgan Kaufmann, 1983.

Rissland E. L. and Ashley K. HYPO: A case-based system for trade secrets law. Proceedings, First International Conference on Artificial Intelligence and Law, 1987.

Roberts D. D. The Existential Graphs of Charles S. Pierce. The Hague: Mouton, 1973.

Robinson J. A. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12: 23-41, 1965.

Rochester N., Holland J. H., Haibit L. H. and Duda W. L. Test on a cell assembly theory of the actuation of the brain, using a large digital computer. In J. A. Anderson and E. Rosenfeld, ed. Neurocomputing: Foundations of Research. Cambridge, MA: MIT Press, 1988.

Rosch E. Principles of categorization. In Rosch and Lloyd (1978), 1978.

Rosch E. and Lloyd В. В., ed. Cognition and Categorization, Hillsdale, NJ: Erlbaum, 1978.

Rosenblatt F. The perceptron: A probabilistic model for information storage and organization

in the brain. Psychological Review, 65: 386-408, 1958. Rosenblatt F. Principles of Neurodynamics. New York: Spartan, 1962.

Rosenbloom P. S. and Newell A. The chunking of goal hierarchies: A generalized model of practice. In Michalski et al. (1986), 1986.

832 Библиография

Rosenbloom P. S. and Newell A. Learning by chunking, a production system model of practice. In Klahr et al. (1987), 1987.

Rosenbloom P. S., Lehman J. F. and Laird J. E. Overview of Soar as a unified theory of cognition: Spring 1993. Proceedings of the Fifteenth Annual Conference of the Cognitive Science Society. Hillsdale, NJ: Erlbaum, 1993.

Ross P. Advanced PROLOG. Reading, MA: Addison-Wesley, 1989.

Ross T. Fuzzy Logic with Engineering Applications. New York: McGraw-Hil 1, 1995.

Roussel P. PROLOG: Manuel de Reference et d Utilisation. Groupe d'Intelligence Artificielle, Universite d'Aix-Marseille, Luminy, France, 1975.

Rumelhart D. E., Lindsay P. H., and Norman D. A. A process model for long-term memory. In Tulving and Donaldson (1972), 1972.

Rumelhart D. E. and Norman D. A. Active semantic networks as a model of human memory. Proceedings IJCAI-3, 1973.

Rumelhart D. E., Hinton G. E. and Williams R. J. Learning internal representations by error propagation. In McClelland et al. (1986), 1986a.

Rumelhart D. E., McClelland J. L. and The PDP Research Group. Parallel Distributed Processing. Vol. 1. Cambridge, MA; MIT Press, 19866.

Russell S. J. The Use of Knowledge in Analogy and Induction. San Mateo, CA: Morgan Kaufmann, 1989.

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

Sacerdotti E. D. Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 5: 115-

135, 1974.

Sacerdotti E. D. The поп linear nature of plans. Proceedings IJCAI4, 1975. Sacerdotti E. D. A Structure of Plans and Behavior. New York: Elsevier, 1977. Sagi D. and Tanne D. Perceptual learning: Learning to see. In Squire and Kosslyn (1998), 1998.

Samuel A. L. Some studies in machine learning using the game of checkers. IBM Journal of R & D, 3:211-229,1959.

Schank R. C. Dynamic Memory: A Theory of Reminding and Learning in Computers and People. London: Cambridge University Press, 1982.

Schank R. С and Abelson R. Scripts, Plans, Goals and Understanding. Hillsdale, NJ: Erlbaum, 1977.

Schank R. C. and Colby К. М., ed. Computer Models of Thought and Language. San Francisco: Freeman, 1973.

Schank R. C. and Nash-Webber B. L., ed. Theoretical Issues in Natural Language Processing. Association for Computational Linguistics, 1975.

Schank R. С and Rieger С J. Inference and the computer understanding of natural language. Artificial Intelligence 5(4): 373-412, 1974.

Schank R. С and Riesbeck С. К., ed. Inside Computer Understanding: Five Programs Plus Miniatures. Hillsdale, N.J.: Erlbaum, 1981.

Библиография 833