Appendix E

Short trace of simulated conversation

 

 

 

adam's acts for cycle 1:

  goal_request_next_subsequence --

  acknowledge_my_turn --

      act(adam,acknowledge_turn(turn(adam),mutually_known_true),true)

 

barney's acts for cycle 1:

  goal_confirm_next_subsequence --

 

adam's acts for cycle 2:

  do_request --

      act(adam,request(act(barney,assert(subsequence(1,[blank]),adam),goal_true),barney),true)

  give_turn_3 --

      act(adam,give_turn(barney),mutually_known_true)

 

barney's acts for cycle 2:

  goal_confirm_next_letter_1 --

  others_turn_acknowledged --

 

adam's acts for cycle 3:

 

barney's acts for cycle 3:

  goal_assert_next_subsequence_2 --

  recognize_my_turn_1 --

 

adam's acts for cycle 4:

 

barney's acts for cycle 4:

  do_assert --

      act(barney,assert(believe(barney,subsequence(1,[o]),true),adam),true)

 

adam's acts for cycle 5:

 

barney's acts for cycle 5:

  asserted_next_subsequence --

 

adam's acts for cycle 6:

 

barney's acts for cycle 6:

  goal_request_next_subsequence --

 

adam's acts for cycle 7:

 

barney's acts for cycle 7:

  do_request --

      act(barney,request(act(adam,assert(subsequence(2,[blank]),barney),goal_true),adam),true)

  give_turn_3 --

      act(barney,give_turn(adam),mutually_known_true)

 

adam's acts for cycle 8:

  goal_assert_next_subsequence_1 --

  recognize_my_turn_1 --

 

barney's acts for cycle 8:

 

adam's acts for cycle 9:

  do_assert --

      act(adam,assert(believe(adam,subsequence(2,[i,s,u,t,w]),true),barney),true)

  request_turn --

      act(adam,request_turn,true)

 

barney's acts for cycle 9:

 

adam's acts for cycle 10:

  asserted_next_subsequence --

 

barney's acts for cycle 10:

  informed_of_next_subsequence_by_other --

  assertion_received_1 --

 

adam's acts for cycle 11:

  goal_confirm_next_subsequence --

 

barney's acts for cycle 11:

  goal_confirm_next_subsequence --

 

adam's acts for cycle 12:

  goal_confirm_next_letter_1 --

 

barney's acts for cycle 12:

  goal_confirm_next_letter_1 --

 

adam's acts for cycle 13:

  do_assert --

      act(adam,assert(next_letter(letter(1,r)),barney),true)

 

barney's acts for cycle 13:

  goal_confirm_next_letter_1 --

  request_turn --

      act(barney,request_turn,true)

 

adam's acts for cycle 14:

  give_turn_2 --

      act(adam,give_turn(barney),true)

 

barney's acts for cycle 14:

  regain_turn --

      act(barney,hold_turn,mutually_known_true)

 

adam's acts for cycle 15:

 

barney's acts for cycle 15:

  acknowledge_my_turn --

      act(barney,acknowledge_turn(turn(barney),mutually_known_true),true)

 

adam's acts for cycle 16:

 

barney's acts for cycle 16:

  do_assert --

      act(barney,assert(next_letter(letter(1,o)),adam),true)

 

adam's acts for cycle 17:

 

barney's acts for cycle 17:

  do_assert --

      act(barney,assert(next_letter(letter(1,s)),adam),true)

  give_turn_2 --

      act(barney,give_turn(adam),true)

 

adam's acts for cycle 18:

  acknowledge_my_turn --

      act(adam,acknowledge_turn(turn(adam),mutually_known_true),true)

 

barney's acts for cycle 18:

 

adam's acts for cycle 19:

 

barney's acts for cycle 19: