Представление и обработка знаний

51 3. ЛОГИЧЕСКИЕ ФОРМЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ Одной из наиболее распространенных форм представления знаний, используемых в системах искусственного интеллекта, яв- ляются языки, построенные на основе логики предикатов первого порядка. Предикатом P ( x 1 , x 2 , ..., x n ), называют функцию P : D n  B , где D – произвольное множество; B – двоичное множество, состоящее из двух элементов 0 и 1, причем ноль интерпретируется как «ложь» (Л), а 1 как «истина» (И). При записи предиката используются символы констант a , b , c , …, переменных x , y , z , …, функциональные символы f , g , h , …, и предикатные символы P , Q , R , …. Указанные символы можно индексировать. Определим понятие терма: 1. Константа есть терм. 2. Переменная есть терм. 3. Если f есть n – местный функциональный символ и t 1 , t 2 ,… …, t n – термы, то f ( t 1 , t 2 , …, t n ) – терм. 4. Никаких других термов нет. Тогда, если P есть n – местный предикатный символ и t 1 , t 2 ,… … , t n – термы, то P ( t 1 , t 2 , …, t n ) – атом.