Искусственный интеллект

В данном примере использованы так называемые одноместные предикаты, имеющие по одному аргументу. Предикаты могут быть также многоместные (имеют более одного аргумента). В случае одноместного предиката предикатный символ соответствует какому-либо свойству объекта. В случае многоместных предикатов предикатный символ рассматривается либо как некоторое общее свойство объектов, соответствующих аргументам, либо, чаще всего, как отношение, в котором эти объекты находятся, что, впрочем, также является их свойством. Формулы задают отношения между такого типа свойствами, но только с использованием связок. Логика предикатов, как и логика высказываний, необходима для решения задач. Постановка задачи на языке логики предикатов, даже если есть соответствующее описание на естественном языке, далеко не простое дело. Для облегчения этого процесса на основе логики предикатов разрабатываются