Выдержка из книги
Тейз А.N.
Логический подход к искусственному интеллекту
Однако формулы исчисления предикатов состоят не только из подформул, но также и из термов. Следовательно, необходимо будет интерпретировать также термы. Терм интуитивно означает объект. Таким образом, интерпретация должна специфицировать множество объектов, называемое областью интерпретации.
