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

UptoLike

150
Конъюнкция целей достижима при Х=bоb и Y^pate, родителем родителя Jhim'a является Bob.
ВОПРОС 8: "Кто внуки Тоm‘a?
?-parent(tom,X),parent(X,Y).
X=bob
Y=anna;
X=bob
Y=pate
Конъюнкция целей достижима при X=bob и Y=anna, при X=bob и Y=pate.
Внуками Tom'a являются Anna и Pate.
ВОПРОС 9: "Есть ли у Anna и Pate общий родитель ?"
?-parent(X,anna),parent(X,pate).
X=bob
Цель достижима при Х=bоb- Общий родитель - Bob.
5. Добавить информацию о том, каков пол людей, участвующих в отношений родитель, с
использованием унарных отношений ЖЕНЩИНА (англ.: woman) и МУЖЧИНА (англ.man):
woman(pame).
woman(lize).
woman(pate).
woman(anna).
man (tom).
man(bob).
man( jhim).
6. Определить отношение МАТЬ (англ.: mother) следующим образом:
mother(X,Y):-parent(X,Y),woman(X).
7. Составить и задать системе вопросы, относящиеся к отношению МАТЬ.
8. Определить рекурсивно отношение ПРЕДОК (predok) следующим образом:
predok(X,Z):-parent(X,Z).
    Конъюнкция целей достижима при Х=bоb и Y^pate, родителем родителя Jhim'a является Bob.


    ВОПРОС 8: "Кто внуки Тоm‘a?
              ?-parent(tom,X),parent(X,Y).
              X=bob
              Y=anna;
              X=bob
      Y=pate
          Конъюнкция целей достижима при X=bob и Y=anna, при X=bob и Y=pate.
     Внуками Tom'a являются Anna и Pate.


    ВОПРОС 9: "Есть ли у Anna и Pate общий родитель ?"
    ?-parent(X,anna),parent(X,pate).
    X=bob
     Цель достижима при Х=bоb- Общий родитель - Bob.
     5.     Добавить информацию о том, каков пол людей, участвующих в отношений родитель, с
использованием унарных отношений ЖЕНЩИНА (англ.: woman) и МУЖЧИНА (англ.man):
              woman(pame).
              woman(lize).
              woman(pate).
              woman(anna).
              man (tom).
              man(bob).
              man( jhim).
     6.      Определить отношение МАТЬ (англ.: mother) следующим образом:
              mother(X,Y):-parent(X,Y),woman(X).
      7.      Составить и задать системе вопросы, относящиеся к отношению МАТЬ.


      8.      Определить рекурсивно отношение ПРЕДОК (predok) следующим образом:
              predok(X,Z):-parent(X,Z).




                                              150