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

На основе введенных определений полноты и непротиворечивости логические исчисления можно поделить на следующие группы: полные и непротиворечивые; неполные и непротиворечивые; противоречивые. Наша задача — построение неклассических исчислений, относящихся к первым двум группам. Заметим, что на практике полнота исчисления является желательным, но редко удовлетворяемым фактором. Объясняется это многими причинами, среди которых доминирующими являются следующие две. Размерность задач для конкретных сред (число переменных, констант, предикатов, функций), для которых имеет смысл использовать логические исчисления, как правило, велика. Полное исчисление требует полной аксиоматизации. Это приводит к большому росту числа необходимых аксиом даже для сравнительно простых сред и необходимости обоснования достаточности этих аксиом.