Введение 7.1

Изученные в предыдущих разделах суждения (будь то простые или сложные) утверждали лишь факт их истинности или сложности. Такие суждения называются ассерторическими (лат. Assertorius – утвердительный). В рамках классической логики (логики высказываний и логики предикатов) многочисленные задачи решались в предложении именно таких высказываний. Однако, этот формализм оказался неприменим для моделирования и решения большого многообразия задач, в которых достижение цели позволяет вводить предложения о допустимости, необходимости, возможности каких-то событий, явлений.

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

Неклассические логики можно объединить в две группы: одни конкурируют с классическими логиками, а другие являются их расширениями. К первой группе относятся пороговая логика интуиционистская логика и нечетная логика. Во вторую группу входят модальные логики, которые подразделяются на временную, динамическую и другие логики, многозначные логики.