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: