Введение в недоопределенность
Автор: Нариньяни Александр Семенович
Журнал: Проблемы информатики @problem-info
Рубрика: Листая старые страницы
Статья в выпуске: 3 (40), 2018 года.
Бесплатный доступ
Недоопределенные модели (Н-модели) - новая теория и технология эффективного решения широкого спектра проблем от прикладных расчетов до обработки знаний и задач искусственного интеллекта. Относится к направлению constraint programming, активно развиваемому в последнее время в мире как одно из наиболее перспективных в ИТ. Качественно расширяет возможности работы с информацией и вычислительными моделями повышенной сложности, позволяя значительно упростить процесс создания систем и технологий следующего поколения, в частности, в таких областях как экономика, менеджмент, управление сложными объектами и производственными процессами, инженерные расчеты и многих других. Н-модели позволяют активно взаимодействовать со всем пространством решений, чем принципиально превосходят возможности традиционных алгоритмических методов и обеспечивают качественный скачок в решении ключевых проблем развития современных информационных технологий.
Вычислительные модели, программирование в ограничениях, метод недоопределенных моделей, искусственный интеллект, представление знаний, не-факторы
Короткий адрес: https://sciup.org/143167056
IDR: 143167056
Список литературы Введение в недоопределенность
- Нариньяни А. С. Недоопределенность в системах представления и обработки знаний//Изв. АН СССР. Техн. кибернетика, 1986. № 5. С. 3-28.
- Нариньяни А. С. Модель или алгоритм: новая парадигма информационной технологии//Информационные технологии. № 4. 1997.
- Нариньяни А. С. Телерман В. В., Ушаков Д. М., Швецов И.Е. Программирование в ограничениях и недоопределенные модели//Информационные технологии. № 7. 1998.
- Нариньяни А. С. НЕ-факторы: краткое введение//Новости ИИ. 2004. № 2.
- Нариньяни А.С. Недоопределенные множества -новый тип данных для представления знаний. Новосибирск, 1980. (Препр./АН СССР. Сиб. отд-ние. ВЦ; № 232).
- Нариньяни А. С. Недоопределенные модели и операции с недоопределенными значениями. Новосибирск, 1982. (Препр./АН СССР. Сиб. отд-ние ВЦ; № 400).
- Дмитриев В.Е. UniCalc -интеллектуальный решатель систем алгебраических уравнений и неравенств//Искусственный интеллект-90: Тр. 12 Всесоюзной конференции. Минск, 1990.
- 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.
- Shvetsov I., Kornienko V., Preis S. Interval spreadsheet for problems of financial planning. PACT‘97, England, London, April 1997.
- Борде С. Б. Time-EX -интеллектуальная система планирования времени//Интеллектуальные системы в машиностроении: Тез. Докл. Всесоюз. Научно-тех. конф. Секция: Интеллектуальные производственные системы. Самара, 1991. Ч. 1. С. 79-81.
- Банасюкевич Д. В., Гофман И. Д., Инишев Д. А., Нариньяни А. С. Интеллектуальная технология недоопределенного планирования и управления проектами Time-EX//Труды II-ой международной конференции CSCMP-2000, Самара, 2000.
- Юртаев А. В. Недоопределенные модели -нетрадиционный подход к математическим исследованиям экономики//Информационные технологии. 1999. N 4. С. 36-41.
- Напреенко В. Г., Нариньяни А. С., и др. Моделирование национальной экономики с использованием аппарата недоопределенных моделей//В сборнике „Проблемы управления и моделирования в сложных системах". Труды II Международной конференции. Самарский научный центр РАН, Самара 2000.
- Алефельд Г., Херцбергер Ю. Введение в интервальные вычисления. М.: Мир, 1987.
- Montanari U. Networks of Constraints: Fundamental Properties and Applications to Picture Processing//Inform. Sci. V. 7, 1974. P. 95-132.
- Нариньяни А. С. Модель или алгоритм: новая парадигма информационной технологии//Информационные технологии, 1997. № 4.
- Colmerauer A. An introduction to Prolog III//Communications of the ACM, N 33 (7). July 1990. P. 69-90.
- Jaffar J., Michavov S., Stuc&ev P., Yap R. The CLP(R) language and system//ACM Transactions on Programming Languages and Systems. N 14 (3), July 1992. P. 339-395.
- Benhamou F., Older W.J. Applying Interval Arithmetic to Real, Integer and Boolean Constraints//Journal of Logic Programming, 32 (1), 1997. P. 1-24.
- Diaz D., Codognet P. A minimal extension of the WAM for clp (FD)//Proceedings of the 10th International Conference on Logic Programming, 1993. P. 774-790.
- Van Hentenrvci P. Constraint Satisfaction in Logic Programming. Logic Programming Series. MIT Press, Cambridge, MA, 1989.
- Puget J.-F. A C++ Implementation of CLP. Tech. Report, Hog, January 1994.
- Benhamou F., McAllester D., Van Hentenrvci P. CLP (Intervals) Revisited//Proceedings of ILPS’94, Ithaca, NY, 1994. P. 124-138.
- Телерман В. В., Ушаков Д. М. Недоопределенные модели: формализация подхода и перспективы развития//Проблемы представления и обработки не полностью определенных знаний, сб. трудов РосНИИ Искусственного Интеллекта/ред. И. Е. Швецов, Москва-Новосибирск. 1996. С. 7-30.
- Загорулько Ю. А., Попов И. Г. Представление знаний в интегрированной технологической среде Semp-TAO//Проблемы представления, и обработки не полностью определенных знаний, сб. трудов РосНИИ Искусственного Интеллекта/ред. И. Е. Швецов, Москва-Новосибирск. 1996. С. 59-74.
- Нариньяни А. С. Неточность как НЕ-фактор. Попытка доформального анализа. Новосибирск, 1994. (Препр./Рос. НИИ ИИ; 2).
- Нариньяни А. С. Неоднозначность и ее функции в процессе коммуникации//Сб. Труды нац. конф. по искусственному интеллекту КИИ’96, окт. 1996. Казань, 1996.
- Нариньяни А. С. НЕ-ФАКТОРБ1: Неточность и Недоопределенность -различие и взаимосвязь//Изв. РАН, Теор. и сист. упр. 2000. № 5. С. 44-56.
- Нариньяни А. С. НЕ-факторы: неоднозначность (до-формальное исследование)//Новости искусственного интеллекта. 2003. № 5-6.
- Нариньяни А. С. Метатехнология Н-приложений. Научная сессия МИФИ-2005. Сборник научных трудов, Москва, 2005.
- Напреенко В. Г., Нариньяни А. С., Айгазин Ж. Ж. Компьютерная модель управления национальной экономикой на примере Республики Казахстан//Труды VII-й международной конференции „Проблемы управления и моделирования в сложных системах. Самара: Самарский „
- Напреенко В. Г., Нариньяни А. С., Смирнов Е. П. Моделирование региональной экономики: новый уровень качества и безопасности Финансы. Экономика, Безопасность. 2005. № 4, С. 33-38.