Розглянуто існуючі підходи щодо моделювання статики та динаміки переконань у сучасних формально орієнтованих напрямах аналітичної епістемології. Проаналізовано роль процедури ідеалізації у процесі утворення когнітивних структур раціонального агента пізнання. Доведено її значення як необхідної умови побудови формальних моделей, в яких на нормативному рівні визначено оптимальну поведінку раціональних агентів. Зазначено, що дані ідеалізовані моделі є предметом дослідження формальної епістемології. Встановлено відносну самостійність і науковий характер нової галузі та її тісний зв'язок з комп'ютерними дослідженнями. Доведено перспективність використання формальної епістемології у сфері комп'ютерного моделювання та теорії штучного інтелекту, які є методами її емпіричної перевірки як наукової дисципліни.

  Завантажити