Логика релевантности
-
Основы логики релевантности
- Логика релевантности — это модальная логика, которая учитывает релевантность информации.
- Она была разработана для моделирования рассуждений в условиях неопределенности и неполной информации.
-
Логика релевантности и ее аксиомы
- Логика релевантности включает в себя аксиомы, которые отражают различные аспекты релевантности.
- Аксиомы включают в себя условные, конъюнктивные, дизъюнктивные и модальные операторы.
-
Операционные модели Уркварта
- Уркварт разработал операционные модели для фрагментов логики релевантности без отрицания.
- Операционные модели основаны на идее, что точки в модели представляют фрагменты информации.
- Они включают в себя условия, которые отражают свойства полурешеток и позволяют моделировать условные и дизъюнктивные операторы.
-
Логика, генерируемая операционными моделями
- Логика, генерируемая операционными моделями, является полной и имеет аксиоматические доказательства.
- Она сильнее, чем условный фрагмент R, и включает в себя полную систему аксиом.
-
Адаптация операционной семантики
- Операционная семантика может быть расширена для моделирования условия E, добавляя миры и отношение доступности.
- Отношение доступности должно отражать необходимость S4 условия E.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.