Логику можно также охарактеризовать по ее эпистемологическому вкладу в познание; под этим подразумеваются возможные состояния знаний, которые она позволяет выразить в отношении каждого факта. И в пропозициональной логике, и в логике первого порядка любое высказывание представляет собой факт, и агент либо доверяет утверждению, что это высказывание истинно, либо доверяет утверждению, что оно ложно, либо не имеет мнения на этот счет. Поэтому в таких вариантах логики имеются три возможных состояния знаний, касающихся любого высказывания. С другой стороны, в тех системах, где используется теория вероятностей, может рассматриваться любая степень доверия3, начиная от 0 (полное недоверие) и заканчивая 1 (полное доверие). Например, в вероятностном мире вампуса агент может доверять утверждению о том, что вампус находится в квадрате [1,3], с вероятностью 0,75. Онтологический и эпистемологический вклады пяти различных вариантов логики показаны в табл. 8.1.

Таблица 8.1. Формальные языки и показатели их онтологического и эпистемологического вкладов в познание

В следующем разделе мы приступим к изучению подробных сведений о логике первого порядка. Так же как студенту-физику требуется определенное знакомство с высшей математикой, так и студент, изучающий искусственный интеллект, должен развить у себя способность работать с логическими обозначениями. С другой стороны, важно также не слишком увлекаться изучением специфики отдельной логической системы обозначений, поскольку в конечном итоге количество различных версий таких систем исчисляется десятками. Главное, не упустить из виду то, благодаря чему данный язык обеспечивает формирование кратких представлений и каким образом его семантика приводит к созданию непротиворечивых процедур формирования рассуждений.