Читайте также:
|
| Язык | Онтологический вклад (что существует в мире) | Эпистенологический вклад (какую степень доверия может выразить модель по отношению к фактам) |
| Логика 1го порядка | Факты, объекты, отношения | Истинно, ложно, неизвестно |
| Временная логика | Факты, объекты, отношения, интервалы времени | Истинно, ложно, неизвестно |
| Пропозициональная логика | факты | Истинно, ложно, неизвестно |
| Теория вероятностей | факты | Степень доверия [0,1] |
| Нечетная логика | Факты со степенью истинности [0,1] | Известные интервальные значения [0,1] |
Основное различие м\у пропозициональной логикой и логикой 1го порядка – они по-разному представляют характер действительности.
Например, в пропозициональной логике предполагается, что существуют лишь факты, которые относятся или не относятся к данному миру. Каждый факт либо истинен, либо ложен.
В логике первого порядка предполагается, что мир состоит из объектов, м\у которыми могут существовать некоторые отношения. Во временной логике факты имеют место в конкретные интервалы времени. Интервалы времени могут рассматриваться как бесконечно малые или конечные и являются упорядоченными.
В логике высокого порядка как объекты рассматриваются сами отношения.
Логику можно охарактеризовать по ее эпистемологическому вкладу.
Эпистемология – теория познаний (возможные состояния знаний, которые логика позволяет выразить в отношении каждого факта). В пропозиционной логике и логике 1го порядка любое высказывание представляет собой факт. И агент либо доверяет утверждению о том, что высказывание истинно, либо доверяет утверждению, что высказывание ложно, либо не имеет мнения на этот счет.
В системах, в которых используются теория вероятности, может рассматриваться любая степень доверия: от 0 – полное недоверие, до 1 – полное доверие.
В нечетной логике факты имеют определенную степень истинности от 0 до 1.
Дата добавления: 2015-07-10; просмотров: 177 | Нарушение авторских прав