Роль ідеалізації в сучасній формальній епістемології

Такого рода модели могут быть построены с помощью формализмов модальной эпистемической логики и аксиоматизированной системы динамики убеждений. В диссертации представлено анализ таких моделей с точки зрения использования в них процедуры идеализации, а также проведен сравнительный анализ таких стратегий с аналогичными стратегиями в развертывании научных теорий в естественных науках. В диссертации представлено исследование формальных моделей рационального агента на эпистемологическом уровне. Такая модель включает в себя систему статики и систему динамики убеждений, статика убеждений (знания) моделируется с помощью формализмов модальних эпистемических/доксастических логик. Не смотря на проблему логического всезнания эти логики остаются эффективным способом моделирования поведения искусственных агентов, которые обладают интелектом, а также для анализа компютерных систем на дескриптивном уровне. Парадигмальным примером моделирования динамики является AGM-теория. Эта теория отразила идеальную систему динамики знания, и инкорпорирует в себе множество идеализаций, таких как “эпистемическое состояние”, “эпистемическое действие”, “логическое обязательство принимать следствия своих убеждений”. Показано, что нормативный уровень процедуры идеализации обеспечивается нормативной программой в эпистемологии. Предложено уточнение смысла понятия нормативности, которое задается в идеализированных моделях рациональности. Областью применения является теория искусственного интелекта. Возможность эмпирической интерпретации обеспечивается компьютерным моделированием. В результате исследования ми пришли к заключению, что компьютерное моделирование становится адекватным методом для самой формальной эпистемологии как научной дисциплины.

Ключевые слова: идеализация, “логическое всеведение”, формальная эпистемология, рациональность, агент познания, нормативность, дескриптивность, эпистемическая логика, динамика убеждений, компьютерная наука, искусственный интеллект.

Bеlous T.M. The Role of Idealization in Contemporary Formal Epistemology. - Manuscript.

Thesis for Candidate's degree in Philosophy in speciality 09.00.01 - Ontology, Gnoseology, Phenomenology. Kiev National Taras Shevchenko University. - Kyiv, 2005.

The dissertation is devoted to investigation the role that idealization plays in the construction the formal models of beliefs and in “information-oriented” branches of logics including non-monotonic reasoning, modal and dynamic logic. We examine the role that idealization plays in the construction the formal models of beliefs. This allows us to show that the principal task of formal epistemology is admitted to give doxastic model, a theory of belief. As we show, such a model give us an account for the static and the dynamics of doxastic states; and it would have to do so not as a merely empirical theory. But from the perspective of a theory of rationality theory of beliefs have a characteristic normative feature. This leads us into an investigation of conditions for the formulation the principles of the new concept of rationality. We present the direction of search for ways of performing the main task in contemporary analytical epistemology. We propose the following principle of rationality: we need a construction a general theory of rationality on normative level in epistemology, which can be implemented in artificial agent. The implementation can be viewed as making the abstract proposals more precise, and making them more objectively testable by making it an objective matter of fact what consequences they have for specific examples. It seems uncontroversial that any kind of theory of rationality must be sufficiently precise from perspective of being actually implemented. Probably, an advantageous way to achieve this is by using some idealization. Computational facilitation afforded by idealizations make them vital elements of scientific activity. In addition, that is more important, by implementation we achieve the possibility to test the correctness of our theory of cognition.

Key words: idealization, logical omniscience, formal epistemology, rationality, agent, normative level, descriptive level, epistemic logic, belief revision, Artificial Intelligence.

Размещено на Allbest.ru