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

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

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

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