Запропоновано інтерпретацію пізнавальних дій як модальних операторів, що поєднує результати досліджень в межах обох наявних традицій перегляду знань AGM і DDL, що дає можливість усунути протиріччя між ними та провести побудову динамічної модальної логіки перегляду знань DML. Розглянуто інтерпретацію пізнавальних дій як модальних операторів, що робить можливим розгляд пізнавальної дії в момент її проведення, завдяки чому відкриваються значні можливості для вивчення динаміки перегляду переконань і реалізується ідея динамічної логіки, що була запропонована, але не розроблена в попередніх дослідженнях зміни переконань. Уточнено зміст понять динамічної та статичної формули: динамічні вирази описують сам процес виконання пізнавальної дії, статичні вирази характеризують стан переконань до або після виконання доксастичних дій. Запропоновано можливість використання умовних доксастичних операцій, що реалізують доксастичні зобов'язання суб'єкта. Одержано формалізацію властивостей пізнавальних операцій у рамках DML, що дозволяє відповісти на питання щодо первинності та "чистоти" доксастичних операцій, прояснити роль постулату відновлення, який досі багатьма вченими вважається суперечливим, установити взаємозв'язок між пізнавальними операторами, обгрунтувати визначальну роль розширення в процесі зміни переконань і сформулювати мінімальний набір правил, достатніх для формалізації перегляду переконань у його динамічній інтерпретації. Запропоновано семантичну інтерпретацію доксастичної динамічної логіки на підставі семантики можливих світів Р. Сталнакера, що дозволяє виразити динамічний аспект перетворення переконань. Доведено несуперечливість системи аксіом DML у рамках запропонованої семантики. Уточнено розуміння описів стану й узагальнених описів стану, прояснено їх зв'язок з множинами та базами переконань: узагальнений опис стану є базою переконань і дає можливість урахувати наявність з невизначеним статусом, нескінченність об'єктної мови та можливість наявності суперечливих переконань, нормальний опис стану - це множина переконань, надана базовим світом, над яким проводяться перетворення.

  Завантажити