Формальные логические модели. Их примеры (исчисление высказываний и исчисление предикатов).

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

Модели представления знаний, в которых вычисления представляются с помощью логики предикатов, называются логическими, а язык программирования, используемый для описания вычислений, называется логическим языком. В основе логических моделей лежит понятие формальной системы. Наиболее распространенной формальной системой, используемой для представления знаний, является исчисление предикатов первого порядка.
Исчисление предикатов - это формальный язык, в котором знания представляются в виде логических высказываний, которые могут иметь значения ИСТИНА, либо ЛОЖЬ.
Главным достоинством исчисления предикатов является его универсальность и декларативность. Утверждения, выраженные на этом языке, могут быть без изменения смысла преобразованы в форму, удобную для обработки на ЭВМ. В то же время этому формализму присущи и существенные недостатки: в системы, построенные на основе исчисления предикатов трудно встраивать процедурные и проблемно-ориентированные знания, они плохо справляются с противоречивостью знаний и др.

Логика высказываний (или исчисление высказываний) - это формальная теория, основным объектом которой служит понятие логического высказывания.

Несмотря на свою важность и широкую сферу применения, логика высказываний является простейшей логикой и имеет очень ограниченные средства для исследования суждений.