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

Знания - формализованная информация, на которую ссылаются или используют в процессе логического вывода. Знания делятся на факты и правила.

Факты - знания типа « А - это А».

Правило - знания вида «если - то ».

Независимость знаний и процедур обработки:

имеет (ваня, машину)

имеет (петя, часы)

имеет(коля, тв)

Запрос: ?- имеет (ваня, Вещь)

Ответ: Вещь - машина