Модальность как класс отношений

Модальность – это класс отношений, в котором исследуются высказывания, имеющие такие истинностные значения, как возможность, необходимость, обязательность.

Модальность – одно из важнейших свойств суждений, так как в нем выражается степень существенности того или иного признака для данного объекта предметной области, отображенного в суждении.

Утверждение о вероятности наступления того или иного события, высказанное в проблематическом суждении, основывается на исследовании фактов, на изучении объективной действительности. Степень вероятности, выраженная в суждении, зависит от того, насколько основательны и реалистичны способы установления и вычисления вероятности.

В традиционной формальной логике суждения по модальности делятся на три группы: суждения возможности (проблематичности); суждения необходимости; суждения действительности.

В суждении возможности отображается вероятность наличия или отсутствия признаков у объекта, о котором говорится в данном суждении.

В суждении необходимости отображается такой признак, который имеется у объекта при всех условиях.

В суждении действительности констатируется наличие или отсутствие у объекта того или иного признака.

Модальности, как класс отношений, играют большую роль при построении экспертных систем. Их часто используют при создании аксиоматических предположений в базах знаний.

Основные отношения модальности представлены ниже:

• Необходимо
• Желательно
• Невозможно
• Совершенно невозможно
• Возможно
• Обязательно
• Необязательно
• Нежелательно
• Совершенно необходимо