ИНЖЕНЕРНЫЙ ВЕСТНИК

УДК 519.711.3+005

Россия, МГТУ им. Н.Э. Баумана

Россия, Москва, Институт проблем управления им. В.А. Трапезникова РАН

valery@vykhovanets.ru

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

Список литературы

1.   Акофф Р.Л.  Акофф о менеджменте. СПб: Питер, 2002.

2.   Новиков Д.А., Петраков С.Н. Курс теории активных систем. М.: СИНТЕГ, 1999.

3.   Арунянц Г.Г., Рутковский А.Л. Проблемы решения многокритериальных задач оптимального управления // В мире научных открытий. 2010, № 4. Режим доступа: http://bief.ru/wp-content/uploads/2010/04/16.pdf (проверено 06.03.2013).

4.   Shoham Y., Leyton-Brown K. Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations. – Cambridge: Cambridge University Press, 2009.

5.   Хакен Г. Синергетика. Иерархия неустойчивостей в самоорганизующихся системах и устройствах. М.: Мир, 1985.

6.   Николис Г., Пригожин И. Самоорганизация в неравновесных системах: От диссипативных структур к упорядоченности через флуктуации. М.: Мир, 1979.

7.   Малинецкий Г.Г. Математические основы синергетики: Хаос, структуры, вычислительный эксперимент. М.: Книжный дом «ЛИБРОКОМ», 2009.

8.   Гейтинг А. Интуиционизм. М.: Мир, 1965.

9.   Павлов К.А. О замысле и исторических трансформациях понятия «логика» // Вестник томского государственного университета. Сер. Философия. Социология. Политология. 2009. № 4(8). С. 38-51.

10. Поспелов Д.А. Где исчезают виртуальные миры? // Новости искусственного интеллекта. 2003. № 3. С. 9-25.

11. Васильев Н.А. Воображаемая логика. Избранные труды. М.: Наука. 1989.

12. Марков А.А. Избранные труды. Т. II. Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. М.: Изд-во МЦНМО, 2003.

13. Непейвода Н.Н. Конструктивная математика: обзор достижений, недостатков и уроков // Логические исследования. 2011. Вып. 17, С. 191–239.

14. Расёва Е., Сикорский Р. Математика метаматематики. М.: Наука, 1972.

15. Белякин Н.В., Жевлакова Е.К. Операция диагонализации в вопросно-ответных системах // Вычислительные системы. 1976. № 67. С. 113-126.

16. Непейвода Н.Н. Первые шаги к теории неформализуемых понятий: автопродуктивные системы теорий // Логические исследования. Вып. 1. М.: Наука, 1993. C. 34-45.

17. Непейвода Н.Н. О формализации неформализуемых понятий // Семиотика и информатика. Вып. 25. 1985. С. 46-93.

18. Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. М.: Наука, 1979.

19. Карпенко А.С. Предмет логики в свете основных тенденций ее развития // Логические исследования. 2004. Вып. 11. С. 5.

20. Ивин А.А. Современная философия науки. М.: Высш. шк., 2005.

21. Борчиков С.А. Методологическое значение понятия парадигмы познания / Размышления о... Философский альманах. Вып. 1. М.: Диалог-МГУ, 1998.

22. Агошкова Е.Б., Ахлибининский Б.В.  Эволюция понятия системы // Вопросы философии. 1998. № 7. С. 170-179.

23. Основания общей теории систем. Логико-методологический анализ / Садовский В.Н.; Отв. ред.: Уемов А.И. М.: Наука, 1974.

24. Выхованец В.С. Некоторые определения из области системного подхода / Тр. Межд. научно-практ. конф. «Теория активных систем ». М.: Институт проблем управления, 2009. С. 68-71.

25. Куратовский К., Мостовой А. Теория множеств. М.: Мир, 1970.

26. Гинсберг К.С. Идентификационный подход: понятия и основные результаты // Тр. VIIIМежд. конф. «Идентификация систем и задачи управления». М.: Институт проблем управления, 2009. С. 191-225.

27. Эдельман С.Л.  Математическая логика. М.: Наука, 1975.

28. Kowalski R A.  Algorithm = Logic + Control // CACM. 1979. Vol. 22, No 7. P.424–436.

29. Величковский Б М.  Когнитивная наука: Основы психологии познания. В 2-х томах. М.: Академия, 2006.

30. Кейслер Г., Чен Ч. Теория моделей. М.: Мир, 1977.

31. Непейвода Н.Н. Неформализуемость как логическая характеристика жизни // Onlinejournal ‘LogicalStudies’. 1999. № 3.

32. Карри Х. Б. Основания математической логики. – М.: Мир, 1969.

33. Карнап Р.  Значение и необходимость. М.: Мир, 1959.

34. Выхованец В.С. О существенной неполноте формального метода // Сборник трудов международной междисциплинарной научной конференции «Философия, математика, лингвистика: аспекты взаимодействия». СПб.: Международный институт им. Эйлера, 2009. С. 56-72.

35. Непейвода Н.Н. Квазиискусственные объекты // Логические исследования. 2002. № 8.

36. Выхованец В.С.  Математическое моделирование систем на основе языковой формализации результатов понятийного анализа // Мат. Межд. конф. «Математическая теория систем» М.: Институт проблем управления, 2009. С. 56-61.

37. Выхованец В.С. Методы анализа крупномасштабного производства. Понятийный анализ и моделирование // Тр. III Межд. конф. «Управление развитием крупномасштабных систем» (MLSD'2009). М.: Институт проблем управления, 2009. С. 308-316.

38. Данильян О.Г., Панова Н.И. Современный словарь по общественным наукам. М.: Эксмо-Пресс, 2005.

39. Вагин В.Н., Головина Е.Ю., Загорянская А.А. Фомина М.В.  Достоверный и правдоподобный вывод в интеллектуальных системах. М.: Физматлит, 2004.

40. Новейший философский словарь: 3-е изд., исправл. Мн.: Книжный Дом, 2003.

41. Кравцов Л.Г.  Методологические проблемы психологического анализа мышления в понятиях // Мат. Первой рос. конф. по когнитивной науке. Казань, Казанский гос. ун-т, 2004. Режим доступа: http://www.ksu.ru/ss/cogsci04/science/cogsci04/sod.php3 (проверено 21.02.2013).

42. Выхованец В.С. О понятии понятия // Тр. VIII Межд. конф. «Когнитивный анализ и управление развитием ситуаций». М.: Институт проблем управления, 2011.

43. Выхованец В.С. Описание семантики контекстно-свободных языков методом математической индукции // НТИ, Сер. 2: Информационные процессы и системы. 2008, № 7. С. 6-14.

44. Фридл Дж. Регулярные выражения. СПб.: Питер, 2001.

45. Окстоби Дж. Мера и категория Пер. с англ. М.: Мир, 1974.

46. Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. СПб.: Питер, 2000.

47. Tarski A. Logic, Semantics, Metamathematics. Oxford, 1956.