Объектно-продукционная модель знаний для построения параллельных экспертных систем реального времени для производственных и организационных комплексов
Диссертация
Предложено использовать инструментальную среду ПРОДУС.96 для построения программного обеспечения серверов приложений, выполняющих параллельную, интеллектуальную обработку информации, в трехуровневой архитектуре клиент/сервер. Благодаря высокоуровневому языку ПРОДУС.96 настройка сервера на решение прикладной задачи может быть выполнена непосредственно специалистами предметной области… Читать ещё >
Список литературы
- Евсеев О.В., Кравченко В. А. Применение ЭВМ в управлении технологическимипроцессами: Автоматизация и интеллектуализация производства: Учеб. пособие. М.: Изд-во МГОУ- А/О Росвузнаука, 1992.
- Евсеев О.В. Методы формализованного исследования и инвариантные моделидля построения систем оперативного управления производственных и организационных комплексов. Докторская диссертация М.: МГИЭМ, 1996.
- Венда В.Ф. Системы гибридного интеллекта: Эволюция, психология, информатика. М.: Машиностроение, 1990. — 448 с.
- Newell A. Heuristic Programming: III Structured Problems // Progress in Operation
- Research. Vol. 3. New York: Weley and Sons, 1969.
- Кук Д., Бейз Г. Компьютерная математика: Пер. с англ. М.: Наука, Гл. ред. физ.мат. лит., 1990.- 384с.
- Питерсон Дж. Теория сетей Петри и моделирование систем: Пер. с англ. М.:1. Мир, 1984.-264 с.
- Котов В.Е. Сети Петри. М.: Наука, 1984−160 с.
- Розенблюм Л.Я. Сети Петри // Изв. АН СССР. Техн. кибернетика 1983, № 5с.12−40.
- Перспективы развития вычислительной техники: В 11 кн.: Справ. пособие/Подред. Ю. М. Смирнова. Кн. 2.: Интеллектуализация ЭВМ/Е.С.Кузин, А. И. Ройтман, И. Б. Фоминых, Г. К. Хахалин.- М.: Высшая школа, 1989.-159 с.
- Искусственный интеллект: В 3 кн. Кн. 1. Системы общения и экспертные системы:
- Справочник/Под ред. Э. В. Попова.- М.: Радио и связь, 1990.-464 с.
- Newell A. Heuristic Programming: III Structured Problems // Progress in Operation
- Rexarch. Vol. 3. New York: Weley and Sons, 1969.
- Попов Э.В. Экспертные системы. M.: Наука, 1983. — 208 с.
- Поспелов Г. С. Искусственный интеллект основа новой информационнойтехнологии. М.: Наука, 1988. — 272 с.
- Построение экспертных систем. М.: Мир, 1987. — 441 с.
- Представление знаний в человеко-машинных и робототехнических системах. Т.А.
- Фундаментальные исследования в области представления знаний. 150 с. Т. В. Инструментальные средства разработки систем, ориентированных на знания. -140 с. Т. С. Прикладные человеко-машинные системы, ориентированные на знания. -140 с. — М.: ВИНИТИ, 1984.
- Уотермен Д. Руководство по экспертным системам. М.: Мир, 1989. — 388 с.
- Экспертные системы. Принципы работы и примеры. М.: Радио и связь, 1987.223 с.
- Amble Т. Logic programming and knowledge engineering. Reading: Addison-Wesley, 1987. 281 p.
- Bratko I. Prolog programming for artificial intelligence. Reading: Reading: Addison1. Wesley, 1986. 423 p.
- Системы управления базами данных и знаний: Справ, изд. / А. Н. Наумов,
- А.М.Вендров, В. К. Иванов и др.- Под ред. А. Н. Наумова. М.: Финансы и статистика, 1991. — 352 с.
- Glimore J.F., Pulaski К. A survey of expert system tools. // 2nd Conf. of Al Applic., 1985. -p.418−502.
- Richer M.H. An evaluation of expert system development tools // Expert Systems.1986. Vol. 3, N 3. — p.166−182.
- Swinkels D.A.J., Lock Lee L., Saunders M. Comparison of four expert systemdevelopments packages // 2nd Int. Expert Systems Conf., 1986. p. 149−155.
- Waterman D.A. A Guide to Expert Systems. New York: Addison-Welse, 1986.
- Программирование, отладка и решение задач на ЭВМ единой серии. Язык
- Фортран: Учеб. пособие для вузов / И. А. Кудряшов, Н. Х. Кушнер, Л. В. Петрова, Н. А. Силов. Л.: Энергоатомиздат, Ленингр. отд-ние, 1988. -208 с.
- Белецкий Я. Энциклопедия языка Си: Пер. с польск. М.: Мир, 1992. — 687 с.
- Сойер Б., Фостер Д. Л. Программирование экспертных систем на Паскале. М.:
- Финансы и статистика, 1990. 240 с.
- Практическое введение в технологию искусственного интеллекта и экспертныхсистем с иллюстрациями на Бейсике /Р.Левин, Д. Дранг, Б. Эделсон: Пер. с англ. М.: Финансы и статистика, 1991. — 239 с.
- Charniak Е., Riesbeck С., McDermott D. Artificial Inteligence Programming. New
- Jersey: Lawrence Erlbaum Associates, 1980. 352p.
- Goldberg A., Robson D. Smalltalk-80. The Language and its implementation.
- Addison-Wesley, 1983. 714p.
- Хювёнен Э., Сеппянен Й. Мир Лиспа. В 2-х т. Т.1: Введение в язык Лисп ифункциональное программирование. Пер. с финск. М.: Мир, 1990. — 447 с.
- Клоксин У.Ф., Меллиш К. Ф. Проограммирование на языке Пролог. М.: Мир, 1987.-336 с.
- Пильщиков В.Н. Язык ПЛЕНЭР. М.: Наука, 1983. — 208 с.
- Робинсон Дж., ЗибертЭ. LOGLISP: мотивировка, разработка и реализация //
- Логическое программирование. М.: Мир, 1988. — с.261- 275.
- Brownston L., Farrell R., Kant E., Martin N. Programming expert systems in OPS5. Anintroduction to rule-based programming. Reading: Addison-Wesley, 1985. -373 p.
- Stefic M., Bobrow D.G. et al. Knowledge programming in LOOPS: report onexperimental course // Al Magazin. 1983. — Vol. 4, N 3. — p.3−14.
- Представление и использование знаний: Пер. с япон./ Под ред. Х. Уэно,
- М.Исидзука.- М.:Мир, 1989.- 220 с.
- B.Dutton. Continuous Expertise. // Manufacturing Systems. December 1991.
- Евсеев O.B. Продукционная управляющая система для гибких производственныхсистем // Известия АН СССР. Техническая кибернетика, 1987, № 5, с.93−112.
- Евсеев О.В., Нечаев A.M., Поневаж В. П., Деткин А. Н., Ковалевский Д.В.
- Инвариантная система управления ГПС.-«Вестник машиностроения», № 8, 1990, с.49−51.
- Evseev O.V. Real Time Production Control System Produs-85.- in book: Industrial
- Applications of Artificial Intelligence / Edd. by J.L.AIty and L.I.Mikulich Elsevier Science Publishers B.V., Amsterdam, London, New York, Tokio, 1991, pp.426−430.
- Кравченко B.A., Евсеев О. В., Нечаев A.M., Поневаж В. П., Ковалевский Д.В., Крез
- В.Д., Титов В. И., Бураков С. Б., Бузулукова Л. А. Логико-динамические модели и программно-технические средства интеллектуальной системы управления дискретными процессами.- «Приборостроение». № 9−10, 1994, с. 36−44.
- Кравченко В.А., Евсеев О. В., Нечаев A.M., Поневаж В. П., Титов В.И., Бураков
- Forgy С. RETE: a Fast Algoritm for the Many Pattern. / Many Object Pattern Match
- Problem//AI.-1982.-Vol. 19.- p.17−38.
- Искусственный интеллект: В 3 кн. Кн.2. Модели и методы: Справочник/Под ред.
- Д.А.Поспелова.- М.: Радио и связь, 1990.-304 с.
- Поспелов Г. С., Поспелов Д. А. Искусственный интеллект прикладные системы //
- Новое в жизни, науке, технике (Серия Математика, Кибернетика). 1985. N 9. М.: Знание. МДИТП.
- Георгиев В.О. Модели представления знаний предметных областей диалоговыхсистем (обзор) // Изв. АН Техническая кибернетика. 1993, N 5, с. 24−44.
- Ван Хао. Формализация и автоматическое доказательство теорем //
- Кибернетический сборник: Пер. с англ. М.: Мир, 1970. — Вып. 7. — с.180−193.
- Девис М. Устранение лишнего из механических доказательств //
- Кибернетический сборник: Пер. с англ. М.: Мир, 1970. — Вып. 7. — с. 160−179.
- Green С. Theorem proving by resolution as a basis for question-answeing systems //
- Mach. Intell. V. 4. — 1969. — p. 183−205.
- Gallaire H., Minker J. (eds.) Logic and data bases. N-Y.: Plenum Press, 1978. 458p.
- Hewitt C. PLANNER: A language for manipulating models and proving theorems in arobot // Memo 68, Ai Lab., MIT, Cambridge, Mass., 1971.
- Kowalski R. Predicate logic as programing language // Proc. IFIP Congress. 1974.p.569−574.
- Quillian M.R. Semantic memory // Semantic Information Proc. Cambridge, Mass.:
- MIT Press, 1968. p.227−270.
- Цикритис Д., Лоховски ф. Модели данных. М.: Финансы и статистика, 1985. 343с.
- Поспелов Д.А. Логико-лингвистические модели в системах управления. М.:1. Энергоиздат, 1981. 231 с.
- Поспелов Д.А. Элементы аксиоматики временных отношений // Вопросыкибернетики. 1975. — N 5. — с. 15−21.
- Поспелов Д.А. Ситуационное управление: теория и практика. М.: Наука. 1986.284 с.
- Гладун В.П. Формирование понятий путем обучения растущих сетей //
- Кибернетика. 1970. — N 2. — с.107−112.
- Гладун В.П. Эвристический поиск в сложных средах. Киев: Наукова думка, 1977.-166 с.
- Тыугу Э.Х. Концептуальное программирование. М.: Наука, 1984. — 255 с.
- Уинстон П. Искусственный интеллект. М.: Мир, 1980.
- McCalia G., Cercone N. Techniques and issues in the design of applied artificialintelligence systems // Computer and Mathematics with Applications. 1985. V. 11. N5.
- Results of survey on trends in expert systems in Japan // Future Generations
- Computer Systems. 1987. V. 3. N 1.
- Minsky M. Matter, mind and models. Semantic Information Processing, MIT Press,
- Cambridge, Mass., 1968, pp. 425−433.
- Minsky M.: A Framework for Representing Knowledge in The Phychology of Computer
- Vision, P.H. Winston (ed.), McGraw-Hill (1975).
- Минский M. Фреймы для представления знаний. М.: Энергия, 1979. — 151 с.
- Экспертные системы: состояние и перспективы: Сборник научных трудов.
- Институт проблем передачи информации АН СССР / Под ред. Д. А. Поспелова.- М.: Наука, 1989.- 152с.
- Алексеева Е.Ф., Стефанюк В.Л. Экспертные системы- состояние и перспективы
- Изв. АН СССР. Техн. кибернетика.- 1984.- № 5.- с. 153−167.
- Микулич Л.И. Проблемы создания экспертных систем // Ученые записки
- Тартуского ГУ.- Тарту, 1985.- Вып. 714. Теория и модели знаний (теория и практика создания систем искусственного интеллекта) — с. 87−114.
- Осуга С. Обработка знаний. / Пер. с япон.- М.:Мир, 1989.- 293 с.
- Крумберг О.А., Федоров И. И., Змановский Т. П. Методы организациипродукционного представления знаний // Методы и системы принятия решений: Системы, основанные на знаниях. Рига: Риж. политехи, ин-т, 1989.
- Нариньяни А.С., Яхно Т. Г. Продукционные системы // Представление знаний вчеловеко-машинных и робототехнических системах. М.: ВЦ АН СССР, ВИНИТИ, 1984. — с. 136−177.
- Eick.C.F. and B.Czejdo. Reactive rules for С++. // Journal of Object-Oriented
- Programming 6(6): 56−62, 1993.
- Miranker.D, F.H.Burke, J.J.Steele, J. Kolts, and D.R. Haug. The С++ embeddable rulesystem. // International Journal on Artifitial Intelligence Tool 2(1): 33−46, 1993.
- Pachet.F., On the embeddability of production rules in object-oriented languages. //
- Journal of Object-Oriented Programming, pp. 19−24, 1995.
- Амамия M., Танака Ю. Архитектура ЭВМ и искусственный интеллект: Пер. с япон.1. М.:Мир, 1993.- 400 с.
- Искусственный интеллект: В 3 кн. Кн.З. Программные и аппаратные средства:
- Справочник/Псщ ред. В. Н. Захарова, В. Ф. Хорошевского.- М.: Радио и связь, 1990.-368 с.
- Liskov В., Zilles S. Programming with Abstract Data Types // SIGPLAN Notices.1974. Vol. 9, N 4. — p. 50−59.
- Liskov B. An Introduction to CLU // New Derection in Algorithmic Languages / Ed. by
- S.A. Schuman. IRIA. — 1976. — p. 139−156.
- Дедко А.Ф. Абстрактные типы данных в языке АТ-Паскаль. М.: Наука. Гл. ред.физ.-мат. лит., 1989. (Библиотека программиста). — 200 с.
- Шлеер С., Меллор С. Объектно-ориентированный анализ: моделирование мира всостояниях: Пер. с англ.- Киев: Диалектика, 1993.- 240 с.
- Буч Г. Объектно-ориентированное проектирование с примерами применения:
- Пер. с англ.- М.: Конкорд, 1992.- 519 с.
- Программирование на Borland С++ в среде Windows. П. Нортон, П. Йао: Том 1.
- Киев: «Диалектика», 1993. 320 с.
- Лекции лауреатов премии Тьюринга: Пер. с англ./Под ред. Р. Эшенхёрста.1. М.: Мир, 1993. 560с.
- Java technology phenomenon / Р. Богатырев, COMPUTERWEEK-MOSCOW № 23,1996, с. 23,24,46.
- Greenblatt R.: The USP Machine, MIT Al Memo, No.79, 1974.
- Lampson B.W. and Pier K.A.: A Processor for a High-Performance Personal
- Computer, Proc. 7-th Symposium on Computer Architecture, pp. 146−160, 1980.
- Hayashi H. et al.: ALPHA: A High-Performance LISP Machine Equipped with a New
- Stack Structure and Garbage Collection System, Proc. 10-th Symposium on Computer Architecture, pp.342−348, 1983.
- Nakazaki R., Konagaya A., Habata S., Shimazu H., Umemura M., Yamamoto M.,
- Yokota M. and Chikayama Т.: Design of High-speed Prolog Machine (HPM), Proc. 12-th Annual Symposium on Computer Architecture, 1985.
- Kaneda Y., Tamura M., Wada K. and Matsuda H.: Sequental Prolog Machine РЕК
- Architecture and Software System, Proc. International Workshop on High-Level Computer Architecture '84, 1984.
- Dobly T.P., Despain A.M. and Patt Y.N.: Performance Studies of a Prolog Machine
- Architecture. Proc. 12-th Annual Symposium on Computer Architecture, 1985.
- Flynn, M.J.: «Very High-Speed Computing Systems», Proc. IEEE, vol. 54, pp. 19 011 909 (1966)
- Страуструп Б. Язык программирования Си++: Пер. с англ. М.: Радио и связь, 1991.-352 с.
- Эллис М., Страуструп Б. Справочное руководство по языку программирования
- С++ с комментариями: Пер. с англ. М.: Мир, 1992. — 445 с.
- Собоцинский В.В. Практический курс Turbo С++. (Основы объектноориентированного программирования) // М.: «Свет», 1993.
- Смирнов А.Л. Проблемы психологии памяти. М.:"Просвещение", 1966, 423с.
- Инструментальные средства быстрой разработки программ RAD: разбег, но невзлет, COMPUTERWEEK-MOSCOW № 31, 1994, с. 1,22−27.
- Компоненты будущего / Jacques Surveyer, COMPUTERWEEK-MOSCOW № 28,1996, с.32−33,44.
- Г. Ладыженский «Технология клиент/сервер и мониторы транзакций», Открытыесистемы, лето 1994.
- Клиент/сервер: мифы и реальность / Валерий Овсий, СофтМаркет № 15, апрель1995, с. 7.
- Как выбрать подходящий инструмент визуального программирования / Andy
- Feibus, COMPUTERWEEK-MOSCOW № 29, 1996, с.34−35.
- Как упростить переход к системам клиент/сервер нового поколения,
- COMPUTERWEEK-MOSCOW № 23, 1996, с.29−31.
- Microsoft стремиться к господству в Internet / Don Kiely, COMPUTERWEEK
- MOSCOW № 33, 1996, с.22−23.
- Транспьютеры. Архитектура и программное обеспечение. Пер. с англ. / Подред. Г. Харпа. М.: Радио и связь, 1993. — 304 с.
- Крол Э. Все об Internet. Руководство и каталог /Пер. с англ. Киев, BHV, 1995.
- Автоматизированные системы обработки информации и управления".
- В дальнейшем предполагается построение инструментальной объектно-продукционной экспертной системы реального времени и ее использования для проведения лабораторных работ по предмету «Автоматизация и интеллектуализация процессов управления».
- Заведующий кафедрой АИПУ, д.т.н., профессор1. Кравченко В.А.