Норм. Модальная система.
1. Множество всех теорем логики высказывания. 2. Схема аксиомы дистрибутивности 3. Modus Ponens 4. Модальные правила необходимости 5. Схема аксиомы знаний 6. Схема аксиомы позитивной интроспекции - Все, что известно субъекту, известно, что ему это известно. 7. Схема аксиомы негативной интроспекции. - Если это возможно, то известно, что это возможно.
1. ЛП – мышление (рациональное, вычислительное) 2. ПП – мышление (образное) 3. CSR – рассуждения на основе здравого смысла 4. Belief – вера, убеждения.
|
