В этой главе приведены вводные сведения о логике первого порядка— языке представления, который является гораздо более мощным по сравнению с пропозициональной логикой. Ниже перечислены наиболее важные понятия, представленные в настоящей главе.

•    Языки представления знаний должны быть декларативными, композиционными, выразительными, независимыми от контекста и непротиворечивыми.

•    Различные варианты логики отличаются друг от друга по своему онтологическому вкладу и эпистемологическому вкладу. Пропозициональная логика вносит вклад только в общий объем сведений, касающихся существования фактов, а логика первого порядка позволяет наращивать объем сведений, касающихся существования объектов и отношений, поэтому приобретает значительную выразительную мощь.

•    Возможный мир, или модель, для логики первого порядка определяется множеством объектов, отношениями между ними и функциями, которые могут к ним применяться.

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

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

•    Для разработки базы знаний в логике первого порядка требуется тщательно провести процесс анализа проблемной области, выбора словаря и составления аксиом, необходимых для поддержки желаемых процедур логического вывода.