Компьютерная обработка знаний является одной из областей обработки информации. Традиционная технология обработки информации ориентирована на вычисления, основанные на теории Тьюринга, которая реализована в ЭВМ с архитектурой фон Неймана.
Этот подход основан на концепции последовательной обработки информации во времени, поэтому в таких ЭВМ используются в основном языки процедурного типа, а в качестве операционных механизмов — устройства управления и арифметические устройства. Процессы обработки знаний моделируют такие сферы человеческой деятельности, как рассуждения, систематизация, обучение и т.д. Если попытаться «переложить подобные задачи на плечи компьютеров», последним будет явно недостаточно жесткого набора инструкций в виде программы на процедурном языке программирования, даже если эта программа очень сложная. Адекватное представление знаний требует разработки и применения языков декларативного типа в интеллектуальных системах, а в качестве операционных механизмов — различных способов реализации логического вывода. Очевидно, будущее в этом направлении принадлежит компьютерам с архитектурой, отличной от фон-неймановской. Какими должны быть компьютеры, ориентированные на выполнение интеллектуальных задач, покажут дальнейшие теоретические и практические исследования. В настоящее время эксперименты проводятся в основном на машинах Тьюринга—фон Неймана и на машинах с параллельной обработкой данных.
Характерная черта ИИС, отличающая их от традиционных систем обработки информации, — использование знаний. Выбор способа представления знаний в интеллектуальной системе является ключевым моментом разработки. С точки зрения человека, желательно, чтобы описательные возможности используемой модели были как можно выше. С другой стороны, сложное представление знаний требует специальных способов обработки (усложняется механизм вывода), что не только затрудняет проектирование и реализацию экспертной системы, но может привести к потере достоверности результатов или невозможности их интерпретации. В конечном итоге неизбежен компромисс между важнейшими условиями и требованиями, предъявленными к ИИС на этапе проектирования. Вопросы проектирования и реализации интеллектуальных программных средств — отдельная область исследований, а здесь рассмотрим способы реализации логического вывода в системах с классическими моделями представления знаний.
