Искусственный интеллект - [155]

Кузичее А.С.О представлении теорий первого порядка в бесгиповых комбинаторно полных системах. ДАН, 1982, т.266, № 1, с.23-27.

12. Кузичее А.С.Арифметически непротиворечивые /.-теории бесгиповой логики. ДАН, 1983, т.268, № 2, с.288-292.

13. Кузичее А.С.Теория множеств в бестиповых комбинаторно полных системах. «Вестник Московского университета», серия «матем., механ.», 1983, № 3, с.36-42.

14. КузичееА.С.Непротиворечивость системыNF Куайна. ДАН, 1983, т. 270, № 3, с.537-541.

15. Кузичее А.С.Арифметическая полнота бестиповой логики. ДАН, 1983, т. 270, №6, с.1323-1327.

16. Кузичее А.С.Об одной арифметически непротиворечивой /.-теории. Zeitschrift fur Mathematishe Logik und Grundlagen der Mathematik, 1983, Bd. 29, H. 5, s. 385—416.

17. Кузичее А.С.Теорема о непротиворечивости системы ZF Цермело-Френ-келя. ДАН, 1983, т.273, № 5, с. 1053-1057.

18. Колмогоров А.Н.О принципе Tertium non datur // Математический сборник, 1925, т. 32, №4, с. 646-667.

19. Колмогоров АЛ.Математика и механика. М., Наука, 1985,470 с.

20. КузичееА.С.Вариант формализации канторовской теории множеств // ДАН, 1999, т. 369, № 6, с. 740-742.

21. КузичееА.С.Решение проблемы Гильберта по Колмогорову // ДАН, 2000, т. 371, №3, с. 303-306.

22. Рыбников КА.История математики. М, Изд-во МГУ, 1994,494 с.

23. Leibniz G. W.Dissertalio de arte combinaloria (1666). Die philosophishe Schriflen Beilin, 1880, Bd. 4, s. 27-102.

24. Кузичев А.С.Теорема о сечении для 91-теорий в комбинаторно полных системах//Вестник МГУ, Сер.1 Математика, механика, 1977,№ 1, с. 62-67.

25. Kuzichev АХ.Solution of Hilbert Central Problem Following Kolmogorov // Dok-lady Mathematics. Vol. 61, № 2,2000, pp. 212-215.

26. Hatcher William S.The Logical Foundations of Mathematics. Oxford., Peigamon Press. 1982,X+320pp.

27. Zakharov V.K., Mikhalev A.V.Mathematical systems // Proceedings of the International Algebraic Conference. Berlin: Walter De Gmyter Publishers. 2000, pp. 370-383.

28. Барендрегт X.Ламбда-исчисление. Его синтаксис и семантика М., Мир, 1985,606 с.

29. Вольфенгаген В.Э. Методы и средства вычислений с объектами. Апплика-тивные вычислительные системы. М., Центр ЮрИнфоР, 2004, XVI+789 с.

30. Rezus A. A Bibliography of Lambda-Calculi, Combinatory Logics and Related Topics. Amsterdam, 1982,86 p.

31. HindleyJR, Cardone F. History of L-Calculus and Combinatory Logic. Preprint Abertawe, 2005,96 p.

32. Генцен Г.Исследования логических выводов. В сб. «Математическая теория логического вывода», М., Наука, 1967, с. 9-76.

33. Клини С.К.Введение в \гстаматематику. М., Изд-во иностранной литературы, 1957,526 с.

34. ЕриюеЮ.Л, Палютин ЕА. Математическая логика М, Наука, 1987,336 с.

35. Яцук В.Я. Аппликативная компьютерная логика: неограниченные возможности и возможные ограничения // C-Пб, Вестник Петровской Академии, 2005, №1, с. 29-35.

ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ И ЕГО ПРИЛОЖЕНИЯ В ЭКОНОМИКОМАТЕМАТИЧЕСКИХ МОДЕЛЯХ*

А.Р. Бахпшзин

Введение

Мотивы поведения человека в социально-экономической среде занимали умы величайших философов и ученых на продолжении всей истории человечества.

Согласно классической теории поведения потребителя, принимаемые им решения, исходят из соображений полной рациональности. Т.е. предполагается, что человек всегда выбирает наилучшее действие с целью максимизации полезности от приобретаемых им благ или его поведение в плане поиска работы оптимально с точки зрения будущего дохода. При этом также предполагается, что человек знает все возможности выбора и осведомлен о последствиях каждой альтернативы.

Нобелевский лауреат Герберт Саймон (Саймон (2000)) подверг резкой критике данный подход с его «абсурдно всеведущей рациональностью» и показал, что такая модель поведения человека далека от реальности.

Основной аргумент Г. Саймона заключался в том, что в основе поведения человека как работника лежит не только желание получить максимальный денежный доход, но еще и моральное удовлетворение, связанное с удовлетворением его социальных потребностей или с реализацией творческих возможностей.

Несмотря на то, что такое понятие как «моральное удовлетворение» не рассматривается в классической экономической теории, в психологии оно имеет первостепенное значение. В большинстве психологических теорий, основным мотивом человека, побуждающим его к действиям, является неудовлетворенность стремлений. Причем уровень стремлений непостоянен, а зависит от жизненного опыта, в связи с чем, достижение удовлетворенности является итерационным и непрекра-щающимся процессом.

Работа выполнена при поддержке Российского гуманитарного научного фонда (проект № 05-02-02039а), Фонда «Научный потенциал», Фонда содействия отечественной науке, Гранта Президента РФ «Разработка и апробация вычислимой модели общего экономического равновесия с применением технологий искусственного интеллекта» (проект № МК-1085.2005.6).

По мнению Г. Саймона в человеческом поведении много иррационального, а границы рациональности для каждого индивидуума не статичны и могут изменяться в зависимости от окружения. Например если ситуация хорошо знакома, а реакция внешней среды предсказуема, то принимаемое решение может быть оптимальным, однако в случае изменения какого-нибудь параметра внешней среды, с одной стороны могут поменяться границы рациональности, а с другой - не факт, что принимаемое решение будет оптимальным.