Антирелигия

Смена убеждений как логико-этическая проблема

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

Ревизия знаний находится в поле зрения доксастической и эпистемологической логик, в рамках которых различные исследо-ватели пытаются построить реальную логику изменения знаний. Сейчас существуют две основные традиции исследования логики знаний и убеждений. Одна из них (AGM) основана на работах Алчуррона, Герденфорса и Макинсона и посвящена теории изменения (belief revision). AGM рассматривает три основных пути изменения системы убеждений: расширение, сокращение и ревизия, и представляет их в виде функций над теориями.

Второе направление развития теории изменения разработано в работах Кристера Сегерберга. Он указывает на то, что AGM – не реальная логика, а, скорее, сорт некоторой математической метатео-рии о теориях. Сегерберг предлагает рассмотреть расширение, сокра-щение и ревизию как действия определённого рода, а именно как эпистемические или доксастические действия субъекта. Он определяет +, &divide и *; как термообразующие операторы, которые преобразовы-вают Булевы формулы (?, ? и др.) в так называемые доксастические термы.

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

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

Неабсурдной системой убеждений будем называть такое множество убеждений, которое непротиворечиво и замкнуто относительно логического следования.

Имея в наличии именно систему убеждений, можно говорить о её изменении. Используя аппарат теории множеств, можно однозначно определить результат операции расширения. Пусть R - система убеждений. Тогда R+А = Cn (R U {А}).

Основные познавательные операции сокращения и расшире-ния редко используются в чистом виде. Чаще мы имеем дело с такой комплексной операцией, как ревизия знаний. Эта операция представ-ляет собой последовательное применение сокращения и расши-рения.

R * А = (R ? А) + А.

Это определение известно как равенство Леви. Так как операция расширения определена однозначно, то вся проблема пересмотра знаний в определенном смысле сводится к определению операции сокращения.

Как бы ни была определена операция сокращения, она должна удовлетворять определенным постулатам сокращения. Эти постулаты описаны в работах Герденфорса, Алчуррона, Фурманна, Макинсона, Ханссона и др.

1. Постулат замыкания. Сокращая множество убеждений R на А, мы должны убедится в замкнутости исходного множества R и после сокращения произвести замыкание полученного множества R ? А. Если Cn(R ? А) не содержит А, сокращение прошло успешно.

2. Постулат успеха.

Если А Cn(?), то А Cn (R ? А), где ? – пустое множество, а Cn(?) – множество всех законов логики. Согласно этому постулату, логическая истина не может быть удалена.

3. Постулат неудачи.

Если А Cn (?), то R divide; А = R.

Удаляя логическую истину, мы фактически оставляем исходное множество без изменений.

4. Постулат включения. (R ? А) R. Результат сокращения всегда должен составлять подмножество исходной системы убеждений.

5. Постулат пустоты.

Если А R, то К divide; А = R. При попытке удалить высказыва-ние, которое не содержится в исходной системе, собственно ника-кого сокращения не произойдет, система убеждений останется без изменений.

6. Постулат экстенсиональности.

Если (А ? В) Cn (?), то R ? А = R ? В.

7. Постулат восстановления.

R (R ? А) + А.

Согласно постулату восстановления, после удаления А мы можем восстановить если не всё исходное множество, то, по крайней мере, большинство удалённых высказываний путём обратного включения А в систему R.

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

Козаченко Н.П.
Криворожский государственный педагогический университет

31.07.2012 04:43

Комментарии

Оставить комментарий

Ваше имя:		Ваш email (не публикуется):
Текст сообщения::

Новости по теме

Проблема интерпретиции как феномена человеческого бытия в философии К. Ясперса
Проблема государственного устройства Украины в деятельности общественных организаций Донбасса в начале 1990-х гг.
Проблема обоснования природы политического и государства в учении Августина о двух града
Внутренняя проблема метафизики рационализма
Проблема идентификации и обновления греческой национальности граждан современной Украины
Проблема самосознания человека в фылософський антропологии Августина
Проблема индивидуализма и эгоизма в нигилистической философии
Проблема сущности и существования человека в контексте Эротической доктрины Платона
Проблема диверсификации методов обучения в контексте участия Украины в Болонском процессе
Проблема человека в религиозной наследии Я. Чаадаева

Поиск по сайту

Популярные новости

Последние статьи