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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

159
% Включение правила
assert((mother(X,Y):- parent(X,Y), woman(X)).
Встроенный предикат retract(X) позволяет удалять утверждения из БД. При попытке
выполнить целевое утверждение retract(X) находится первое утверждение в БД, с которым может
быть сопоставима X» и это утверждение удаляется. Пример:
retract (parent(ann, tom)). Встроенный предикат consult используется для добавления
утверждений из некоторого файла к утверждениям, уже имеющимся в БД. Аргумент предиката
должен быть атомом, указывающим имя файла, из которого должны браться утверждения. Примеры:
consult(myfile).
consult('u:dvn/91sii/test1‘).
Предикат reconsult аналогичен предикату consult за исключением того, что
вводимые утверждения заменяют все имеющиеся утвержения для того же самого предиката.
Трансформация формул
Цель работы: ознакомление с основами компьютерной алгебры и символьных вычислений,
изучение способов представления формул на языке Пролог, изучение встроенных предикатов для
создания и декомпозиции термов (предикаты =.., functor, arg).
Порядок выполнения работы
1. Представить заданные формулы (исходную, заменяемую и замещающую) в префиксной
форме.
2. Закодировать формулы в виде термов языка Пролог.
3. Составить программу на языке Пролог для замены одного герма на другой в исходном
терме.
4. Осуществить трансформацию исходной формулы с помощью разработанной
Пролог-программы.
5. Представить полученную в п.4 формулу в инфиксной форме.
Основные сведения
Целевое утверждение X=...L истинно, если L есть список, состоящий из терма X, за
которым следуют аргументы X. Примеры:
?-f(a,b,c)=..Z.
Z=[f,a
(
b,c] 
                % Включение правила
         assert((mother(X,Y):- parent(X,Y), woman(X)).
           Встроенный предикат retract(X) позволяет удалять утверждения из БД. При попытке
выполнить целевое утверждение retract(X) находится первое утверждение в БД, с которым может
быть сопоставима X» и это утверждение удаляется. Пример:
         retract (parent(ann, tom)). Встроенный         предикат    consult   используется для   добавления
утверждений из некоторого файла к утверждениям, уже имеющимся в БД. Аргумент предиката
должен быть атомом, указывающим имя файла, из которого должны браться утверждения. Примеры:
               consult(myfile).
         consult('u:dvn/91sii/test1‘).
           Предикат reconsult аналогичен предикату consult               за исключением того, что
вводимые утверждения заменяют все имеющиеся утвержения для того же самого предиката.


                                           Трансформация формул
      Цель работы: ознакомление с основами компьютерной алгебры и символьных вычислений,
изучение способов представления формул на языке Пролог, изучение встроенных предикатов для
создания и декомпозиции термов (предикаты =.., functor, arg).
                                            Порядок выполнения работы

      1.     Представить заданные формулы (исходную, заменяемую и замещающую) в префиксной
форме.
      2.     Закодировать формулы в виде термов языка Пролог.
      3.     Составить программу на языке Пролог для замены одного герма на другой в исходном
терме.
      4.     Осуществить          трансформацию        исходной    формулы    с   помощью    разработанной
Пролог-программы.
      5.     Представить полученную в п.4 формулу в инфиксной форме.
                                                Основные сведения

Целевое       утверждение         X=...L    истинно,    если   L    есть список, состоящий из терма X, за
которым следуют аргументы X. Примеры:
                ?-f(a,b,c)=..Z.
                Z=[f,a(b,c]




                                                         159

Страницы