Введение в недоопределенность

А.С. Нариньяни

Чаще переворачивайте устоявшиеся в физике и математике истины.

Альберт Эйнштейн

Недоопределенные модели (Н-модели) — новая теория и технология эффективного решения широкого спектра проблем от прикладных расчетов до обработки знаний и задач искусственного интеллекта. Относится к направлению constraint programming, активно развиваемому последнее время в мире, как одно из наиболее перспективных в ИТ. Качественно расширяет возможности работы с информацией и вычислительны-ми моделями повышенной сложности, позволяя значительно упростить процесс соз-дания систем и технологий следующего поколения, в частности, в таких областях как экономика, менеджмент, управление сложными объектами и производственными про-цессами, инженерные расчеты и многих других. Н-модели позволяют активно взаимо-действовать со всем пространством решений, чем принципиально превосходят воз-можности традиционных алгоритмических методов и обеспечивают качественный ска-чок в решении ключевых проблем развития современных информационных техноло-гий.

Введение
1. Недоопределенность и Н-модели
2. Основные понятия
3. Иллюстративный пример
4. Модель vs. алгоритм
5. Свойства недоопределенных расширений
6. Вычислительные Н-модели
7. Примеры использования Н-моделей
8. Роль интервала и другие НЕ-факторы
Заключение

Литература

