Appendix K

Rule-based system: Initial state

 

 

 

 

 

% Metalocutionary rule-based system --  domain initial state

% DGN 10-18-88

 

 

%%%%%

%%%%%  Knowledge: base facts

%%%%%

 

 

cycle(0).                                                                                                                       % Initial value

 

person(adam).                                                                                                % The two conversants

person(barney).

 

conversants(adam,barney).

 

 

% Initial state

%

 

:- recorda(adam,

  state(conversants(adam,barney),0,-1),

  _).

 

:- add(adam,believe(adam,turn(barney),mutually_known_true)).

 

:- add(adam,(act(adam,confirm_mutual(sequence([blank,i,s,u,t,w,r,q,g,l,d,

         blank,blank,blank,blank,g,o])),goal_true))).

 

:- add(adam,believe(adam,sequence([blank,i,s,u,t,w,r,q,g,l,d,blank,

         blank,blank,blank,g,o]),goal_mutually_known_true)).

 

:- add(adam,believe(adam,next_subsequence(subsequence(1,[blank])),true)).

 

:- add(adam,act(barney,give_turn(adam),true)).

 

:- recorda(barney,

  state(conversants(barney,adam),

        0, -1),

  _).

 

:- add(barney,believe(barney,turn(adam),true)).

 

:- add(barney,act(barney,confirm_mutual(sequence([o,blank,s,u,t,w,r,q,

         g,blank,blank,f,w,w,d,g,o])),goal_true)).

 

:- add(barney,believe(barney,sequence([o,blank,s,u,t,w,r,q,g,

        blank,blank,f,w,w,d,g,o]),goal_mutually_known_true)).

 

:- add(barney,believe(barney,next_subsequence(subsequence(1,[o])),true)).