Объектно-ориентированная среда для недоопределенных вычислений
Диссертация
Программирование в ограничениях базируется на результатах исследований методов решения задач удовлетворения ограничений (ЗУО). Задачи этого класса определяются совокупностью ограничений, связывающих между собой значения различных переменных. Решением задачи является такое означивание переменных, которое удовлетворяет всем заданным ограничениям. Многие задачи, возникающие в различных областях… Читать ещё >
Список литературы
- Агафонов В. Н. Спецификация программ: понятийные средства и их организация. Новосибирск, Наука, 1987, 240 с.
- Алефельд Г., Херцбергер Ю. Введение в интервальные вычисления. Москва, Мир, 1987, 260 с.
- Борде С. Б. и др. Недоопределенное календарное планирование. Труды IV национальной конференции «Искусственный интеллект-94», т. 2, Рыбинск, 1994, сс. 377−381.
- Гретцер Г. Общая теория решеток. Пер. с англ. под редакцией Д. М. Смирнова. Москва, Мир, 1982, 456 с.
- Карманов В. Г. Математическое программирование. Москва, Наука, 1986.
- Колмероэ А., Кануи А., ван Канегем М. Пролог — теоретические основы и современное развитие. Логическое программирование. Москва, Мир, 1988, сс. 27−133.
- Манцивода А. В. Программирование в ограничениях на Флэнге. Системная информатика, вып. 4, Новосибирск: Наука, 1995, сс. 118−159.
- Нариньяни А. С. Недоопределенные множества — новый тип данных для представления знаний. Препринт/АН СССР. Сиб. отд-ние. ВЦ. N 232, Новосибирск, 1980. 33 с.
- Нариньяни А. С. Недоопределенные модели и операции с недоопределенными значениями. Препринт/АН СССР. Сиб. отд-ние. ВЦ. N 400, Новосибирск, 1982, 33 с.
- Нариньяни А. С. Недоопределенность в системах представления и обработки знаний. Известия АН СССР, Серия «Техническая кибернетика» 5, 1986, сс. 3−28.
- Нариньяни А. С. Искусственный интеллект: стагнация или новая перспектива. Труды V Национальной конференции по искусственному интеллекту, 1998.
- Нариньяни А. С., Телерман В. В., Ушаков Д. М., Швецов И. Е. Программирование в ограничениях и недоопределенные модели. Информационные технологии, Москва, 1998. (В печати.)
- Нечепуренко М. И. Элементы булева интервального анализа. Системное моделирование в информатике, СМ-11, Новосибирск, 1985, сс. 37−61.
- Нильсон Н. Принципы искусственного интеллекта. Москва, Радио и связь, 1985.
- Телерман В. В. Активные типы данных. Препринт ВЦ СО АН СССР, 792, Новосибирскк, 1988, 30 с.
- Телерман В. В., Дмитриев В. Е. Технология программирования на основе недоопределенных моделей. Препринт/РАН. Сиб. отд-ние. ИСИ. N 25, Новосибирск, 1995, 38 с.
- Телерман В. В., Сидоров В. А., Ушаков Д. М. Интервальные и мультиинтерваль-ные расширения в недоопределенных моделях. Вычислительные технологии, том 2, № 1, Издательство СО РАН, Новосибирск, 1997, сс. 62−70.
- Телерман В. В., Ушаков Д. М. Удовлетворение ограничений в задачах математического программирования. Вычислительные технологии, том 3, № 2, Издательство СО РАН, Новосибирск, 1998, сс. 45−54.
- Тыугу Э. X. Концептуальное программирование. Москва, Наука, 1984, 255 с.
- Ушаков Д. М. Развитие технологии недоопределенных моделей. Материалы XXXIII Международной научной студенческой конференции «Студент и научно-технический прогресс»: Математика. Новосиб. ун-т, Новосибирск, 1995, сс. 34−35.
- Ушаков Д. М. Объектно-ориентированный язык спецификации недоопределенных знаний. Третья международная студенческая школа-семинар «Новые информационные технологии». Тезисы. Крым, май 1995, с. 135.
- Швецов И. Е. Основные положения технологии активных объектов. Препринт РосНИИ ИИ, Новосибирск, 1995, 26 с.
- Шокин Ю. И. Интервальный анализ. Новосибирск, Наука, 1981, 112 с.
- Яковлев А. Г. Машинная арифметика мультиинтервалов. Вопросы кибернетики. Проблемно-ориентированные вычислительные системы, 1987, сс. 66−81.
- Яхно Т. М. Программирование в ограничениях: обзор и классификация подходов и методов. Системная информатика, вып. 4, Новосибирск: Наука, 1995, сс. 160−192.
- Apt К. R. The Essence of Constraint Propagation. Journal of Logic Programming, to appear.
- Babichev А. В., Kadyrova О. В., Kashevarova T. P., Leshchenko A. S., Semenov A. L.
- UniCalc, A Novel Approach to Solving Systems of Algebraic Equations. Proceedings of the1. ternational Conference on Numerical Analysis with Automatic Result Verifications. Lafayette, Louisiana, USA, 1993. Interval Computations 2, 1993, pp 29−47.
- Benhamou F., McAllester D., Van Hentenryck P. CLP (Intervals) Revisited, M. Bruynooghe (ed.), Proceedings of the 1994 International Logic Programming Symposium, MIT Press, 1994, pp. 124−138.
- Benhamou F., Older W. J. Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of Logic Programming 32(1), 1997, pp. 1−24.
- Borning A., Freeman-Benson В., Wilson M. Constraint Hierarchies. Constraint Programming: Proceedings 1993 NATO ASI Parnu, Estonia, Springer-Verlag, 1994, pp. 80−122.
- Burstall R. M. A program for solving word sum puzzles. Сотр. J. 12, 1969, pp. 48−51.
- Caseau Y., Puget J.-F. Constraints on Order-Sorted Domains. Manfred Meyer (ed.), Proceedings ECAI'94 Workshop on Constraint Processing, Amsterdam, 1994.
- Cleary J. G. Logical Arithmetic. Future Generation Computing Systems 2(2), 1987, pp. 125−149.
- Cleary J. G. Constructive Negation of Arithmetic Constraints. Proceedings of Workshop on Interval Constraints, ILPS'95, Portlend, Oregon, USA, 1995.
- Colmerauer A. An introduction to Prolog III. Communications of the ACM 33(7), 1990.
- Davis E. Constraint Propagation with Interval Labels. Artificial Intelligence 32, 1987, pp. 281— 331.
- Dennis J. E., Schnabel R. B. Numerical Methods for Unconstrained Optimization and Nonlinear Equations. Prentice Hall, Englewood Cliffs, New Jersey, 1983.
- Deville Y., Van Hentenryck P. An Eflicient Arc Consistency Algorithm for a Class of CSP Problems. Proceedings of IJCAI, 1991, pp. 325−330.
- Diaz D., Codognet P. A minimal extension of WAM for clp (FD). Proceedings of the 10th Interbational Conference on Logic Programming, 1993.
- Fikes R. E. REF-ARF: A System for Solving Problems Stated as Procedures. Artificial Intelligence 1(1), 1970, pp. 27−120.
- Freeman-Benson B. N., Borning A. Integrating Constraints with an Object-Oriented Language. Proceedings of ECOOP'92, 1992, pp. 268−286.
- Freuder E. C., Wallace R. J. Partial Constraint Satisfaction. Artificial Intelligence 58, 1992, pp. 21−70.
- Freuder E. Exploiting Structure in Constraint Satisfaction Problems. Constraint Programming: Proceedings NATO ASI Parnu, Estonia, Springer-Verlag, 1994, pp. 54−79.
- Gaede V., Wallace M. An Informal Introduction to Constraint Database Systems. Lecture Notes in Computer Science 1191, 1997, pp. 7−52.
- Gervet C. Conjuncto: Constraint Logic Programming with Finite Set Domains. Technical report ofECRC, EC-94−15, 1994.
- Goguen J. A., Meseguer J. Models and Equality for Logical Programming. Lecture Notes in Computer Science 250, 1987, pp. 1−22.
- Hyvonen E. Constraint Reasoning Based on Interval Arithmetic. Proceedings of IJCAI, 1989, pp. 193−199.
- Hyvoonen E., De Pascale S. Interval Computations on the Spreadsheet. Applications of Interval Computations, R. Baker Kearfort and Vladik Kreinovich (Eds.), Kluwer Academic Publishers, 1996, pp. 169−210.
- ILOG Optimization Suite white paper, http://www.ilog.com/papers/optimization/
- Jaffar J., Michayov S., Stuckey P. J., Yap R. H. C. The CLP (ft) Language and System. TOPLAS: ACM Transactions on Programming Languages and Systems, 14(3), 1992, pp. 339−395.
- Jaffar J., Maher M. J. Constraint Logic Programming: A Survey. Journal of Logic Programming 19/20, 1994, pp. 503−581.
- Kumar V. Algorithms for Constraint Satisfaction Problems: A Survey. AI Magazine 13(1), 1992, pp. 32−44.
- Lhomme O. Consistency Techniques for numeric CSPs. Proceedings of IJCAP93, Chambery. France, pp. 232−238.
- Mackworth A. K. Consistency in Networks of Relations. Artificial Intelligences, 1977, pp. 99−118.
- Mayoh B. Constraint Programming and Artificial Intelligence. B. Mayoh, E. Tyugu, J. Penjaam (Eds.), Constraint Programming: Proceedings 1993 NATO ASI Parnu, Estonia, Springer-Verlag, 1993, pp. 18−53.
- Mohr R., Henderson T. Arc-consistency and path-consistency revisited. Artificial Intelligence 28, 1986, pp. 225−233.
- Mohr R., Masini G. Good old discrete relaxation. Y. Kodratoff (ed.), Proceedings of the 8th European Conference on Artificial Intelligence (ECAI), Pitman Publishers, 1988, pp. 651−656.
- Montanari U. Networks of Constraints: Fundamental Properties and Application to Picture Processing. Information Science 7(2), 1974, pp. 95−132.
- Older W., Vellino A. Extending Prolog with Constraint Arithmetic on Real Intervals. Proceedings of the Canadian Conference on Electrical and Computer Engineering, 1990.
- Puget J.-F., Leconte M. Beyond the Glass Box: Constraints as objects. Logic Programming. Proceedings of the 1995 International Symposium, MIT Press, pp. 513−527.
- Puget J.-F. PECOS A High Level Constraint programming Language. Proceedings of Spicis 92, Singapore, September, 1992.
- Saraswat V. A., Rinard M. Concurrent Constraint Programming. Proceedings of ACM Symposium on Principles of Programming Languages, 1990, pp. 232−245.
- Shary S. P. A New Approach to the Analysis of Static Systems Under Interval Uncertainty. Scientific Computing and Validated Numerics, edited by G. Alefeld, A. Frommer and B. Lang, Akademie Verlag, Berlin, 1996, pp. 118−132.
- Shokin Y. I. On Interval Problems, Interval Algorithms and Their Computational Complexity. Scientific Computing and Validated Numerics, Akademie Verlag, Berlin, 1996, pp. 314−328.
- Shvetsov I., Kornienko V., Preis S. Interval spreadsheet for problems of financial planning. Proceedings of PACT'96.
- Shvetsov I., Semenov A., Telerman V. Application of Subdefinite Models in Engineering. Artificial Intelligence in Engineenring 11, 1997, pp. 15−24.
- Telerman V. V. Propagation of Mathematical Constraints in Subdefinite Models. J. Calmet and J. A. Campbell (Eds.), Integrating Symbolic Mathematical Computation and Artificial Intelligence, Lecture Notes in Computer Science 958, 1995, pp. 191−208.
- Telerman V., Lipski S., Ushakov D. Object-Oriented Constraint-Based Database Processing. Proceedings of PACT'98, London, 1998.
- Telerman V., Sidorov V., Ushakov D. Problem Solving in the Object-Oriented Technological Environment NeMo+. Perspectives of System Informatics: proceedings. Lecture Notes in Computer Science 1181, Springer, 1996, pp. 91−100.
- Telerman V., Ushakov D. Subdefinite Models as a Variety of Constraint Programming. Proceedings of the 8th International Conference on Tools with Artificial Intelligence, ICTAI'96, IEEE Computer Society, 1996, pp. 157−163.
- Telerman V., Ushakov D. Using the Subdefiniteness in Real World Models. Proceedings of the 6th International Conference EWHCP96. Moscow, Russia, August 12−16, 1996, pp. 194−206.
- Telerman V., Ushakov D. Levels of Parallelism in CSP with Subdefinite Objects. Proceedings of the Poster Session of JFPLC'97, Sixth French Conference on Logic and Constraint Programming, Orleans, France, 26−28 May 1997, Rapport de Recherche LIFO 97−6.
- Telerman V., Ushakov D. Constraint Satisfaction Techniques for Mathematical Programming Problems. Proceedings of International Conference on Interval Methods and their Application in Global Optimization, INTERVAL '98, April 20 23, 1998, Nanjing, China.
- Ushakov D. Some Formal Aspects of Subdefinite Models. Preprint IIS SB RAS, no. 49, Novosibirsk, 1998, 23 p.91. van Emden M. H. Value constraints in the CLP scheme. Constraints 2(2), 1997, pp. 163−184.
- Van Hentenryck P. Constraint Satisfaction in Logic Programming, Logic Programming Series, MIT Press, Cambridge, MA, 1989.
- Van Hentenryck P. Constraint Satisfaction Using Constraint Logic Programming. Artificial Intelligence 58, 1992, pp. 113−159.
- Van Hentenryck P., Michel L., Deville Y. Numerica: a Modeling Language for Global Optimization. The MIT Press, Cambridge, Mass., 1997.
- Voronkov A. Merging Relational Database Technology with Constraint Technology. Perspectives of System Informatics: proceedings, Lecture Notes in Computer Science 1181, Springer, 1996, pp. 409−419.
- Walinsky C. CLP (S*): Constraint Logic Programming with Regular Sets. G. Levi and M. Martelli (Eds.), ICLP'89: Proceedings 6th International Conference on Logic Programming, MIT Press, 1989, pp. 181−196.
- Waltz D. Understanding line drawing in scenes with shadows. Patrick Henry Winston (Ed.), The Psychology of Computer Vision, McGraw-Hill, 1975, pp. 19−91.
- Wright M. H. Numerical Methods for nonlinearly constraint optimization. Ph. D. Thesis, Stanford University, 1976.
- Yakhno T., Petrov E. LogiCalc: Integrating Constraint Programming and Subdefinite Models. Proceedings of PACT'96, 1996, pp. 357−372.