Разработка медицинского автоматизированного манипулятора

Kautz H., Selman B. Planning as Satisfiability // Proceedings of the Tenth European Conference on Artificial Intelligence ({ECAI}'92)'\ c.359-363,1992.

Kautz H., Selman B. Pushing the Envelope: Planning Propositional Logic and Stochastic Search II Proceedings of the Thirteenth National Conference on Artificial Intelligence. -Menlo Park, Calif. - 1996. - с 1194-1201

Koehler J., Nebel В., Hoffmann J., Dimopoulos Y. Extending Planning Graphs to an ADL Subset, ECP-97, pages 273-285, Springer LNAI 1348

Kumar V. Algorithms for constraint-satisfaction problems: A survey. //AI Magazine, 13(1):32--44,1992. http://citeseer.ni.nec.com/kumar92algorithms.html

Lifschitz V. On the Semantics of STRIPS. In Reasoning About Actions & Plans, Morgan Kaufmann Publishers: San Mateo, CA, 1986

Long D., Fox M. Efficient Implementation of the Plan Graph in STAN, Volume 10, pages 87-115,1999

McAHester D., Rosenblit D. Systematic nonlinear planning // Proceedings of AAAI-91, Anaheim, Ca, 1991

McDermott, D. A Heuristic Estimator for Means-Ends Analysis in Planning // In Proceedings of the Third International Conference on AI Planning Systems. - 1996. -c.142-149. Menlo Park, Calif.: AAAI Press

Nadel B. Some Applications of the Constraint-Satisfaction Problem /Технический отчёт № CSC-90-008, Computer Science Dept., Wayne State Univ.

Newell A., Shaw J. Programming the logic theory machine // In Proceedings of the Western Joint Computing Conference, c.230-240,1957.

Newell A., Simon H. GPS, a program that simulates human thought // Computers and Thought, eds: E.A. Feigenbaum and J. Feldman, McGraw Hill, NY, 1963

Penberthy S., Weld D. UCPOP: A Sound, Complete, Partial-Order Planner for ADLII Proceedings of the Third International Conference on the Principles of Knowledge Representation. - San Francisco, Calif. - 1992. - c. 103-114

Raphael B. The frame problem in problem solving systems // Artificial Intelligence and Heuristic Programming. -1971, c.159-169. Edinburgh Univ. Press, Edinburgh, Scotland

Refanidis I., Vlahavas I. "The GRT Planner: Backward Heuristic Construction in Forward State-Space Planning", Journal of Artificial Intelligence Research, 15 (2001), c. 115-161 (Postscript, gzipped Postscript, PDF, HTML, OnlineAppendix)

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

Sacerdoti E.D. Planning in a hierarchy of abstraction spaces // Artificial Intelligence. -1974.-№5.-C.l 15-1350

Sacerdoti E.D. The nonlinear nature of plans II Proceedings of the Fourth International Joint Conference on Artificial Intelligence (UCAI-75). - Tbilisi, Georgia. - 1975. - c.206-214

Stoerr H. BDDPlan // http://www.ki.inf.tu-dresden.de/~stoerr/bddplan.html

Sussman G. A Computational Model of Skill Acquisition. // PhD thesis, MIT, Cambridge, Massachusetts, August 1973

Tate A. Generating Project Networks // Proceedings of the Fifth International Joint Conference on Artificial Intelligence. - Menlo Park, California. - 1977. - c.888-893

Tate A., Currie K. O-Plan: The Open planning architecture // Artificial Intelligence. -1991.-№52.-c.49-86

Veloso M., Carbonell J. Integrating planning and learning" // Journal of Experimental and Theoretical Artificial Intelligence, Том 7, № 1. - 1995 If http://citeseer.nj.nec.com/veloso95integrating.html

Weld D., Smith D. Temporal Planning with Mutual Exclusion Reasoning // In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence. 1999.

Wilkins D. Can AI planners solve practical problems? // Computational Intelligence. - 1990. - Tom 6. -№4. - c.232-246

Yang Q., Tenenberg J.D. ABTWEAK: Abstracting a nonlinear least commitment planner II Proceedings of the Eighth National Conference on Artificial Intelligence. -Boston, MA. - 1990. - с 204-209

Википедия свободная энциклопедия. Теорема Гёделя о неполноте. http://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D1%8B_%D0%93%D1%91%D0%B4%D0%B5%D0%BB%D1%8F_%D0%BE_%D0%BD%D0%B5%D0%BF%D0%BE%D0%BB%D0%BD%D0%BE%D1%82%D0%B5

Информационноый портал Propedia. Язык логического программирования Visual Prolog. http://progopedia.ru/implementation/visual-prolog

Чистякова М.А. Учебное пособие по дисциплине «Теоретические основы автоматизированного управления». МГУПИ. Москва. 2007г. С 14-21

Тарханов Т.С. Интеллектуальная система приобретения знаний // Материалы региональной научно-практической конференции "Компьютерные технологии в науке, экономике и образовании" (CT+SEE2000) // Махачкала, 2000, с. 135-139

Гетия И.Г. Безопасность при работе на ПЭВМ, И. - М.: МГУПИ, 2005, 73с.

СанПиН 2.2.2/2.4.1340-03 «Гигиенические требования к персональным электронно-вычислительным машинам и организации работы». 2003 г.

Гетия И.Г., Шумилин В.К., Леонтьева И.Н., Гетия С.И., Кривенцов С.М., Комиссарова Т.А., Скребенкова Л.Н., Костюченко В.Е. Экология компьютерной техники. - Учебное пособие. - М.: МГУПИ, 2007 г. - 69 с.

Шалимов Б.С. Методические указания по выполнению организационноэкономической части дипломных проектов для студентов всех специальностей, разрабатывающих интегрированные производственные системы. Учебное пособие. М.: МИП, 1989.

Капелюш Г.С., Шестоперов С.Б. Технико-экономическое обоснование дипломных проектов по созданию программных средств вычислительной техники и информатики. Учебное пособие для студентов специальности 22.01. М.: МИП, 1993.

Организация, планирование и управление предприятием машиностроительной промышленности. Методические указания по выполнению курсовой работы для студентов специальности 22.02. М.: МИП, 1989.

Прайслист ООО «Неррис» 20.02.2011.

Размещено на Allbest.ru