Литература
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.