-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy path87af5df4-167b-11e3-9561-12313d0348d0.vars
1 lines (1 loc) · 11.7 KB
/
87af5df4-167b-11e3-9561-12313d0348d0.vars
1
a:45:{s:6:"agents";a:4:{i:1;a:2:{s:4:"name";s:2:"Me";s:9:"dot_label";s:6:"agent1";}i:3;a:2:{s:4:"name";s:5:"Recon";s:9:"dot_label";s:6:"agent3";}i:2;a:2:{s:4:"name";s:3:"UAV";s:9:"dot_label";s:6:"agent2";}i:4;a:2:{s:4:"name";s:9:"Informant";s:9:"dot_label";s:6:"agent4";}}s:10:"num_agents";i:4;s:13:"qagnt_beliefs";a:8:{i:6;a:9:{s:9:"dot_label";s:5:"fact6";s:13:"logic_display";s:17:"InArea(Campfires)";s:9:"num_paths";i:1;s:6:"levels";a:1:{i:0;s:4:"0.50";}s:9:"predicate";s:6:"InArea";s:8:"constant";s:9:"Campfires";s:10:"is_negated";s:1:"0";s:7:"is_rule";i:0;s:12:"end_argument";i:0;}i:7;a:9:{s:9:"dot_label";s:5:"fact7";s:13:"logic_display";s:11:"Many(Enemy)";s:9:"num_paths";i:1;s:6:"levels";a:1:{i:0;s:4:"0.30";}s:9:"predicate";s:4:"Many";s:8:"constant";s:5:"Enemy";s:10:"is_negated";s:1:"0";s:7:"is_rule";i:0;s:12:"end_argument";i:0;}i:8;a:9:{s:9:"dot_label";s:5:"fact8";s:13:"logic_display";s:21:"NOT(InArea(Vehicles))";s:9:"num_paths";i:1;s:6:"levels";a:1:{i:0;s:4:"0.95";}s:9:"predicate";s:6:"InArea";s:8:"constant";s:8:"Vehicles";s:10:"is_negated";s:1:"1";s:7:"is_rule";i:0;s:12:"end_argument";i:0;}i:63;a:13:{s:19:"inference_dot_label";s:11:"inference63";s:14:"rule_dot_label";s:6:"rule63";s:17:"inference_display";s:11:"InArea(HVT)";s:5:"level";s:4:"1.00";s:9:"predicate";s:6:"InArea";s:8:"constant";s:3:"HVT";s:10:"is_negated";s:1:"0";s:7:"is_rule";i:1;s:12:"end_argument";i:0;s:12:"num_premises";i:1;s:8:"premises";a:1:{i:0;a:4:{s:13:"logic_display";s:13:"InArea(Enemy)";s:9:"predicate";s:6:"InArea";s:8:"constant";s:5:"Enemy";s:10:"is_negated";s:1:"0";}}s:16:"premises_display";s:13:"InArea(Enemy)";s:12:"rule_display";s:28:"InArea(HVT) :- InArea(Enemy)";}i:64;a:15:{s:19:"inference_dot_label";s:11:"inference64";s:14:"rule_dot_label";s:6:"rule64";s:17:"inference_display";s:21:"NOT(Proceed(Mission))";s:5:"level";s:4:"1.00";s:8:"statuses";a:1:{i:0;s:2:"IN";}s:12:"num_statuses";s:1:"1";s:9:"predicate";s:7:"Proceed";s:8:"constant";s:7:"Mission";s:10:"is_negated";s:1:"1";s:7:"is_rule";i:1;s:12:"end_argument";i:1;s:12:"num_premises";i:1;s:8:"premises";a:1:{i:0;a:4:{s:13:"logic_display";s:11:"Many(Enemy)";s:9:"predicate";s:4:"Many";s:8:"constant";s:5:"Enemy";s:10:"is_negated";s:1:"0";}}s:16:"premises_display";s:11:"Many(Enemy)";s:12:"rule_display";s:36:"NOT(Proceed(Mission)) :- Many(Enemy)";}i:65;a:15:{s:19:"inference_dot_label";s:11:"inference65";s:14:"rule_dot_label";s:6:"rule65";s:17:"inference_display";s:16:"Proceed(Mission)";s:5:"level";s:4:"1.00";s:8:"statuses";a:1:{i:0;s:3:"OUT";}s:12:"num_statuses";s:1:"1";s:9:"predicate";s:7:"Proceed";s:8:"constant";s:7:"Mission";s:10:"is_negated";s:1:"0";s:7:"is_rule";i:1;s:12:"end_argument";i:1;s:12:"num_premises";i:1;s:8:"premises";a:1:{i:0;a:4:{s:13:"logic_display";s:11:"InArea(HVT)";s:9:"predicate";s:6:"InArea";s:8:"constant";s:3:"HVT";s:10:"is_negated";s:1:"0";}}s:16:"premises_display";s:11:"InArea(HVT)";s:12:"rule_display";s:31:"Proceed(Mission) :- InArea(HVT)";}i:66;a:15:{s:19:"inference_dot_label";s:11:"inference66";s:14:"rule_dot_label";s:6:"rule66";s:17:"inference_display";s:13:"InArea(Enemy)";s:5:"level";s:4:"1.00";s:8:"statuses";a:1:{i:0;s:3:"OUT";}s:12:"num_statuses";s:1:"1";s:9:"predicate";s:6:"InArea";s:8:"constant";s:5:"Enemy";s:10:"is_negated";s:1:"0";s:7:"is_rule";i:1;s:12:"end_argument";i:1;s:12:"num_premises";i:1;s:8:"premises";a:1:{i:0;a:4:{s:13:"logic_display";s:17:"InArea(Campfires)";s:9:"predicate";s:6:"InArea";s:8:"constant";s:9:"Campfires";s:10:"is_negated";s:1:"0";}}s:16:"premises_display";s:17:"InArea(Campfires)";s:12:"rule_display";s:34:"InArea(Enemy) :- InArea(Campfires)";}i:67;a:15:{s:19:"inference_dot_label";s:11:"inference67";s:14:"rule_dot_label";s:6:"rule67";s:17:"inference_display";s:18:"NOT(InArea(Enemy))";s:5:"level";s:4:"1.00";s:8:"statuses";a:1:{i:0;s:2:"IN";}s:12:"num_statuses";s:1:"1";s:9:"predicate";s:6:"InArea";s:8:"constant";s:5:"Enemy";s:10:"is_negated";s:1:"1";s:7:"is_rule";i:1;s:12:"end_argument";i:1;s:12:"num_premises";i:1;s:8:"premises";a:1:{i:0;a:4:{s:13:"logic_display";s:21:"NOT(InArea(Vehicles))";s:9:"predicate";s:6:"InArea";s:8:"constant";s:8:"Vehicles";s:10:"is_negated";s:1:"1";}}s:16:"premises_display";s:21:"NOT(InArea(Vehicles))";s:12:"rule_display";s:43:"NOT(InArea(Enemy)) :- NOT(InArea(Vehicles))";}}s:17:"num_qagnt_beliefs";i:8;s:11:"qagnt_facts";a:3:{i:6;R:17;i:7;R:28;i:8;R:39;}s:15:"num_qagnt_facts";i:3;s:11:"qagnt_rules";a:5:{i:63;R:50;i:64;R:69;i:65;R:91;i:66;R:113;i:67;R:135;}s:15:"num_qagnt_rules";i:5;s:28:"qagnt_facts_not_end_argument";a:3:{i:6;R:17;i:7;R:28;i:8;R:39;}s:32:"num_qagnt_facts_not_end_argument";i:3;s:24:"qagnt_facts_end_argument";a:0:{}s:28:"num_qagnt_facts_end_argument";i:0;s:24:"agents_assoc_qagnt_facts";a:3:{i:6;a:2:{i:0;s:1:"2";i:1;s:1:"1";}i:7;a:2:{i:0;s:1:"4";i:1;s:1:"1";}i:8;a:2:{i:0;s:1:"3";i:1;s:1:"1";}}s:28:"qagnt_rules_not_end_argument";a:1:{i:63;R:50;}s:32:"num_qagnt_rules_not_end_argument";i:1;s:24:"qagnt_rules_end_argument";a:4:{i:64;R:69;i:65;R:91;i:66;R:113;i:67;R:135;}s:28:"num_qagnt_rules_end_argument";i:4;s:13:"belief_arrows";a:5:{s:5:"63_65";a:7:{s:14:"from_dot_label";s:11:"inference63";s:12:"to_dot_label";s:6:"rule65";s:9:"from_rule";s:1:"1";s:7:"from_id";s:2:"63";s:5:"to_id";s:2:"65";s:8:"from_ref";R:50;s:6:"to_ref";R:91;}s:5:"66_63";a:7:{s:14:"from_dot_label";s:11:"inference66";s:12:"to_dot_label";s:6:"rule63";s:9:"from_rule";s:1:"1";s:7:"from_id";s:2:"66";s:5:"to_id";s:2:"63";s:8:"from_ref";R:113;s:6:"to_ref";R:50;}s:4:"6_66";a:7:{s:14:"from_dot_label";s:5:"fact6";s:12:"to_dot_label";s:6:"rule66";s:9:"from_rule";s:1:"0";s:7:"from_id";s:1:"6";s:5:"to_id";s:2:"66";s:8:"from_ref";R:17;s:6:"to_ref";R:113;}s:4:"8_67";a:7:{s:14:"from_dot_label";s:5:"fact8";s:12:"to_dot_label";s:6:"rule67";s:9:"from_rule";s:1:"0";s:7:"from_id";s:1:"8";s:5:"to_id";s:2:"67";s:8:"from_ref";R:39;s:6:"to_ref";R:135;}s:4:"7_64";a:7:{s:14:"from_dot_label";s:5:"fact7";s:12:"to_dot_label";s:6:"rule64";s:9:"from_rule";s:1:"0";s:7:"from_id";s:1:"7";s:5:"to_id";s:2:"64";s:8:"from_ref";R:28;s:6:"to_ref";R:69;}}s:17:"num_belief_arrows";i:5;s:18:"belief_arrows_from";a:5:{i:63;a:1:{i:65;R:181;}i:66;a:1:{i:63;R:187;}i:6;a:1:{i:66;R:193;}i:8;a:1:{i:67;R:199;}i:7;a:1:{i:64;R:205;}}s:22:"num_belief_arrows_from";i:5;s:16:"belief_arrows_to";a:5:{i:65;a:1:{i:63;R:181;}i:63;a:1:{i:66;R:187;}i:66;a:1:{i:6;R:193;}i:67;a:1:{i:8;R:199;}i:64;a:1:{i:7;R:205;}}s:20:"num_belief_arrows_to";i:5;s:13:"attack_arrows";a:5:{s:5:"65_64";a:9:{s:14:"from_dot_label";s:11:"inference65";s:12:"to_dot_label";s:11:"inference64";s:11:"attack_type";s:5:"rebut";s:9:"from_rule";s:1:"1";s:7:"from_id";s:2:"65";s:7:"to_rule";s:1:"1";s:5:"to_id";s:2:"64";s:8:"from_ref";R:91;s:6:"to_ref";R:69;}s:5:"67_65";a:9:{s:14:"from_dot_label";s:11:"inference67";s:12:"to_dot_label";s:11:"inference65";s:11:"attack_type";s:9:"undermine";s:9:"from_rule";s:1:"1";s:7:"from_id";s:2:"67";s:7:"to_rule";s:1:"1";s:5:"to_id";s:2:"65";s:8:"from_ref";R:135;s:6:"to_ref";R:91;}s:5:"67_66";a:9:{s:14:"from_dot_label";s:11:"inference67";s:12:"to_dot_label";s:11:"inference66";s:11:"attack_type";s:5:"rebut";s:9:"from_rule";s:1:"1";s:7:"from_id";s:2:"67";s:7:"to_rule";s:1:"1";s:5:"to_id";s:2:"66";s:8:"from_ref";R:135;s:6:"to_ref";R:113;}s:5:"66_67";a:9:{s:14:"from_dot_label";s:11:"inference66";s:12:"to_dot_label";s:11:"inference67";s:11:"attack_type";s:5:"rebut";s:9:"from_rule";s:1:"1";s:7:"from_id";s:2:"66";s:7:"to_rule";s:1:"1";s:5:"to_id";s:2:"67";s:8:"from_ref";R:113;s:6:"to_ref";R:135;}s:5:"64_65";a:9:{s:14:"from_dot_label";s:11:"inference64";s:12:"to_dot_label";s:11:"inference65";s:11:"attack_type";s:5:"rebut";s:9:"from_rule";s:1:"1";s:7:"from_id";s:2:"64";s:7:"to_rule";s:1:"1";s:5:"to_id";s:2:"65";s:8:"from_ref";R:69;s:6:"to_ref";R:91;}}s:17:"num_attack_arrows";i:5;s:12:"agent_arrows";a:3:{s:3:"1_3";a:7:{s:14:"from_dot_label";s:6:"agent1";s:12:"to_dot_label";s:6:"agent3";s:7:"from_id";s:1:"1";s:5:"to_id";s:1:"3";s:5:"level";s:4:"0.95";s:8:"from_ref";R:3;s:6:"to_ref";R:6;}s:3:"1_2";a:7:{s:14:"from_dot_label";s:6:"agent1";s:12:"to_dot_label";s:6:"agent2";s:7:"from_id";s:1:"1";s:5:"to_id";s:1:"2";s:5:"level";s:4:"0.50";s:8:"from_ref";R:3;s:6:"to_ref";R:9;}s:3:"1_4";a:7:{s:14:"from_dot_label";s:6:"agent1";s:12:"to_dot_label";s:6:"agent4";s:7:"from_id";s:1:"1";s:5:"to_id";s:1:"4";s:5:"level";s:4:"0.30";s:8:"from_ref";R:3;s:6:"to_ref";R:12;}}s:16:"num_agent_arrows";i:3;s:17:"agent_arrows_from";a:1:{i:1;a:3:{i:3;R:269;i:2;R:275;i:4;R:281;}}s:21:"num_agent_arrows_from";i:1;s:15:"agent_arrows_to";a:3:{i:3;a:1:{i:1;R:269;}i:2;a:1:{i:1;R:275;}i:4;a:1:{i:1;R:281;}}s:19:"num_agent_arrows_to";i:3;s:17:"agent_fact_arrows";a:3:{s:3:"2_6";a:8:{s:14:"from_dot_label";s:6:"agent2";s:12:"to_dot_label";s:5:"fact6";s:7:"from_id";s:1:"2";s:7:"to_rule";s:1:"0";s:5:"to_id";s:1:"6";s:5:"level";s:4:"1.00";s:8:"from_ref";R:9;s:6:"to_ref";R:17;}s:3:"4_7";a:8:{s:14:"from_dot_label";s:6:"agent4";s:12:"to_dot_label";s:5:"fact7";s:7:"from_id";s:1:"4";s:7:"to_rule";s:1:"0";s:5:"to_id";s:1:"7";s:5:"level";s:4:"1.00";s:8:"from_ref";R:12;s:6:"to_ref";R:28;}s:3:"3_8";a:8:{s:14:"from_dot_label";s:6:"agent3";s:12:"to_dot_label";s:5:"fact8";s:7:"from_id";s:1:"3";s:7:"to_rule";s:1:"0";s:5:"to_id";s:1:"8";s:5:"level";s:4:"1.00";s:8:"from_ref";R:6;s:6:"to_ref";R:39;}}s:21:"num_agent_fact_arrows";i:3;s:22:"agent_fact_arrows_from";a:3:{i:2;a:1:{i:6;R:297;}i:4;a:1:{i:7;R:304;}i:3;a:1:{i:8;R:311;}}s:26:"num_agent_fact_arrows_from";i:3;s:20:"agent_fact_arrows_to";a:3:{i:6;a:1:{i:2;R:297;}i:7;a:1:{i:4;R:304;}i:8;a:1:{i:3;R:311;}}s:24:"num_agent_fact_arrows_to";i:3;s:17:"agent_rule_arrows";a:5:{s:4:"1_63";a:8:{s:14:"from_dot_label";s:6:"agent1";s:12:"to_dot_label";s:6:"rule63";s:7:"from_id";s:1:"1";s:7:"to_rule";s:1:"1";s:5:"to_id";s:2:"63";s:5:"level";s:4:"1.00";s:8:"from_ref";R:3;s:6:"to_ref";R:50;}s:4:"1_64";a:8:{s:14:"from_dot_label";s:6:"agent1";s:12:"to_dot_label";s:6:"rule64";s:7:"from_id";s:1:"1";s:7:"to_rule";s:1:"1";s:5:"to_id";s:2:"64";s:5:"level";s:4:"1.00";s:8:"from_ref";R:3;s:6:"to_ref";R:69;}s:4:"1_65";a:8:{s:14:"from_dot_label";s:6:"agent1";s:12:"to_dot_label";s:6:"rule65";s:7:"from_id";s:1:"1";s:7:"to_rule";s:1:"1";s:5:"to_id";s:2:"65";s:5:"level";s:4:"1.00";s:8:"from_ref";R:3;s:6:"to_ref";R:91;}s:4:"1_66";a:8:{s:14:"from_dot_label";s:6:"agent1";s:12:"to_dot_label";s:6:"rule66";s:7:"from_id";s:1:"1";s:7:"to_rule";s:1:"1";s:5:"to_id";s:2:"66";s:5:"level";s:4:"1.00";s:8:"from_ref";R:3;s:6:"to_ref";R:113;}s:4:"1_67";a:8:{s:14:"from_dot_label";s:6:"agent1";s:12:"to_dot_label";s:6:"rule67";s:7:"from_id";s:1:"1";s:7:"to_rule";s:1:"1";s:5:"to_id";s:2:"67";s:5:"level";s:4:"1.00";s:8:"from_ref";R:3;s:6:"to_ref";R:135;}}s:21:"num_agent_rule_arrows";i:5;s:22:"agent_rule_arrows_from";a:1:{i:1;a:5:{i:63;R:330;i:64;R:337;i:65;R:344;i:66;R:351;i:67;R:358;}}s:26:"num_agent_rule_arrows_from";i:1;s:20:"agent_rule_arrows_to";a:5:{i:63;a:1:{i:1;R:330;}i:64;a:1:{i:1;R:337;}i:65;a:1:{i:1;R:344;}i:66;a:1:{i:1;R:351;}i:67;a:1:{i:1;R:358;}}s:24:"num_agent_rule_arrows_to";i:5;s:9:"arguments";a:4:{i:7788;a:7:{s:5:"level";s:4:"0.95";s:6:"status";s:2:"IN";s:18:"conclusion_display";s:18:"NOT(InArea(Enemy))";s:12:"num_agentIDs";i:2;s:8:"agentIDs";a:2:{i:0;s:1:"1";i:1;s:1:"3";}s:13:"num_beliefIDs";i:2;s:9:"beliefIDs";a:2:{i:0;s:2:"67";i:1;s:1:"8";}}i:7789;a:7:{s:5:"level";s:3:"0.5";s:6:"status";s:3:"OUT";s:18:"conclusion_display";s:13:"InArea(Enemy)";s:12:"num_agentIDs";i:2;s:8:"agentIDs";a:2:{i:0;s:1:"1";i:1;s:1:"2";}s:13:"num_beliefIDs";i:2;s:9:"beliefIDs";a:2:{i:0;s:2:"66";i:1;s:1:"6";}}i:7787;a:7:{s:5:"level";s:3:"0.5";s:6:"status";s:3:"OUT";s:18:"conclusion_display";s:16:"Proceed(Mission)";s:12:"num_agentIDs";i:2;s:8:"agentIDs";a:2:{i:0;s:1:"1";i:1;s:1:"2";}s:13:"num_beliefIDs";i:4;s:9:"beliefIDs";a:4:{i:0;s:2:"65";i:1;s:2:"63";i:2;s:2:"66";i:3;s:1:"6";}}i:7790;a:7:{s:5:"level";s:3:"0.3";s:6:"status";s:2:"IN";s:18:"conclusion_display";s:21:"NOT(Proceed(Mission))";s:12:"num_agentIDs";i:2;s:8:"agentIDs";a:2:{i:0;s:1:"1";i:1;s:1:"4";}s:13:"num_beliefIDs";i:2;s:9:"beliefIDs";a:2:{i:0;s:2:"64";i:1;s:1:"7";}}}s:13:"num_arguments";i:4;}