Loaded layout 'wumpus_4x4_2.lay' HybridWumpusAgent.register_environment() HybridWumpusAgent.reset() HWA.create_wumpus_KB(): adding initial wumpus axioms total number of axioms=38 total number of clauses=305 >>> time elapsed: 0.010582334000000013 Scores: =0 0 1 2 3 4 5 time_step=0 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | W | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | ^ | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 0 HWA.make_percept_sentence(): ~Stench0 & ~Breeze0 & ~Glitter0 & ~Bump0 & ~Scream0 HWA.agent_program(): kb.tell(percept_sentence): ~Stench0 & ~Breeze0 & ~Glitter0 & ~Bump0 & ~Scream0 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 1) >>> time elapsed while making current location queries: 0.351831195 HWA.infer_and_set_belief_heading() Current inferred heading: north >>> time elapsed while making belief heading queries:0.021844275000000024 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 310 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 641 Total clauses added to KB: 331 HWA.agent_program(): No current plan, find one... HWA.find_OK_locations() Ask if Wumpus is Alive: Is Wumpus Alive? : True >>> time elapsed while making OK location queries: 0.753002713 Find OK locations queries 0 1 2 3 4 5 time_step=0 |--------------|--------------|--------------|--------------|--------------|--------------| | # | # | # | # | # | # | 5 |--------------|--------------|--------------|--------------|--------------|--------------| | # | OK1_4_0=? | OK2_4_0=? | OK3_4_0=? | OK4_4_0=? | # | 4 |--------------|--------------|--------------|--------------|--------------|--------------| | # | OK1_3_0=? | OK2_3_0=? | OK3_3_0=? | OK4_3_0=? | # | 3 |--------------|--------------|--------------|--------------|--------------|--------------| | # | OK1_2_0=True | OK2_2_0=? | OK3_2_0=? | OK4_2_0=? | # | 2 |--------------|--------------|--------------|--------------|--------------|--------------| | # | OK1_1_0=True | OK2_1_0=True | OK3_1_0=? | OK4_1_0=? | # | 1 |--------------|--------------|--------------|--------------|--------------|--------------| | # | # | # | # | # | # | 0 |--------------|--------------|--------------|--------------|--------------|--------------| HWA.agent_program(): Plan to visit safe square... HWA.update_unvisited_locations() >>> time elapsed while making unvisited locations queries: 0.463155615 Safe univisited locations: 0 1 2 3 4 5 time_step=0 |----------|----------|----------|----------|----------|----------| | # | # | # | # | # | # | 5 |----------|----------|----------|----------|----------|----------| | # | | | | | # | 4 |----------|----------|----------|----------|----------|----------| | # | | | | | # | 3 |----------|----------|----------|----------|----------|----------| | # | L1_2_0=T | | | | # | 2 |----------|----------|----------|----------|----------|----------| | # | | L2_1_0=T | | | # | 1 |----------|----------|----------|----------|----------|----------| | # | # | # | # | # | # | 0 |----------|----------|----------|----------|----------|----------| >>> time elapsed while executing plan_route(): 0.00011645599999998701 HWA.agent_program(): Plan: ['Forward'] HWA.agent_program(): Action: Forward Current Wumpus Environment: Scores: =-1 0 1 2 3 4 5 time_step=1 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | W | G | P | | # | 3 |---|---|---|---|---|---| | # | ^ | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 1 HWA.make_percept_sentence(): Stench1 & Breeze1 & ~Glitter1 & ~Bump1 & ~Scream1 HWA.agent_program(): kb.tell(percept_sentence): Stench1 & Breeze1 & ~Glitter1 & ~Bump1 & ~Scream1 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 2) >>> time elapsed while making current location queries: 0.7331960080000002 HWA.infer_and_set_belief_heading() Current inferred heading: north >>> time elapsed while making belief heading queries:0.0451352009999999 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 647 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 1015 Total clauses added to KB: 368 HWA.agent_program(): No current plan, find one... HWA.find_OK_locations() Ask if Wumpus is Alive: Is Wumpus Alive? : True >>> time elapsed while making OK location queries: 0.9365374640000002 Find OK locations queries 0 1 2 3 4 5 time_step=1 |--------------|--------------|--------------|--------------|--------------|--------------| | # | # | # | # | # | # | 5 |--------------|--------------|--------------|--------------|--------------|--------------| | # | OK1_4_1=? | OK2_4_1=? | OK3_4_1=? | OK4_4_1=? | # | 4 |--------------|--------------|--------------|--------------|--------------|--------------| | # | OK1_3_1=? | OK2_3_1=? | OK3_3_1=? | OK4_3_1=? | # | 3 |--------------|--------------|--------------|--------------|--------------|--------------| | # | OK1_2_1=True | OK2_2_1=? | OK3_2_1=? | OK4_2_1=? | # | 2 |--------------|--------------|--------------|--------------|--------------|--------------| | # | OK1_1_1=True | OK2_1_1=True | OK3_1_1=? | OK4_1_1=? | # | 1 |--------------|--------------|--------------|--------------|--------------|--------------| | # | # | # | # | # | # | 0 |--------------|--------------|--------------|--------------|--------------|--------------| HWA.agent_program(): Plan to visit safe square... HWA.update_unvisited_locations() >>> time elapsed while making unvisited locations queries: 0.817711337 Safe univisited locations: 0 1 2 3 4 5 time_step=1 |----------|----------|----------|----------|----------|----------| | # | # | # | # | # | # | 5 |----------|----------|----------|----------|----------|----------| | # | | | | | # | 4 |----------|----------|----------|----------|----------|----------| | # | | | | | # | 3 |----------|----------|----------|----------|----------|----------| | # | | | | | # | 2 |----------|----------|----------|----------|----------|----------| | # | | L2_1_1=T | | | # | 1 |----------|----------|----------|----------|----------|----------| | # | # | # | # | # | # | 0 |----------|----------|----------|----------|----------|----------| >>> time elapsed while executing plan_route(): 0.0001864899999999281 HWA.agent_program(): Plan: ['TurnRight', 'TurnRight', 'Forward', 'TurnLeft', 'Forward'] HWA.agent_program(): Action: TurnRight Current Wumpus Environment: Scores: =-2 0 1 2 3 4 5 time_step=2 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | W | G | P | | # | 3 |---|---|---|---|---|---| | # | > | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 2 HWA.make_percept_sentence(): Stench2 & Breeze2 & ~Glitter2 & ~Bump2 & ~Scream2 HWA.agent_program(): kb.tell(percept_sentence): Stench2 & Breeze2 & ~Glitter2 & ~Bump2 & ~Scream2 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 2) >>> time elapsed while making current location queries: 0.9585024939999993 HWA.infer_and_set_belief_heading() Current inferred heading: east >>> time elapsed while making belief heading queries:0.23977327500000012 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 1021 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 1498 Total clauses added to KB: 477 HWA.agent_program(): Already have plan (with 4 actions left), continue executing... HWA.agent_program(): Plan: ['TurnRight', 'Forward', 'TurnLeft', 'Forward'] HWA.agent_program(): Action: TurnRight Current Wumpus Environment: Scores: =-3 0 1 2 3 4 5 time_step=3 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | W | G | P | | # | 3 |---|---|---|---|---|---| | # | v | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 3 HWA.make_percept_sentence(): Stench3 & Breeze3 & ~Glitter3 & ~Bump3 & ~Scream3 HWA.agent_program(): kb.tell(percept_sentence): Stench3 & Breeze3 & ~Glitter3 & ~Bump3 & ~Scream3 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 2) >>> time elapsed while making current location queries: 1.241609092 HWA.infer_and_set_belief_heading() Current inferred heading: south >>> time elapsed while making belief heading queries:0.24607451000000058 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 1504 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 1835 Total clauses added to KB: 331 HWA.agent_program(): Already have plan (with 3 actions left), continue executing... HWA.agent_program(): Plan: ['Forward', 'TurnLeft', 'Forward'] HWA.agent_program(): Action: Forward Current Wumpus Environment: Scores: =-4 0 1 2 3 4 5 time_step=4 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | W | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | v | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 4 HWA.make_percept_sentence(): ~Stench4 & ~Breeze4 & ~Glitter4 & ~Bump4 & ~Scream4 HWA.agent_program(): kb.tell(percept_sentence): ~Stench4 & ~Breeze4 & ~Glitter4 & ~Bump4 & ~Scream4 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 1) >>> time elapsed while making current location queries: 1.5698520719999998 HWA.infer_and_set_belief_heading() Current inferred heading: south >>> time elapsed while making belief heading queries:0.29806358200000105 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 1841 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 1 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 60 Number of clauses in KB after: 2112 Total clauses added to KB: 271 HWA.agent_program(): Already have plan (with 2 actions left), continue executing... HWA.agent_program(): Plan: ['TurnLeft', 'Forward'] HWA.agent_program(): Action: TurnLeft Current Wumpus Environment: Scores: =-5 0 1 2 3 4 5 time_step=5 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | W | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | > | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 5 HWA.make_percept_sentence(): ~Stench5 & ~Breeze5 & ~Glitter5 & ~Bump5 & ~Scream5 HWA.agent_program(): kb.tell(percept_sentence): ~Stench5 & ~Breeze5 & ~Glitter5 & ~Bump5 & ~Scream5 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 1) >>> time elapsed while making current location queries: 1.7212741630000004 HWA.infer_and_set_belief_heading() Current inferred heading: east >>> time elapsed while making belief heading queries:0.4046735290000001 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 2118 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 2449 Total clauses added to KB: 331 HWA.agent_program(): Already have plan (with 1 actions left), continue executing... HWA.agent_program(): Plan: ['Forward'] HWA.agent_program(): Action: Forward Current Wumpus Environment: Scores: =-6 0 1 2 3 4 5 time_step=6 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | W | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | | > | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 6 HWA.make_percept_sentence(): ~Stench6 & Breeze6 & ~Glitter6 & ~Bump6 & ~Scream6 HWA.agent_program(): kb.tell(percept_sentence): ~Stench6 & Breeze6 & ~Glitter6 & ~Bump6 & ~Scream6 HWA.infer_and_set_belief_location() Current believed location (inferred): (2, 1) >>> time elapsed while making current location queries: 1.9285226979999983 HWA.infer_and_set_belief_heading() Current inferred heading: east >>> time elapsed while making belief heading queries:0.44163151100000064 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 2455 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 2823 Total clauses added to KB: 368 HWA.agent_program(): No current plan, find one... HWA.find_OK_locations() Ask if Wumpus is Alive: Is Wumpus Alive? : True >>> time elapsed while making OK location queries: 2.104396944000001 Find OK locations queries 0 1 2 3 4 5 time_step=6 |---------------|---------------|---------------|---------------|---------------|---------------| | # | # | # | # | # | # | 5 |---------------|---------------|---------------|---------------|---------------|---------------| | # | OK1_4_6=? | OK2_4_6=? | OK3_4_6=? | OK4_4_6=? | # | 4 |---------------|---------------|---------------|---------------|---------------|---------------| | # | OK1_3_6=False | OK2_3_6=? | OK3_3_6=? | OK4_3_6=? | # | 3 |---------------|---------------|---------------|---------------|---------------|---------------| | # | OK1_2_6=True | OK2_2_6=? | OK3_2_6=? | OK4_2_6=? | # | 2 |---------------|---------------|---------------|---------------|---------------|---------------| | # | OK1_1_6=True | OK2_1_6=True | OK3_1_6=? | OK4_1_6=? | # | 1 |---------------|---------------|---------------|---------------|---------------|---------------| | # | # | # | # | # | # | 0 |---------------|---------------|---------------|---------------|---------------|---------------| HWA.agent_program(): Plan to visit safe square... HWA.update_unvisited_locations() >>> time elapsed while making unvisited locations queries: 1.8686750120000006 Safe univisited locations: 0 1 2 3 4 5 time_step=6 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | | | | | # | 3 |---|---|---|---|---|---| | # | | | | | # | 2 |---|---|---|---|---|---| | # | | | | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| >>> NO ROUTE FOUND >>> time elapsed while executing plan_route(): 1.4051999997377607e-05 HWA.agent_program(): Plan to shoot wumpus... HWA.find_possible_wumpus_locations() >>> time elapsed while making possible wumpus location queries: 2.198802798999999 Possible Wumpus Location queries 0 1 2 3 4 5 time_step=6 |------------|------------|------------|------------|------------|------------| | # | # | # | # | # | # | 5 |------------|------------|------------|------------|------------|------------| | # | W1_4=False | W2_4=False | W3_4=False | W4_4=False | # | 4 |------------|------------|------------|------------|------------|------------| | # | W1_3=True | W2_3=False | W3_3=False | W4_3=False | # | 3 |------------|------------|------------|------------|------------|------------| | # | W1_2=False | W2_2=False | W3_2=False | W4_2=False | # | 2 |------------|------------|------------|------------|------------|------------| | # | W1_1=False | W2_1=False | W3_1=False | W4_1=False | # | 1 |------------|------------|------------|------------|------------|------------| | # | # | # | # | # | # | 0 |------------|------------|------------|------------|------------|------------| Possible locations: [(1, 3)] >>> time elapsed while executing plan_shot(): 0.00021610800000004815 HWA.agent_program(): Plan: ['TurnLeft', 'TurnLeft', 'Forward', 'TurnRight', 'Shoot', 'Wait'] HWA.agent_program(): Action: TurnLeft Current Wumpus Environment: Scores: =-7 0 1 2 3 4 5 time_step=7 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | W | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | | ^ | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 7 HWA.make_percept_sentence(): ~Stench7 & Breeze7 & ~Glitter7 & ~Bump7 & ~Scream7 HWA.agent_program(): kb.tell(percept_sentence): ~Stench7 & Breeze7 & ~Glitter7 & ~Bump7 & ~Scream7 HWA.infer_and_set_belief_location() Current believed location (inferred): (2, 1) >>> time elapsed while making current location queries: 2.01165456 HWA.infer_and_set_belief_heading() Current inferred heading: north >>> time elapsed while making belief heading queries:0.1247493740000003 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 2829 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 3306 Total clauses added to KB: 477 HWA.agent_program(): Already have plan (with 5 actions left), continue executing... HWA.agent_program(): Plan: ['TurnLeft', 'Forward', 'TurnRight', 'Shoot', 'Wait'] HWA.agent_program(): Action: TurnLeft Current Wumpus Environment: Scores: =-8 0 1 2 3 4 5 time_step=8 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | W | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | | < | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 8 HWA.make_percept_sentence(): ~Stench8 & Breeze8 & ~Glitter8 & ~Bump8 & ~Scream8 HWA.agent_program(): kb.tell(percept_sentence): ~Stench8 & Breeze8 & ~Glitter8 & ~Bump8 & ~Scream8 HWA.infer_and_set_belief_location() Current believed location (inferred): (2, 1) >>> time elapsed while making current location queries: 2.3986041239999984 HWA.infer_and_set_belief_heading() Current inferred heading: west >>> time elapsed while making belief heading queries:0.29285952200000054 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 3312 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 3643 Total clauses added to KB: 331 HWA.agent_program(): Already have plan (with 4 actions left), continue executing... HWA.agent_program(): Plan: ['Forward', 'TurnRight', 'Shoot', 'Wait'] HWA.agent_program(): Action: Forward Current Wumpus Environment: Scores: =-9 0 1 2 3 4 5 time_step=9 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | W | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | < | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 9 HWA.make_percept_sentence(): ~Stench9 & ~Breeze9 & ~Glitter9 & ~Bump9 & ~Scream9 HWA.agent_program(): kb.tell(percept_sentence): ~Stench9 & ~Breeze9 & ~Glitter9 & ~Bump9 & ~Scream9 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 1) >>> time elapsed while making current location queries: 2.7517700159999983 HWA.infer_and_set_belief_heading() Current inferred heading: west >>> time elapsed while making belief heading queries:0.32402721100000065 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 3649 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 1 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 60 Number of clauses in KB after: 3920 Total clauses added to KB: 271 HWA.agent_program(): Already have plan (with 3 actions left), continue executing... HWA.agent_program(): Plan: ['TurnRight', 'Shoot', 'Wait'] HWA.agent_program(): Action: TurnRight Current Wumpus Environment: Scores: =-10 0 1 2 3 4 5 time_step=10 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | W | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | ^ | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 10 HWA.make_percept_sentence(): ~Stench10 & ~Breeze10 & ~Glitter10 & ~Bump10 & ~Scream10 HWA.agent_program(): kb.tell(percept_sentence): ~Stench10 & ~Breeze10 & ~Glitter10 & ~Bump10 & ~Scream10 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 1) >>> time elapsed while making current location queries: 2.939187540999999 HWA.infer_and_set_belief_heading() Current inferred heading: north >>> time elapsed while making belief heading queries:0.16556072100000208 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 3926 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 4257 Total clauses added to KB: 331 HWA.agent_program(): Already have plan (with 2 actions left), continue executing... HWA.agent_program(): Plan: ['Shoot', 'Wait'] HWA.agent_program(): Action: Shoot Current Wumpus Environment: Scores: =-21 0 1 2 3 4 5 time_step=11 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | X | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | ^ | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 11 HWA.make_percept_sentence(): ~Stench11 & ~Breeze11 & ~Glitter11 & ~Bump11 & Scream11 HWA.agent_program(): kb.tell(percept_sentence): ~Stench11 & ~Breeze11 & ~Glitter11 & ~Bump11 & Scream11 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 1) >>> time elapsed while making current location queries: 2.8913738670000058 HWA.infer_and_set_belief_heading() Current inferred heading: north >>> time elapsed while making belief heading queries:0.18142047300000286 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 4263 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 4594 Total clauses added to KB: 331 HWA.agent_program(): Already have plan (with 1 actions left), continue executing... HWA.agent_program(): Plan: ['Wait'] HWA.agent_program(): Action: Wait Current Wumpus Environment: Scores: =-22 0 1 2 3 4 5 time_step=12 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | X | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | ^ | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 12 HWA.make_percept_sentence(): ~Stench12 & ~Breeze12 & ~Glitter12 & ~Bump12 & ~Scream12 HWA.agent_program(): kb.tell(percept_sentence): ~Stench12 & ~Breeze12 & ~Glitter12 & ~Bump12 & ~Scream12 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 1) >>> time elapsed while making current location queries: 3.3056615089999966 HWA.infer_and_set_belief_heading() Current inferred heading: north >>> time elapsed while making belief heading queries:0.2241264290000018 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 4600 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 4931 Total clauses added to KB: 331 HWA.agent_program(): No current plan, find one... HWA.find_OK_locations() Ask if Wumpus is Alive: Is Wumpus Alive? : False >>> time elapsed while making OK location queries: 3.3097684560000005 Find OK locations queries 0 1 2 3 4 5 time_step=12 |---------------|---------------|---------------|---------------|---------------|---------------| | # | # | # | # | # | # | 5 |---------------|---------------|---------------|---------------|---------------|---------------| | # | OK1_4_12=? | OK2_4_12=? | OK3_4_12=? | OK4_4_12=? | # | 4 |---------------|---------------|---------------|---------------|---------------|---------------| | # | OK1_3_12=? | OK2_3_12=? | OK3_3_12=? | OK4_3_12=? | # | 3 |---------------|---------------|---------------|---------------|---------------|---------------| | # | OK1_2_12=True | OK2_2_12=? | OK3_2_12=? | OK4_2_12=? | # | 2 |---------------|---------------|---------------|---------------|---------------|---------------| | # | OK1_1_12=True | OK2_1_12=True | OK3_1_12=? | OK4_1_12=? | # | 1 |---------------|---------------|---------------|---------------|---------------|---------------| | # | # | # | # | # | # | 0 |---------------|---------------|---------------|---------------|---------------|---------------| HWA.agent_program(): Plan to visit safe square... HWA.update_unvisited_locations() >>> time elapsed while making unvisited locations queries: 3.1797514390000003 Safe univisited locations: 0 1 2 3 4 5 time_step=12 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | | | | | # | 3 |---|---|---|---|---|---| | # | | | | | # | 2 |---|---|---|---|---|---| | # | | | | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| >>> NO ROUTE FOUND >>> time elapsed while executing plan_route(): 1.305900000403426e-05 HWA.agent_program(): No safe choice, take risk... HWA.find_not_unsafe_locations() >>> time elapsed while making not unsafe location queries: 3.326801790999994 Not Unsafe Location queries 0 1 2 3 4 5 time_step=12 |------------|------------|------------|------------|------------|------------| | # | # | # | # | # | # | 5 |------------|------------|------------|------------|------------|------------| | # | OK1_4_12=? | OK2_4_12=? | OK3_4_12=? | OK4_4_12=? | # | 4 |------------|------------|------------|------------|------------|------------| | # | OK1_3_12=? | OK2_3_12=? | OK3_3_12=? | OK4_3_12=? | # | 3 |------------|------------|------------|------------|------------|------------| | # | OK1_2_12=T | OK2_2_12=? | OK3_2_12=? | OK4_2_12=? | # | 2 |------------|------------|------------|------------|------------|------------| | # | OK1_1_12=T | OK2_1_12=T | OK3_1_12=? | OK4_1_12=? | # | 1 |------------|------------|------------|------------|------------|------------| | # | # | # | # | # | # | 0 |------------|------------|------------|------------|------------|------------| >>> time elapsed while executing plan_route(): 0.00021790599999604865 HWA.agent_program(): Plan: ['Forward', 'Forward'] HWA.agent_program(): Action: Forward Current Wumpus Environment: Scores: =-23 0 1 2 3 4 5 time_step=13 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | X | G | P | | # | 3 |---|---|---|---|---|---| | # | ^ | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 13 HWA.make_percept_sentence(): Stench13 & Breeze13 & ~Glitter13 & ~Bump13 & ~Scream13 HWA.agent_program(): kb.tell(percept_sentence): Stench13 & Breeze13 & ~Glitter13 & ~Bump13 & ~Scream13 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 2) >>> time elapsed while making current location queries: 3.557673904000005 HWA.infer_and_set_belief_heading() Current inferred heading: north >>> time elapsed while making belief heading queries:0.20299310300000428 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 4937 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 5305 Total clauses added to KB: 368 HWA.agent_program(): Already have plan (with 1 actions left), continue executing... HWA.agent_program(): Plan: ['Forward'] HWA.agent_program(): Action: Forward Current Wumpus Environment: Scores: =-24 0 1 2 3 4 5 time_step=14 |----|----|----|----|----|----| | # | # | # | # | # | # | 5 |----|----|----|----|----|----| | # | | | | | # | 4 |----|----|----|----|----|----| | # | ^X | G | P | | # | 3 |----|----|----|----|----|----| | # | | P | | | # | 2 |----|----|----|----|----|----| | # | | | P | | # | 1 |----|----|----|----|----|----| | # | # | # | # | # | # | 0 |----|----|----|----|----|----| HWA.agent_program(): at time 14 HWA.make_percept_sentence(): Stench14 & ~Breeze14 & ~Glitter14 & ~Bump14 & ~Scream14 HWA.agent_program(): kb.tell(percept_sentence): Stench14 & ~Breeze14 & ~Glitter14 & ~Bump14 & ~Scream14 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 3) >>> time elapsed while making current location queries: 3.5393774399999955 HWA.infer_and_set_belief_heading() Current inferred heading: north >>> time elapsed while making belief heading queries:0.21501903200000072 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 5311 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 5642 Total clauses added to KB: 331 HWA.agent_program(): No current plan, find one... HWA.find_OK_locations() Ask if Wumpus is Alive: Is Wumpus Alive? : False >>> time elapsed while making OK location queries: 3.730668639000001 Find OK locations queries 0 1 2 3 4 5 time_step=14 |----------------|----------------|----------------|----------------|----------------|----------------| | # | # | # | # | # | # | 5 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_4_14=True | OK2_4_14=? | OK3_4_14=? | OK4_4_14=? | # | 4 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_3_14=True | OK2_3_14=True | OK3_3_14=? | OK4_3_14=? | # | 3 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_2_14=True | OK2_2_14=False | OK3_2_14=? | OK4_2_14=? | # | 2 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_1_14=True | OK2_1_14=True | OK3_1_14=? | OK4_1_14=? | # | 1 |----------------|----------------|----------------|----------------|----------------|----------------| | # | # | # | # | # | # | 0 |----------------|----------------|----------------|----------------|----------------|----------------| HWA.agent_program(): Plan to visit safe square... HWA.update_unvisited_locations() >>> time elapsed while making unvisited locations queries: 2.7797386200000105 Safe univisited locations: 0 1 2 3 4 5 time_step=14 |-----------|-----------|-----------|-----------|-----------|-----------| | # | # | # | # | # | # | 5 |-----------|-----------|-----------|-----------|-----------|-----------| | # | L1_4_14=T | | | | # | 4 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | L2_3_14=T | | | # | 3 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | | | | # | 2 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | | | | # | 1 |-----------|-----------|-----------|-----------|-----------|-----------| | # | # | # | # | # | # | 0 |-----------|-----------|-----------|-----------|-----------|-----------| >>> time elapsed while executing plan_route(): 0.0001029179999960661 HWA.agent_program(): Plan: ['Forward'] HWA.agent_program(): Action: Forward Current Wumpus Environment: Scores: =-25 0 1 2 3 4 5 time_step=15 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | ^ | | | | # | 4 |---|---|---|---|---|---| | # | X | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 15 HWA.make_percept_sentence(): Stench15 & ~Breeze15 & ~Glitter15 & ~Bump15 & ~Scream15 HWA.agent_program(): kb.tell(percept_sentence): Stench15 & ~Breeze15 & ~Glitter15 & ~Bump15 & ~Scream15 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 4) >>> time elapsed while making current location queries: 3.975143598999992 HWA.infer_and_set_belief_heading() Current inferred heading: north >>> time elapsed while making belief heading queries:0.29980802199999346 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 5648 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 1 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 60 Number of clauses in KB after: 5919 Total clauses added to KB: 271 HWA.agent_program(): No current plan, find one... HWA.find_OK_locations() Ask if Wumpus is Alive: Is Wumpus Alive? : False >>> time elapsed while making OK location queries: 3.9361776069999905 Find OK locations queries 0 1 2 3 4 5 time_step=15 |----------------|----------------|----------------|----------------|----------------|----------------| | # | # | # | # | # | # | 5 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_4_15=True | OK2_4_15=True | OK3_4_15=? | OK4_4_15=? | # | 4 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_3_15=True | OK2_3_15=True | OK3_3_15=? | OK4_3_15=? | # | 3 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_2_15=True | OK2_2_15=False | OK3_2_15=? | OK4_2_15=? | # | 2 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_1_15=True | OK2_1_15=True | OK3_1_15=? | OK4_1_15=? | # | 1 |----------------|----------------|----------------|----------------|----------------|----------------| | # | # | # | # | # | # | 0 |----------------|----------------|----------------|----------------|----------------|----------------| HWA.agent_program(): Plan to visit safe square... HWA.update_unvisited_locations() >>> time elapsed while making unvisited locations queries: 2.622739601999996 Safe univisited locations: 0 1 2 3 4 5 time_step=15 |-----------|-----------|-----------|-----------|-----------|-----------| | # | # | # | # | # | # | 5 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | L2_4_15=T | | | # | 4 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | L2_3_15=T | | | # | 3 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | | | | # | 2 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | | | | # | 1 |-----------|-----------|-----------|-----------|-----------|-----------| | # | # | # | # | # | # | 0 |-----------|-----------|-----------|-----------|-----------|-----------| >>> time elapsed while executing plan_route(): 0.00012191999999799918 HWA.agent_program(): Plan: ['TurnRight', 'Forward'] HWA.agent_program(): Action: TurnRight Current Wumpus Environment: Scores: =-26 0 1 2 3 4 5 time_step=16 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | > | | | | # | 4 |---|---|---|---|---|---| | # | X | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 16 HWA.make_percept_sentence(): Stench16 & ~Breeze16 & ~Glitter16 & ~Bump16 & ~Scream16 HWA.agent_program(): kb.tell(percept_sentence): Stench16 & ~Breeze16 & ~Glitter16 & ~Bump16 & ~Scream16 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 4) >>> time elapsed while making current location queries: 3.8474890579999936 HWA.infer_and_set_belief_heading() Current inferred heading: east >>> time elapsed while making belief heading queries:0.9435870509999944 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 5925 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 6256 Total clauses added to KB: 331 HWA.agent_program(): Already have plan (with 1 actions left), continue executing... HWA.agent_program(): Plan: ['Forward'] HWA.agent_program(): Action: Forward Current Wumpus Environment: Scores: =-27 0 1 2 3 4 5 time_step=17 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | > | | | # | 4 |---|---|---|---|---|---| | # | X | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 17 HWA.make_percept_sentence(): ~Stench17 & ~Breeze17 & ~Glitter17 & ~Bump17 & ~Scream17 HWA.agent_program(): kb.tell(percept_sentence): ~Stench17 & ~Breeze17 & ~Glitter17 & ~Bump17 & ~Scream17 HWA.infer_and_set_belief_location() Current believed location (inferred): (2, 4) >>> time elapsed while making current location queries: 4.056535184999987 HWA.infer_and_set_belief_heading() Current inferred heading: east >>> time elapsed while making belief heading queries:1.0026155839999973 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 6262 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 6630 Total clauses added to KB: 368 HWA.agent_program(): No current plan, find one... HWA.find_OK_locations() Ask if Wumpus is Alive: Is Wumpus Alive? : False >>> time elapsed while making OK location queries: 4.2531336659999965 Find OK locations queries 0 1 2 3 4 5 time_step=17 |----------------|----------------|----------------|----------------|----------------|----------------| | # | # | # | # | # | # | 5 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_4_17=True | OK2_4_17=True | OK3_4_17=True | OK4_4_17=? | # | 4 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_3_17=True | OK2_3_17=True | OK3_3_17=? | OK4_3_17=? | # | 3 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_2_17=True | OK2_2_17=False | OK3_2_17=? | OK4_2_17=? | # | 2 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_1_17=True | OK2_1_17=True | OK3_1_17=? | OK4_1_17=? | # | 1 |----------------|----------------|----------------|----------------|----------------|----------------| | # | # | # | # | # | # | 0 |----------------|----------------|----------------|----------------|----------------|----------------| HWA.agent_program(): Plan to visit safe square... HWA.update_unvisited_locations() >>> time elapsed while making unvisited locations queries: 2.8662883630000096 Safe univisited locations: 0 1 2 3 4 5 time_step=17 |-----------|-----------|-----------|-----------|-----------|-----------| | # | # | # | # | # | # | 5 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | | L3_4_17=T | | # | 4 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | L2_3_17=T | | | # | 3 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | | | | # | 2 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | | | | # | 1 |-----------|-----------|-----------|-----------|-----------|-----------| | # | # | # | # | # | # | 0 |-----------|-----------|-----------|-----------|-----------|-----------| >>> time elapsed while executing plan_route(): 0.0001402089999942291 HWA.agent_program(): Plan: ['Forward'] HWA.agent_program(): Action: Forward Current Wumpus Environment: Scores: =-28 0 1 2 3 4 5 time_step=18 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | > | | # | 4 |---|---|---|---|---|---| | # | X | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 18 HWA.make_percept_sentence(): ~Stench18 & Breeze18 & ~Glitter18 & ~Bump18 & ~Scream18 HWA.agent_program(): kb.tell(percept_sentence): ~Stench18 & Breeze18 & ~Glitter18 & ~Bump18 & ~Scream18 HWA.infer_and_set_belief_location() Current believed location (inferred): (3, 4) >>> time elapsed while making current location queries: 4.3696610479999975 HWA.infer_and_set_belief_heading() Current inferred heading: east >>> time elapsed while making belief heading queries:1.052360753000002 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 6636 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 6967 Total clauses added to KB: 331 HWA.agent_program(): No current plan, find one... HWA.find_OK_locations() Ask if Wumpus is Alive: Is Wumpus Alive? : False >>> time elapsed while making OK location queries: 4.604925872999999 Find OK locations queries 0 1 2 3 4 5 time_step=18 |----------------|----------------|----------------|----------------|----------------|----------------| | # | # | # | # | # | # | 5 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_4_18=True | OK2_4_18=True | OK3_4_18=True | OK4_4_18=? | # | 4 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_3_18=True | OK2_3_18=True | OK3_3_18=? | OK4_3_18=? | # | 3 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_2_18=True | OK2_2_18=False | OK3_2_18=? | OK4_2_18=? | # | 2 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_1_18=True | OK2_1_18=True | OK3_1_18=? | OK4_1_18=? | # | 1 |----------------|----------------|----------------|----------------|----------------|----------------| | # | # | # | # | # | # | 0 |----------------|----------------|----------------|----------------|----------------|----------------| HWA.agent_program(): Plan to visit safe square... HWA.update_unvisited_locations() >>> time elapsed while making unvisited locations queries: 2.49493931100001 Safe univisited locations: 0 1 2 3 4 5 time_step=18 |-----------|-----------|-----------|-----------|-----------|-----------| | # | # | # | # | # | # | 5 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | | | | # | 4 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | L2_3_18=T | | | # | 3 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | | | | # | 2 |-----------|-----------|-----------|-----------|-----------|-----------| | # | | | | | # | 1 |-----------|-----------|-----------|-----------|-----------|-----------| | # | # | # | # | # | # | 0 |-----------|-----------|-----------|-----------|-----------|-----------| >>> time elapsed while executing plan_route(): 0.00018134199999053635 HWA.agent_program(): Plan: ['TurnRight', 'TurnRight', 'Forward', 'TurnLeft', 'Forward'] HWA.agent_program(): Action: TurnRight Current Wumpus Environment: Scores: =-29 0 1 2 3 4 5 time_step=19 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | v | | # | 4 |---|---|---|---|---|---| | # | X | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 19 HWA.make_percept_sentence(): ~Stench19 & Breeze19 & ~Glitter19 & ~Bump19 & ~Scream19 HWA.agent_program(): kb.tell(percept_sentence): ~Stench19 & Breeze19 & ~Glitter19 & ~Bump19 & ~Scream19 HWA.infer_and_set_belief_location() Current believed location (inferred): (3, 4) >>> time elapsed while making current location queries: 4.870608035999993 HWA.infer_and_set_belief_heading() Current inferred heading: south >>> time elapsed while making belief heading queries:0.907209285999997 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 6973 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 7450 Total clauses added to KB: 477 HWA.agent_program(): Already have plan (with 4 actions left), continue executing... HWA.agent_program(): Plan: ['TurnRight', 'Forward', 'TurnLeft', 'Forward'] HWA.agent_program(): Action: TurnRight Current Wumpus Environment: Scores: =-30 0 1 2 3 4 5 time_step=20 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | < | | # | 4 |---|---|---|---|---|---| | # | X | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 20 HWA.make_percept_sentence(): ~Stench20 & Breeze20 & ~Glitter20 & ~Bump20 & ~Scream20 HWA.agent_program(): kb.tell(percept_sentence): ~Stench20 & Breeze20 & ~Glitter20 & ~Bump20 & ~Scream20 HWA.infer_and_set_belief_location() Current believed location (inferred): (3, 4) >>> time elapsed while making current location queries: 5.06485369100001 HWA.infer_and_set_belief_heading() Current inferred heading: west >>> time elapsed while making belief heading queries:0.6668659770000005 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 7456 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 7824 Total clauses added to KB: 368 HWA.agent_program(): Already have plan (with 3 actions left), continue executing... HWA.agent_program(): Plan: ['Forward', 'TurnLeft', 'Forward'] HWA.agent_program(): Action: Forward Current Wumpus Environment: Scores: =-31 0 1 2 3 4 5 time_step=21 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | < | | | # | 4 |---|---|---|---|---|---| | # | X | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 21 HWA.make_percept_sentence(): ~Stench21 & ~Breeze21 & ~Glitter21 & ~Bump21 & ~Scream21 HWA.agent_program(): kb.tell(percept_sentence): ~Stench21 & ~Breeze21 & ~Glitter21 & ~Bump21 & ~Scream21 HWA.infer_and_set_belief_location() Current believed location (inferred): (2, 4) >>> time elapsed while making current location queries: 5.792170783000003 HWA.infer_and_set_belief_heading() Current inferred heading: west >>> time elapsed while making belief heading queries:0.6751710480000099 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 7830 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 8161 Total clauses added to KB: 331 HWA.agent_program(): Already have plan (with 2 actions left), continue executing... HWA.agent_program(): Plan: ['TurnLeft', 'Forward'] HWA.agent_program(): Action: TurnLeft Current Wumpus Environment: Scores: =-32 0 1 2 3 4 5 time_step=22 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | v | | | # | 4 |---|---|---|---|---|---| | # | X | G | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 22 HWA.make_percept_sentence(): ~Stench22 & ~Breeze22 & ~Glitter22 & ~Bump22 & ~Scream22 HWA.agent_program(): kb.tell(percept_sentence): ~Stench22 & ~Breeze22 & ~Glitter22 & ~Bump22 & ~Scream22 HWA.infer_and_set_belief_location() Current believed location (inferred): (2, 4) >>> time elapsed while making current location queries: 5.3329560749999985 HWA.infer_and_set_belief_heading() Current inferred heading: south >>> time elapsed while making belief heading queries:1.0706116270000052 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 8167 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 8644 Total clauses added to KB: 477 HWA.agent_program(): Already have plan (with 1 actions left), continue executing... HWA.agent_program(): Plan: ['Forward'] HWA.agent_program(): Action: Forward Current Wumpus Environment: Scores: =-33 0 1 2 3 4 5 time_step=23 |----|----|----|----|----|----| | # | # | # | # | # | # | 5 |----|----|----|----|----|----| | # | | | | | # | 4 |----|----|----|----|----|----| | # | X | vG | P | | # | 3 |----|----|----|----|----|----| | # | | P | | | # | 2 |----|----|----|----|----|----| | # | | | P | | # | 1 |----|----|----|----|----|----| | # | # | # | # | # | # | 0 |----|----|----|----|----|----| HWA.agent_program(): at time 23 HWA.make_percept_sentence(): Stench23 & Breeze23 & Glitter23 & ~Bump23 & ~Scream23 HWA.agent_program(): kb.tell(percept_sentence): Stench23 & Breeze23 & Glitter23 & ~Bump23 & ~Scream23 HWA.infer_and_set_belief_location() Current believed location (inferred): (2, 3) >>> time elapsed while making current location queries: 6.003787119000009 HWA.infer_and_set_belief_heading() Current inferred heading: south >>> time elapsed while making belief heading queries:1.1456105520000222 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 8650 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 9236 Total clauses added to KB: 586 HWA.agent_program(): Grab gold and leave! HWA.find_OK_locations() Ask if Wumpus is Alive: Is Wumpus Alive? : False >>> time elapsed while making OK location queries: 6.505345508999994 Find OK locations queries 0 1 2 3 4 5 time_step=23 |----------------|----------------|----------------|----------------|----------------|----------------| | # | # | # | # | # | # | 5 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_4_23=True | OK2_4_23=True | OK3_4_23=True | OK4_4_23=? | # | 4 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_3_23=True | OK2_3_23=True | OK3_3_23=? | OK4_3_23=? | # | 3 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_2_23=True | OK2_2_23=False | OK3_2_23=? | OK4_2_23=? | # | 2 |----------------|----------------|----------------|----------------|----------------|----------------| | # | OK1_1_23=True | OK2_1_23=True | OK3_1_23=? | OK4_1_23=? | # | 1 |----------------|----------------|----------------|----------------|----------------|----------------| | # | # | # | # | # | # | 0 |----------------|----------------|----------------|----------------|----------------|----------------| >>> time elapsed while executing plan_route(): 0.0002819380000005367 HWA.agent_program(): Already have plan (with 7 actions left), continue executing... HWA.agent_program(): Plan: ['Grab', 'TurnRight', 'Forward', 'TurnLeft', 'Forward', 'Forward', 'Climb'] HWA.agent_program(): Action: Grab Current Wumpus Environment: Scores: =-34 0 1 2 3 4 5 time_step=24 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | X | v | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 24 HWA.make_percept_sentence(): Stench24 & Breeze24 & ~Glitter24 & ~Bump24 & ~Scream24 HWA.agent_program(): kb.tell(percept_sentence): Stench24 & Breeze24 & ~Glitter24 & ~Bump24 & ~Scream24 HWA.infer_and_set_belief_location() Current believed location (inferred): (2, 3) >>> time elapsed while making current location queries: 6.548637990000003 HWA.infer_and_set_belief_heading() Current inferred heading: south >>> time elapsed while making belief heading queries:1.2230102690000137 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 9242 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 9828 Total clauses added to KB: 586 HWA.agent_program(): Already have plan (with 6 actions left), continue executing... HWA.agent_program(): Plan: ['TurnRight', 'Forward', 'TurnLeft', 'Forward', 'Forward', 'Climb'] HWA.agent_program(): Action: TurnRight Current Wumpus Environment: Scores: =-35 0 1 2 3 4 5 time_step=25 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | X | < | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 25 HWA.make_percept_sentence(): Stench25 & Breeze25 & ~Glitter25 & ~Bump25 & ~Scream25 HWA.agent_program(): kb.tell(percept_sentence): Stench25 & Breeze25 & ~Glitter25 & ~Bump25 & ~Scream25 HWA.infer_and_set_belief_location() Current believed location (inferred): (2, 3) >>> time elapsed while making current location queries: 7.0007375949999755 HWA.infer_and_set_belief_heading() Current inferred heading: west >>> time elapsed while making belief heading queries:0.8774059449999925 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 9834 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 10311 Total clauses added to KB: 477 HWA.agent_program(): Already have plan (with 5 actions left), continue executing... HWA.agent_program(): Plan: ['Forward', 'TurnLeft', 'Forward', 'Forward', 'Climb'] HWA.agent_program(): Action: Forward Current Wumpus Environment: Scores: =-36 0 1 2 3 4 5 time_step=26 |----|----|----|----|----|----| | # | # | # | # | # | # | 5 |----|----|----|----|----|----| | # | | | | | # | 4 |----|----|----|----|----|----| | # | >> time elapsed while making current location queries: 7.968168896999998 HWA.infer_and_set_belief_heading() Current inferred heading: west >>> time elapsed while making belief heading queries:0.8213184809999916 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 10317 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 1 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 60 Number of clauses in KB after: 10625 Total clauses added to KB: 308 HWA.agent_program(): Already have plan (with 4 actions left), continue executing... HWA.agent_program(): Plan: ['TurnLeft', 'Forward', 'Forward', 'Climb'] HWA.agent_program(): Action: TurnLeft Current Wumpus Environment: Scores: =-37 0 1 2 3 4 5 time_step=27 |----|----|----|----|----|----| | # | # | # | # | # | # | 5 |----|----|----|----|----|----| | # | | | | | # | 4 |----|----|----|----|----|----| | # | vX | | P | | # | 3 |----|----|----|----|----|----| | # | | P | | | # | 2 |----|----|----|----|----|----| | # | | | P | | # | 1 |----|----|----|----|----|----| | # | # | # | # | # | # | 0 |----|----|----|----|----|----| HWA.agent_program(): at time 27 HWA.make_percept_sentence(): Stench27 & ~Breeze27 & ~Glitter27 & ~Bump27 & ~Scream27 HWA.agent_program(): kb.tell(percept_sentence): Stench27 & ~Breeze27 & ~Glitter27 & ~Bump27 & ~Scream27 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 3) >>> time elapsed while making current location queries: 8.028492135999983 HWA.infer_and_set_belief_heading() Current inferred heading: south >>> time elapsed while making belief heading queries:1.4548544019999952 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 10631 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 10999 Total clauses added to KB: 368 HWA.agent_program(): Already have plan (with 3 actions left), continue executing... HWA.agent_program(): Plan: ['Forward', 'Forward', 'Climb'] HWA.agent_program(): Action: Forward Current Wumpus Environment: Scores: =-38 0 1 2 3 4 5 time_step=28 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | X | | P | | # | 3 |---|---|---|---|---|---| | # | v | P | | | # | 2 |---|---|---|---|---|---| | # | | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 28 HWA.make_percept_sentence(): Stench28 & Breeze28 & ~Glitter28 & ~Bump28 & ~Scream28 HWA.agent_program(): kb.tell(percept_sentence): Stench28 & Breeze28 & ~Glitter28 & ~Bump28 & ~Scream28 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 2) >>> time elapsed while making current location queries: 8.637223398999993 HWA.infer_and_set_belief_heading() Current inferred heading: south >>> time elapsed while making belief heading queries:1.321300899000022 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 11005 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 2 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 61 Number of clauses in KB after: 11336 Total clauses added to KB: 331 HWA.agent_program(): Already have plan (with 2 actions left), continue executing... HWA.agent_program(): Plan: ['Forward', 'Climb'] HWA.agent_program(): Action: Forward Current Wumpus Environment: Scores: =-39 0 1 2 3 4 5 time_step=29 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | X | | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | v | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| HWA.agent_program(): at time 29 HWA.make_percept_sentence(): ~Stench29 & ~Breeze29 & ~Glitter29 & ~Bump29 & ~Scream29 HWA.agent_program(): kb.tell(percept_sentence): ~Stench29 & ~Breeze29 & ~Glitter29 & ~Bump29 & ~Scream29 HWA.infer_and_set_belief_location() Current believed location (inferred): (1, 1) >>> time elapsed while making current location queries: 9.041538739000003 HWA.infer_and_set_belief_heading() Current inferred heading: south >>> time elapsed while making belief heading queries:1.6283955549999973 HWA.agent_program(): Prepare to add temporal axioms Number of clauses in KB before: 11342 HWA.add_temporal_axioms() number of location_OK axioms: 16 number of percept_to_loc axioms: 32 number of at_location ssa axioms: 1 number of non-location ssa axioms: 6 number of mutually_exclusive axioms: 5 Total number of axioms being added: 60 Number of clauses in KB after: 11613 Total clauses added to KB: 271 HWA.agent_program(): Already have plan (with 1 actions left), continue executing... HWA.agent_program(): Plan: ['Climb'] HWA.agent_program(): Action: Climb Current Wumpus Environment: Scores: =960 0 1 2 3 4 5 time_step=30 |---|---|---|---|---|---| | # | # | # | # | # | # | 5 |---|---|---|---|---|---| | # | | | | | # | 4 |---|---|---|---|---|---| | # | X | | P | | # | 3 |---|---|---|---|---|---| | # | | P | | | # | 2 |---|---|---|---|---|---| | # | v | | P | | # | 1 |---|---|---|---|---|---| | # | # | # | # | # | # | 0 |---|---|---|---|---|---| DONE. number_of_clauses_over_epochs: [641, 1015, 1498, 1835, 2112, 2449, 2823, 3306, 3643, 3920, 4257, 4594, 4931, 5305, 5642, 5919, 6256, 6630, 6967, 7450, 7824, 8161, 8644, 9236, 9828, 10311, 10625, 10999, 11336, 11613] belief_loc_query_times: [0.351831195, 0.7331960080000002, 0.9585024939999993, 1.241609092, 1.5698520719999998, 1.7212741630000004, 1.9285226979999983, 2.01165456, 2.3986041239999984, 2.7517700159999983, 2.939187540999999, 2.8913738670000058, 3.3056615089999966, 3.557673904000005, 3.5393774399999955, 3.975143598999992, 3.8474890579999936, 4.056535184999987, 4.3696610479999975, 4.870608035999993, 5.06485369100001, 5.792170783000003, 5.3329560749999985, 6.003787119000009, 6.548637990000003, 7.0007375949999755, 7.968168896999998, 8.028492135999983, 8.637223398999993, 9.041538739000003] Final Scores: =960