Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 30 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

30
Эта функция сопоставляет каждой n -местной функциональной константе f функцию F
Отметим, что существует много эрбрановых интерпретаций, так как интерпретация
предикатных констант, как, а интерпретации переменных, могут быть выбраны произвольно.
Пример. Найти эрбранову область для клаузальной формы Р( f(x), где f - функциональная
константа.
Решение {С, F(С), F (F(С)),}
Пример: найти эрбранову область для клаузальной формы
Решение. {C}.
Подстановка и конкретизация
Подстановка σ есть отображение множества переменных V в множество термов Т , σ :
V→T . Подстановка задается множеством таких пар (x , σ (x )), что σ(x)=x . Пусть t - терм и σ -
подстановка. Терм σ[t] получается одновременной заменой всех вхождений переменных x в t на
их образы относительно σ (x).
Пример.
Заданы подстановка и исходный терм .
Найти терм σ [t] .
Решение:
Терм t
2
называется конкретизацией терма t
1
, если существует подстановка σ , такая, что
t
2
=[t
1
]. Множество переменных терма t обозначается через var(t). Терм t считается вполне
конкретизированным, если var(t)=0. Отношение "является конкретизацией" в обозначается
символом < , а также вводится отношение, обозначаемое как . Считается, что t
1
~ t
2
, если
существует биективное соответствие f между var(t
1
) и var(t
2
) , такое, что t
2
получается
одновременной заменой всех вхождений переменной x на f(x).
Отношение ~ является отношением эквивалентности. На фактор – множестве Т/ множества
термов по этому отношению эквивалентности отношение < становится отношением частичного
порядка.
Пример. Задано множество термов, состоящее из двух элементов T={t
1
,t
2
} , где t
1
=h(x,f(a),g(y));
t
2
=h(y,z,g(b))
)(&))(v)(( xQxQxP
))},(,()),(),{( zxgyxfxQ
))),((),(( yzfgxfgt
))),(),()),(((σ zxgfzgxffg(t)
    Эта функция сопоставляет каждой n -местной функциональной константе f функцию F
       Отметим, что существует много эрбрановых интерпретаций, так как интерпретация
предикатных констант, как, а интерпретации переменных, могут быть выбраны произвольно.
       Пример. Найти эрбранову область для клаузальной формы Р( f(x), где f - функциональная
константа.
       Решение {С, F(С), F (F(С)),}
       Пример: найти эрбранову область для клаузальной формы
( P( x)vQ( x)) & Q( x)
       Решение. {C}.


                                        Подстановка и конкретизация
       Подстановка σ есть отображение множества переменных V в множество термов Т , σ :
V→T . Подстановка задается множеством таких пар (x , σ (x )), что σ(x)=x . Пусть t - терм и σ -
подстановка. Терм σ[t] получается одновременной заменой всех вхождений переменных x в t на
их образы относительно σ (x).
Пример.

       Заданы подстановка Q{( x), f ( x)), ( y, g ( x, z ))} и исходный терм t   g ( f ( x), g ( f ( z ), y )) .

Найти терм σ [t] .

       Решение: σ(t) g ( f ( f ( x)), g ( fz ), g ( x, z )))
       Терм t2 называется конкретизацией терма t1 , если существует подстановка σ , такая, что
t2=[t1]. Множество переменных терма t обозначается через var(t). Терм t считается вполне
конкретизированным, если var(t)=0. Отношение "является конкретизацией" в обозначается
символом < , а также вводится отношение, обозначаемое как            . Считается, что t1 ~ t2 , если
существует биективное соответствие f между var(t1) и var(t2) , такое, что t2 получается
одновременной заменой всех вхождений переменной x на f(x).
Отношение ~ является отношением эквивалентности. На фактор – множестве Т/ множества
термов по этому отношению эквивалентности отношение < становится отношением частичного
порядка.
Пример. Задано множество термов, состоящее из двух элементов T={t1,t2} , где t1=h(x,f(a),g(y));
t2=h(y,z,g(b))




                                                           30

Страницы