1. Montanari U. Networks of Constraints: Fundamental Properties and Appli?ca?tions to Picture Processing // Inform. Sci . -V.7, 1974. — P. 95 — 132.
2. А.С. Нариньяни. Модель или алгоритм: новая парадигма информационной технологии.// «Информационные технологии», № 4, М., 1997 
3. Colmerauer A. An introduction to Prolog III. Communications of the ACM, 33(7), July 1990. — P. 69 — 90. 
4. Jaffar J., Michayov  S., Stuckey  P., Yap  R. The CLP(R) language and system. ACM Transactions on Programming Languages and Systems, 14 (3), July 1992. — P. 339 — 395.
5. Benhamou F., Older  W.J. Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of — gic Programming, 1996.
6. Diaz D., Codognet  P. A minimal extension of the WAM for clp(FD). Proceedings of the 10 th International Conference on — gic Programming, 1994.
7. Van Hentenryck  P. Constraint Satisfaction in Logic Programming. — gic Programming Series. MIT Press, Cambridge, MA, 1989.
8. Puget J.-F. A C++ Implementation of CLP. Tech. Report, Ilog, January 1994.
9. Benhamou F., McAllester  D., Van Hentenryck  P. CLP(Intervals) Revisited. Proceedings of ILPS?94, Ithaca, NY, 1994. — P. 124 — 138.
10. Нариньяни А.С. Недоопределенные множества — новый тип данных для представления знаний. — Новосибирск, 1980. — 28с. (Препр./АН СССР. Сиб. отд-ние. ВЦ; № 232).
11. Нариньяни А.С. Недоопределенные модели и операции с недоопределенными значениями. — Новосибирск, 1982. — 33с. ?(Препр./ АН СССР. Сиб. отд-ние ВЦ; № 400).
12. Нариньяни А.С. Недоопределенность в системах представления и обработки знаний // Изв. АН СССР. Техн. кибернетика, 1986. ?№ 5. — С. 3 — 28. 
13. Дмитриев В.Е. UniCalc — интеллектуальный решатель систем алгебраических уравнений и неравенств. Искусственный интеллект-90: Тр.12 Всесоюзной конференции. Минск, 1990.
14. Semenov A.L., Leshchenko  A.S. Interval and Symbolic Computations in the UniCalc Solver // Inter. Conf. on Interval and Computer-Algebraic Methods in Science and Engineering (INTERVAL-94): Abstracts. St-Petersburg, Russia, 1994. — P. 206 — 208.
15. I. Shvetsov, V. Kornienko, S. Preis. Interval spreadsheet for problems of financial planning. PACT`97, England, London, April 1997.
16. Борде С.Б. Time-EX — интеллектуальная система планирования времени, Интеллектуальные системы в машиностроении // Тез. Докл. Всесоюз. Научно-тех. конф. Секция: Интеллектуальные производственные системы. — Самара, 1991. ?Ч. 1. — С. 79-81.
17. Банасюкевич  Д.В., Гофман  И.Д., Инишев  Д.А., Нариньяни  А.С. Интеллектуальная технология недоопределенного планирования и управления проектами Time — EX // Труды II -ой международной конференции CSCMP -2000, Самара, 2000 
18. Юртаев  А.В. Недоопределенные модели — нетрадиционный подход к математическим исследованиям экономики. Информационные технологии.1999. N 4. С.36-41.
19. Напреенко В.Г., Нариньяни  А.С., и др. Моделирование национальной экономики с использованием аппарата недоопределенных моделей. В сборнике «Проблемы управления и моделирования в сложных системах». Труды II Международной конференции. Самарский научный центр РАН, Самара 2000.
20. Алефельд Г., Херцбергер  Ю. Введение в интервальные вычисления. — М.: Мир, 1987. — 260 с. 
21. А.С.Нариньяни. Модель или алгоритм: новая парадигма информационной технологии. «Информационные технологии», № 4, М ., 1997 
22. Нариньяни А.С. Телерман В.В., Ушаков  Д.М., Швецов  И.Е. Программирование в ограничениях и недоопределенные модели // «Информационные технологии», № 5, М., 1998 
23. Телерман В.В., Ушаков  Д.М. Недоопределенные модели: формализация под?хо?да и перспективы развития // Проблемы представления и обработки не полностью определенных знаний, сб. трудов РосНИИ Искусственного Интеллекта / ред. И.Е. Швецов, Москва — Новосибирск. — 1996. — С. 7 — 30. 
24. Загорулько Ю.А., Попов  И.Г. Представление знаний в интегрированной технологической среде Semp-TAO // Проблемы представления и обработки не полностью определенных знаний, сб. трудов РосНИИ Искусственного Интеллекта / ред. И.Е. Швецов, Москва — Новосибирск. — 1996. — С. 59 — 74. 
25. Нариньяни А.С. Неточность как НЕ-фактор. Попытка доформального анализа.- Новосибирск, 1994.- 34 с. (Препр./Рос. НИИ ИИ; 2).
26. Нариньяни А.С. Неоднозначность и ее функции в процессе коммуникации.// Cб. «Труды нац. конф. по искусственному интеллекту КИИ?96 окт.1996. Казань, 1996 
27. Нариньяни А.С. НЕ-ФАКТОРЫ: Неточность и Недоопределенность — различие и взаимосвязь. // Изв. РАН, Теор. и сист. упр. — 2000.- N.5. — с.44-56.
28. Нариньяни А.С. НЕ-факторы: неоднозначность (до-формальное исследование). Новости искусственного интеллекта. — 2003, NN .5 — 6 
29. Нариньяни А.С. НЕ-факторы: краткое введение. Новости ИИ.- 2004.- № 2 
30. Нариньяни А.С. Метатехнология Н-приложений. Научная сессия МИФИ-2005. Сборник научных трудов, Москва, 2005 
31. Напреенко В.Г., Нариньяни  А.С., Айгазин  Ж.Ж. Компьютерная модель управления национальной экономикой на примере Республики Казахстан. Труды VII-й международной конференции «Проблемы управления и моделирования в сложных системах» — Самара: Самарский Научный Центр РАН, 2005, сс.233-238 
32. Напреенко В.Г., Нариньяни  А.С., Смирнов  Е.П. Моделирование региональной экономики: новый уровень качества и безопасности. Финансы. Экономика, Безопасность. № 4, 2005. сс. 33 -38.

Публикуется с разрешения автора
Статья публиковалась в музее с 29 сентября 2008 г. по 3 октября 2008 г.