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

54 Окончание табл. 3.2 № п/п Закон 5 ~((  x ) F [ x ]) = (  x ) (~ F [ x ]) 6 ~((  x ) F [ x ]) = (  x ) (~ F [ x ]) 7 (  x ) F [ x ]  (  x ) G [ x ] = (  x ) ( F [ x ]  G [ x ]) 8 (  x ) F [ x ]  (  x ) G [ x ]= (  x )( F [ x ]  G [ x ]) 9 (  x )(  y ) F [ x , y ] = (  y )(  x ) F [ x , y ] 10 (  x )(  y ) F [ x , y ] = (  y )(  x ) F [ x , y ] 3.1. Использование предикатов первого порядка для представления знаний Модель знаний при использовании предикатов первого по- рядка может быть представлена с помощью истинного логического выражения: N = F 1 & F 2 & … F j & …F n , где F j – логическая формула ( j = 1, n ). Логическая формула F j имеет вид: ( Q 1 j x 1 )( Q 2 j x 2 )…( Q mj x m ) M j , ( Q ij x i ) – есть (  х i ) или (  х i ), i = 1, 2, …, m ; M j – формула, которая не содержит кванторов и в которой все переменные связанные, ( j = 1, n ). Формула такого вида называется формулой в предваренной нормальной форме. Последовательность: ( Q 1 j x 1 )( Q 2 j x 2 )…( Q mj x m ) называется префиксом, M j – матрицей формулы F j в предваренной нормальной форме. Матрица M j может быть представлена в различных формах:  с использованием импликаций: M j = B j 1 & B j 2 & … & B j m 1   A j 1  A j 2  …  A j n 1 , где B j 1 & B j 2 & … & B jm 1 – условие вывода (посылка), A j 1  A j 2  …  A jn 1 – заключение;