anytime planning for web service composition via
play

Anytime Planning for Web Service Composition via Alternative Plan - PowerPoint PPT Presentation

Dec 25, 2022 β€’367 likes β€’1.51k views

Anytime Planning for Web Service Composition via Alternative Plan Merging George Markou & Ioannis Refanidis Dept. of Applied Informatics, University of Macedonia, Greece ICTAI 2014 - Session A23. Planning Introduction Background

  1. Alternative plan generation and merging (3/3) - Example Original All-outcomes probabilistic determinization actions a 11 a 12 a 2 a 1 a 31 For this example, we use as an a 2 * aversion metric, a 32 1 𝑕 = 𝑑𝑝𝑑𝑒 𝑏 π‘—π‘˜ + a 3 π‘žπ‘ π‘π‘ π›½π‘—π‘˜ +1 a 41 a 4 a 42 a 5 a 6 a 51 a 7 * a 52 * (deterministic) a 61 a 62 a 7 ICTAI 2014 - Session A23. Planning 22/49

  2. Alternative plan generation and merging (3/3) - Example Original All-outcomes probabilistic determinization actions a 11 a 12 a 2 a 1 a 31 For this example, we use as an a 2 * aversion metric, a 32 1 𝑕 = 𝑑𝑝𝑑𝑒 𝑏 π‘—π‘˜ + a 3 π‘žπ‘ π‘π‘ π›½π‘—π‘˜ +1 a 41 a 4 a 42 a 5 a 6 a 51 a 7 * a 52 * (deterministic) a 61 a 62 a 7 ICTAI 2014 - Session A23. Planning 22/49

  3. Alternative plan generation and merging (3/3) - Example Original All-outcomes probabilistic determinization actions a 11 a 12 a 2 a 1 a 31 For this example, we use as an a 2 * aversion metric, a 32 1 𝑕 = 𝑑𝑝𝑑𝑒 𝑏 π‘—π‘˜ + a 3 π‘žπ‘ π‘π‘ π›½π‘—π‘˜ +1 a 41 a 4 a 42 a 5 a 6 a 51 a 7 * a 52 * (deterministic) a 61 a 62 a 7 ICTAI 2014 - Session A23. Planning 22/49

  4. Alternative plan generation and merging (3/3) - Example Original All-outcomes probabilistic determinization actions a 11 a 12 a 2 a 1 a 31 For this example, we use as an a 2 * aversion metric, a 32 1 𝑕 = 𝑑𝑝𝑑𝑒 𝑏 π‘—π‘˜ + a 3 π‘žπ‘ π‘π‘ π›½π‘—π‘˜ +1 a 41 a 4 a 42 a 5 a 6 a 51 a 7 * a 52 * (deterministic) a 61 a 62 a 7 ICTAI 2014 - Session A23. Planning 22/49

  5. Alternative plan generation and merging (3/3) - Example Plan Prob Cost Aversion 𝑏 11 0.8 4 4.55 ICTAI 2014 - Session A23. Planning 23/49

  6. Alternative plan generation and merging (3/3) - Example Plan Prob Cost Aversion 1 = 4 + 0.8 + 1 𝑏 11 0.8 4 4.55 𝑕 = 𝑑𝑝𝑑𝑒 𝑏 π‘—π‘˜ + 1 π‘žπ‘ π‘π‘ π›½π‘—π‘˜ +1 ICTAI 2014 - Session A23. Planning 23/49

  7. Alternative plan generation and merging (3/3) - Example Plan Prob Cost Aversion 1 = 4 + 0.8 + 1 𝑏 11 0.8 4 4.55 𝑏 2, 𝑏 31 0.8 5 6.05 ICTAI 2014 - Session A23. Planning 23/49

  8. Alternative plan generation and merging (3/3) - Example Plan Prob Cost Aversion = 1 βˆ— 0.8 1 = 2 + = 0.8 1 + 1 1 + 3 + 𝑏 11 0.8 4 4.55 0.8 + 1 𝑏 2, 𝑏 31 0.8 5 6.05 ICTAI 2014 - Session A23. Planning 23/49

  9. Alternative plan generation and merging (3/3) - Example Plan Prob Cost Aversion = 1 βˆ— 0.8 1 = 2 + = 0.8 1 + 1 1 + 3 + 𝑏 11 0.8 4 4.55 0.8 + 1 𝑏 2, 𝑏 31 0.8 5 6.05 ICTAI 2014 - Session A23. Planning 23/49

  10. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 ICTAI 2014 - Session A23. Planning 24/49

  11. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 ICTAI 2014 - Session A23. Planning 25/49

  12. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 ICTAI 2014 - Session A23. Planning 26/49

  13. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 𝑏 42 , 𝑏 62 6 31.74 ICTAI 2014 - Session A23. Planning 27/49

  14. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 Circular nodes 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 = Chance nodes 𝑏 42 , 𝑏 62 6 31.74 ICTAI 2014 - Session A23. Planning 28/49

  15. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 Circular nodes 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 = Chance nodes 𝑏 42 , 𝑏 62 6 31.74 ICTAI 2014 - Session A23. Planning 28/49

  16. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 Grey nodes 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 potentially lead 𝑏 42 , 𝑏 62 6 31.74 to the goal ICTAI 2014 - Session A23. Planning 29/49

  17. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 White nodes 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 don’t lead to the 𝑏 42 , 𝑏 62 6 31.74 goal ICTAI 2014 - Session A23. Planning 30/49

  18. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 𝑏 41 , 𝑏 51 , 𝑏 62 5 Triangular nodes 19.91 𝑏 42 , 𝑏 62 6 = end nodes 31.74 ICTAI 2014 - Session A23. Planning 31/49

  19. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 Goal node 𝑏 42 , 𝑏 62 6 31.74 ICTAI 2014 - Session A23. Planning 32/49

  20. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 Dead-end node 𝑏 42 , 𝑏 62 6 31.74 ICTAI 2014 - Session A23. Planning 33/49

  21. Alternative plan generation and merging (3/3) - Example # Plan Aversion Best plan = a 11 First action = a 11 𝑏 11 1 4.55 Deterministic = a 11 οƒ  Probabilistic = a 1 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 𝑏 42 , 𝑏 62 6 31.74 ICTAI 2014 - Session A23. Planning 34/49

  22. Alternative plan generation and merging (3/3) - Example # Plan Aversion Best plan = a 11 First action = a 11 𝑏 11 1 4.55 Deterministic = a 11 οƒ  Probabilistic = a 1 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 𝑏 42 , 𝑏 62 6 31.74 ICTAI 2014 - Session A23. Planning 34/49

  23. Alternative plan generation and merging (3/3) - Example # Plan Aversion Best plan = a 11 First action = a 11 𝑏 11 1 4.55 Deterministic = a 11 οƒ  Probabilistic = a 1 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 𝑏 42 , 𝑏 62 6 31.74 π‘‘π‘£π‘‘π‘‘π‘“π‘‘π‘‘π‘”π‘£π‘š π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ ICTAI 2014 - Session A23. Planning 34/49

  24. Alternative plan generation and merging (3/3) - Example # Plan Aversion Best plan = a 11 First action = a 11 𝑏 11 1 4.55 Deterministic = a 11 οƒ  Probabilistic = a 1 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 𝑏 42 , 𝑏 62 6 31.74 π‘‘π‘£π‘‘π‘‘π‘“π‘‘π‘‘π‘”π‘£π‘š π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ π‘”π‘π‘—π‘šπ‘“π‘’ π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ ICTAI 2014 - Session A23. Planning 34/49

  25. Alternative plan generation and merging (3/3) - Example # Plan Aversion Best plan = a 11 First action = a 11 𝑏 11 1 4.55 Deterministic = a 11 οƒ  Probabilistic = a 1 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 𝑏 42 , 𝑏 62 6 31.74 π‘‘π‘£π‘‘π‘‘π‘“π‘‘π‘‘π‘”π‘£π‘š π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ π‘”π‘π‘—π‘šπ‘“π‘’ π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ π»π‘π‘π‘š! ICTAI 2014 - Session A23. Planning 34/49

  26. Alternative plan generation and merging (3/3) - Example # Plan Aversion Best plan = a 11 First action = a 11 𝑏 11 1 4.55 Deterministic = a 11 οƒ  Probabilistic = a 1 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 𝑏 42 , 𝑏 62 6 31.74 π‘‘π‘£π‘‘π‘‘π‘“π‘‘π‘‘π‘”π‘£π‘š π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ π‘”π‘π‘—π‘šπ‘“π‘’ π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ 𝑂𝑓𝑦𝑒? π»π‘π‘π‘š! ICTAI 2014 - Session A23. Planning 34/49

  27. Alternative plan generation and merging (3/3) - Example # Plan Aversion Best plan = a 11 First action = a 11 𝑏 11 1 4.55 Deterministic = a 11 οƒ  Probabilistic = a 1 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 𝑏 42 , 𝑏 62 6 31.74 π‘‘π‘£π‘‘π‘‘π‘“π‘‘π‘‘π‘”π‘£π‘š π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ π‘”π‘π‘—π‘šπ‘“π‘’ π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ 𝑂𝑓𝑦𝑒? π»π‘π‘π‘š! Current plan = a 11 does not contain any more actions Compute possible valid plans ICTAI 2014 - Session A23. Planning 34/49

  28. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 If a plan in the set of valid plans contains at any point actions that have 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 already been executed in the current branch 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 𝑏 42 , 𝑏 62 6 31.74 is the only one contained in the current branch β€’ that has already been inserted ICTAI 2014 - Session A23. Planning 35/49

  29. Alternative plan generation and merging (3/3) - Example Remember assumption : β€’ If an action was executed with a particular result it has this result for its entire branch. β€’ No delete effects or negated Compute possible valid # Plan Aversion preconditions οƒ  output effects still hold; plans no need for re- execution 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 If a plan in the set of valid plans contains at any point actions that have 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 already been executed in the current branch 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 If executed action had the same outcome as the one in the plan οƒ  insert 1) 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 plan into branch without the particular action 𝑏 42 , 𝑏 62 6 31.74 is the only one contained in the current branch β€’ that has already been inserted ICTAI 2014 - Session A23. Planning 35/49

  30. Alternative plan generation and merging (3/3) - Example Remember assumption : β€’ If an action was executed with a particular result it has this result for its entire branch. β€’ No delete effects or negated Compute possible valid # Plan Aversion preconditions οƒ  output effects still hold; plans no need for re- execution 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 If a plan in the set of valid plans contains at any point actions that have 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 already been executed in the current branch 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 If executed action had the same outcome as the one in the plan οƒ  insert 1) 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 plan into branch without the particular action 𝑏 42 , 𝑏 62 6 31.74 If executed action had a different outcome as the one in the plan οƒ  the 2) entire plan is rejected for this particular branch is the only one contained in the current branch β€’ that has already been inserted ICTAI 2014 - Session A23. Planning 35/49

  31. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 If a plan in the set of valid plans contains at any point actions that have 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 already been executed in the current branch 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 If executed action had the same outcome as the one in the plan οƒ  insert 1) 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 plan into branch without the particular action 𝑏 42 , 𝑏 62 6 31.74 If executed action had a different outcome as the one in the plan οƒ  the 2) entire plan is rejected for this particular branch Set of valid plans may not be the same as the original one β€’ some actions may have been removed from the plans due to (1) is the only one β€’ their cost and probability of successful execution have also changed contained in the current branch β€’ plans are sorted again by their ascending aversion factors β€’ that β€’ some plans may have been removed from the set due to (2) has already been inserted ICTAI 2014 - Session A23. Planning 35/49

  32. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 If a plan in the set of valid plans contains at any point actions that have 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 already been executed in the current branch 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 If executed action had the same outcome as the one in the plan οƒ  insert 1) 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 plan into branch without the particular action 𝑏 42 , 𝑏 62 6 31.74 If executed action had a different outcome as the one in the plan οƒ  the 2) entire plan is rejected for this particular branch Set of valid plans may not be the same as the original one β€’ some actions may have been removed from the plans due to (1) 𝑏 1 is the only one contained in β€’ β€’ their cost and probability of successful execution have also changed the current branch β€’ plans are sorted again by their ascending aversion factors β€’ Action aa 1 1 is the only one β€’ some plans may have been removed from the set due to (2) contained in the current branch that β€’ has already been inserted ICTAI 2014 - Session A23. Planning 35/49

  33. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 If a plan in the set of valid plans contains at any point actions that have 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 already been executed in the current branch 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 If executed action had the same outcome as the one in the plan οƒ  insert 1) 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 plan into branch without the particular action 𝑏 42 , 𝑏 62 6 31.74 If executed action had a different outcome as the one in the plan οƒ  the 2) entire plan is rejected for this particular branch Set of valid plans may not be the same as the original one β€’ some actions may have been removed from the plans due to (1) 𝑏 1 is the only one contained in β€’ β€’ their cost and probability of successful execution have also changed the current branch β€’ plans are sorted again by their ascending aversion factors β€’ only present in PPllaan 1 β€’ some plans may have been removed from the set due to (2) tha t has already been inserted β€’ inserted that β€’ has already been inserted ICTAI 2014 - Session A23. Planning 35/49

  34. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 If a plan in the set of valid plans contains at any point actions that have 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 already been executed in the current branch 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 If executed action had the same outcome as the one in the plan οƒ  insert 1) 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 plan into branch without the particular action 𝑏 42 , 𝑏 62 6 31.74 If executed action had a different outcome as the one in the plan οƒ  the 2) entire plan is rejected for this particular branch Set of valid plans may not be the same as the original one β€’ some actions may have been removed from the plans due to (1) 𝑏 1 is the only one contained in β€’ β€’ their cost and probability of successful execution have also changed the current branch β€’ plans are sorted again by their ascending aversion factors β€’ only present in PPllaan 1 β€’ some plans may have been removed from the set due to (2) tha t has already been inserted β€’ All other plans β€’ can be inserted intact β€’ retain their aversion factor ICTAI 2014 - Session A23. Planning 35/49

  35. Alternative plan generation and merging (3/3) - Example # Plan Aversion Best plan = 𝑏 2, 𝑏 31 𝑏 2, 𝑏 31 2 6.05 First action = a 2 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 𝑏 42 , 𝑏 61 , 𝑏 7 4 17.96 5 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 𝑏 42 , 𝑏 62 6 31.74 ICTAI 2014 - Session A23. Planning 36/49

  36. Alternative plan generation and merging (3/3) - Example # Plan Aversion Best plan = 𝑏 2, 𝑏 31 𝑏 2, 𝑏 31 2 6.05 First action = a 2 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 𝑏 42 , 𝑏 61 , 𝑏 7 4 17.96 5 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 𝑏 42 , 𝑏 62 6 31.74 ICTAI 2014 - Session A23. Planning 36/49

  37. Alternative plan generation and merging (3/3) - Example # Plan Aversion Best plan = 𝑏 2, 𝑏 31 𝑏 2, 𝑏 31 2 6.05 First action = a 2 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 𝑏 42 , 𝑏 61 , 𝑏 7 4 17.96 5 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 𝑏 42 , 𝑏 62 6 31.74 π‘‘π‘£π‘‘π‘‘π‘“π‘‘π‘‘π‘”π‘£π‘š π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ ICTAI 2014 - Session A23. Planning 36/49

  38. Alternative plan generation and merging (3/3) - Example # Plan Aversion Best plan = 𝑏 2, 𝑏 31 𝑏 2, 𝑏 31 2 6.05 First action = a 2 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 𝑏 42 , 𝑏 61 , 𝑏 7 4 17.96 5 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 𝑏 42 , 𝑏 62 6 31.74 π‘‘π‘£π‘‘π‘‘π‘“π‘‘π‘‘π‘”π‘£π‘š π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ πΈπ‘“π‘’π‘“π‘ π‘›π‘—π‘œπ‘—π‘‘π‘’π‘—π‘‘ π‘‘π‘π‘œπ‘œπ‘π‘’ π‘”π‘π‘—π‘š ICTAI 2014 - Session A23. Planning 36/49

  39. Alternative plan generation and merging (3/3) - Example # Plan Aversion Best plan = 𝑏 2, 𝑏 31 𝑏 2, 𝑏 31 2 6.05 First action = a 2 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 𝑏 42 , 𝑏 61 , 𝑏 7 4 17.96 5 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 𝑏 42 , 𝑏 62 6 31.74 π‘‘π‘£π‘‘π‘‘π‘“π‘‘π‘‘π‘”π‘£π‘š π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ πΈπ‘“π‘’π‘“π‘ π‘›π‘—π‘œπ‘—π‘‘π‘’π‘—π‘‘ π‘‘π‘π‘œπ‘œπ‘π‘’ π‘”π‘π‘—π‘š Next action in plan = a 31 Deterministic = a 31 οƒ  Probabilistic = a 3 ICTAI 2014 - Session A23. Planning 36/49

  40. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 𝑏 42 , 𝑏 61 , 𝑏 7 4 17.96 5 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 𝑏 42 , 𝑏 62 6 31.74 ICTAI 2014 - Session A23. Planning 37/49

  41. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 𝑏 42 , 𝑏 61 , 𝑏 7 4 17.96 5 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 𝑏 42 , 𝑏 62 6 31.74 π‘‘π‘£π‘‘π‘‘π‘“π‘‘π‘‘π‘”π‘£π‘š π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ ICTAI 2014 - Session A23. Planning 37/49

  42. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 𝑏 42 , 𝑏 61 , 𝑏 7 4 17.96 5 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 𝑏 42 , 𝑏 62 6 31.74 π‘‘π‘£π‘‘π‘‘π‘“π‘‘π‘‘π‘”π‘£π‘š π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ π‘”π‘π‘—π‘šπ‘“π‘’ π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ ICTAI 2014 - Session A23. Planning 37/49

  43. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 𝑏 42 , 𝑏 61 , 𝑏 7 4 17.96 5 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 𝑏 42 , 𝑏 62 6 31.74 π‘‘π‘£π‘‘π‘‘π‘“π‘‘π‘‘π‘”π‘£π‘š π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ π‘”π‘π‘—π‘šπ‘“π‘’ π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ π»π‘π‘π‘š! ICTAI 2014 - Session A23. Planning 37/49

  44. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 𝑏 42 , 𝑏 61 , 𝑏 7 4 17.96 5 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 𝑏 42 , 𝑏 62 6 31.74 π‘‘π‘£π‘‘π‘‘π‘“π‘‘π‘‘π‘”π‘£π‘š π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ π‘”π‘π‘—π‘šπ‘“π‘’ π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ 𝑂𝑓𝑦𝑒? π»π‘π‘π‘š! ICTAI 2014 - Session A23. Planning 37/49

  45. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 2, 𝑏 31 2 6.05 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 𝑏 42 , 𝑏 61 , 𝑏 7 4 17.96 5 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 𝑏 42 , 𝑏 62 6 31.74 π‘‘π‘£π‘‘π‘‘π‘“π‘‘π‘‘π‘”π‘£π‘š π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ π‘”π‘π‘—π‘šπ‘“π‘’ π‘“π‘¦π‘“π‘‘π‘£π‘’π‘—π‘π‘œ 𝑝𝑔 π‘π‘‘π‘’π‘—π‘π‘œ 𝑂𝑓𝑦𝑒? π»π‘π‘π‘š! Current plan does not contain any more actions Compute possible valid plans ICTAI 2014 - Session A23. Planning 37/49

  46. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 Current branch contains actions 𝑏 12 , 𝑏 2 , 𝑏 32 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 All actions are only present in π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 ; β€’ 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 𝑏 2 has already been executed with the same result οƒ  removed β€’ 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 and 𝑏 3 have already been inserted with different results β€’ 𝑏 42 , 𝑏 62 6 31.74 β€’ π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 are rejected β€’ All other plans β€’ can be inserted intact β€’ retain their aversion factor ICTAI 2014 - Session A23. Planning 38/49

  47. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 1 and 𝑏 3 𝑏𝑏 𝑏 3 3 𝑏 3 have already been inserted with different 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 results 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 Current branch contains actions 𝑏 12 , 𝑏 2 , 𝑏 32 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 All actions are only present in π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 ; β€’ 𝑏 42 , 𝑏 62 6 31.74 β€’ 𝑏 2 has already been executed with the same result οƒ  removed β€’ 𝑏 1 1 1 and 𝑏 3 have already been inserted with different results π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 are rejected β€’ β€’ All other plans β€’ can be inserted intact β€’ retain their aversion factor ICTAI 2014 - Session A23. Planning 38/49

  48. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 1 and 𝑏 3 𝑏𝑏 𝑏 3 3 𝑏 3 have already been inserted with different 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 results 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 Current branch contains actions 𝑏 12 , 𝑏 2 , 𝑏 32 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 All actions are only present in π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 ; β€’ 𝑏 42 , 𝑏 62 6 31.74 β€’ 𝑏 2 has already been executed with the same result οƒ  removed β€’ 𝑏 1 1 1 and 𝑏 3 have already been inserted with different results π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 are rejected β€’ β€’ All other plans β€’ can be inserted intact β€’ retain their aversion factor ICTAI 2014 - Session A23. Planning 38/49

  49. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 1 and 𝑏 3 𝑏𝑏 𝑏 3 3 𝑏 3 have already been inserted with different 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 results 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 Current branch contains actions 𝑏 12 , 𝑏 2 , 𝑏 32 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 All actions are only present in π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 ; β€’ 𝑏 42 , 𝑏 62 6 31.74 β€’ 𝑏 2 has already been executed with the same result οƒ  removed β€’ PPllaan 1 and π‘„π‘šπ‘π‘œ 2 are rejected π‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 are rejected β€’ π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 are rejected β€’ β€’ All other plans β€’ can be inserted intact β€’ retain their aversion factor ICTAI 2014 - Session A23. Planning 38/49

  50. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 4.55 𝑏 2, 𝑏 31 2 6.05 𝑏 1 and 𝑏 3 𝑏𝑏 𝑏 3 3 𝑏 3 have already been inserted with different 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 13.13 results 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 Current branch contains actions 𝑏 12 , 𝑏 2 , 𝑏 32 𝑏 41 , 𝑏 51 , 𝑏 62 5 19.91 All actions are only present in π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 ; β€’ 𝑏 42 , 𝑏 62 6 31.74 β€’ 𝑏 2 has already been executed with the same result οƒ  removed β€’ PPllaan 1 and π‘„π‘šπ‘π‘œ 2 are rejected β€’ All other plans β€’ can be inserted intact β€’ retain their aversion factor β€’ can be inserted intact β€’ retain their aversion factor ICTAI 2014 - Session A23. Planning 38/49

  51. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 13.13 3 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 4 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 5 𝑏 42 , 𝑏 62 31.74 6 ICTAI 2014 - Session A23. Planning 39/49

  52. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 13.13 3 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 4 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 5 𝑏 42 , 𝑏 62 31.74 6 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 ICTAI 2014 - Session A23. Planning 39/49

  53. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 13.13 3 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 4 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 5 𝑏 42 , 𝑏 62 31.74 6 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 ICTAI 2014 - Session A23. Planning 39/49

  54. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 13.13 3 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 4 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 5 𝑏 42 , 𝑏 62 31.74 6 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 π‘”π‘π‘—π‘šπ‘£π‘ π‘“ 𝑒𝑓𝑏𝑒 βˆ’ π‘“π‘œπ‘’! ICTAI 2014 - Session A23. Planning 39/49

  55. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 13.13 3 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 4 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 5 𝑏 42 , 𝑏 62 31.74 6 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 π‘”π‘π‘—π‘šπ‘£π‘ π‘“ 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 𝑒𝑓𝑏𝑒 βˆ’ π‘“π‘œπ‘’! ICTAI 2014 - Session A23. Planning 39/49

  56. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 13.13 3 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 4 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 5 𝑏 42 , 𝑏 62 31.74 6 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 π‘”π‘π‘—π‘šπ‘£π‘ π‘“ 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 𝑒𝑓𝑏𝑒 βˆ’ π‘“π‘œπ‘’! π‘”π‘π‘—π‘šπ‘£π‘ π‘“ ICTAI 2014 - Session A23. Planning 39/49

  57. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 13.13 3 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 4 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 5 𝑏 42 , 𝑏 62 31.74 6 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 π‘”π‘π‘—π‘šπ‘£π‘ π‘“ 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 𝑒𝑓𝑏𝑒 βˆ’ π‘“π‘œπ‘’! π‘”π‘π‘—π‘šπ‘£π‘ π‘“ 𝑒𝑓𝑏𝑒 βˆ’ π‘“π‘œπ‘’! ICTAI 2014 - Session A23. Planning 39/49

  58. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 13.13 3 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 4 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 5 𝑏 42 , 𝑏 62 31.74 6 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 π‘”π‘π‘—π‘šπ‘£π‘ π‘“ 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 𝑒𝑓𝑏𝑒 βˆ’ π‘“π‘œπ‘’! π‘”π‘π‘—π‘šπ‘£π‘ π‘“ 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 𝑒𝑓𝑏𝑒 βˆ’ π‘“π‘œπ‘’! π»π‘π‘π‘š! ICTAI 2014 - Session A23. Planning 39/49

  59. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 13.13 3 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 4 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 5 𝑏 42 , 𝑏 62 31.74 6 π‘”π‘π‘—π‘šπ‘£π‘ π‘“ ICTAI 2014 - Session A23. Planning 39/49

  60. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 13.13 3 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 4 𝑏 41 , 𝑏 51 , 𝑏 62 19.91 5 𝑏 42 , 𝑏 62 31.74 6 π‘”π‘π‘—π‘šπ‘£π‘ π‘“ 𝑂𝑓𝑦𝑒? Current plan does not contain any more actions Compute possible valid plans ICTAI 2014 - Session A23. Planning 39/49

  61. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 𝑏 2, 𝑏 31 2 Current branch contains actions 𝑏 12 , 𝑏 2 , 𝑏 32 , 𝑏 42 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 β€’ All plans contain one of those actions 4 𝑏 42 , 𝑏 61 , 𝑏 7 and π‘„π‘šπ‘π‘œ 2 contain 𝑏 1 and 𝑏 3 with different results β€’ 𝑏 41 , 𝑏 51 , 𝑏 62 5 π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 are rejected β€’ 𝑏 42 , 𝑏 62 6 β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with a different result β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 are rejected π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with the same result β€’ 𝑏 42 is removed, as it has already been executed β€’ β€’ Since they now comprise different actions β€’ new (smaller, as they are more probable) aversion factor ICTAI 2014 - Session A23. Planning 40/49

  62. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 𝑏 2, 𝑏 31 2 Current branch contains actions 𝑏 12 , 𝑏 2 , 𝑏 32 , 𝑏 42 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 β€’ All plans contain one of those actions 4 𝑏 42 , 𝑏 61 , 𝑏 7 PPllaan 1 and π‘„π‘šπ‘π‘œ 2 contain 𝑏 1 and 𝑏 3 with different β€’ 𝑏 41 , 𝑏 51 , 𝑏 62 5 results 𝑏 42 , 𝑏 62 6 β€’ contain 𝑏 1 and 𝑏 3 with different results β€’ π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 are rejected π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with a different result β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 are rejected β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with the same result β€’ β€’ 𝑏 42 is removed, as it has already been executed β€’ Since they now comprise different actions β€’ new (smaller, as they are more probable) aversion factor ICTAI 2014 - Session A23. Planning 40/49

  63. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 𝑏 2, 𝑏 31 2 Current branch contains actions 𝑏 12 , 𝑏 2 , 𝑏 32 , 𝑏 42 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 β€’ All plans contain one of those actions 4 𝑏 42 , 𝑏 61 , 𝑏 7 PPllaan 1 and π‘„π‘šπ‘π‘œ 2 contain 𝑏 1 and 𝑏 3 with different β€’ 𝑏 41 , 𝑏 51 , 𝑏 62 5 results 𝑏 42 , 𝑏 62 6 β€’ contain 𝑏 1 and 𝑏 3 with different results β€’ π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 are rejected π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with a different result β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 are rejected β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with the same result β€’ β€’ 𝑏 42 is removed, as it has already been executed β€’ Since they now comprise different actions β€’ new (smaller, as they are more probable) aversion factor ICTAI 2014 - Session A23. Planning 40/49

  64. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 𝑏 2, 𝑏 31 2 Current branch contains actions 𝑏 12 , 𝑏 2 , 𝑏 32 , 𝑏 42 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 β€’ All plans contain one of those actions 4 𝑏 42 , 𝑏 61 , 𝑏 7 PPllaan 1 and π‘„π‘šπ‘π‘œ 2 contain 𝑏 1 and 𝑏 3 with different β€’ 𝑏 41 , 𝑏 51 , 𝑏 62 5 results 𝑏 42 , 𝑏 62 6 β€’ PPllaan 1 and π‘„π‘šπ‘π‘œ 2 are rejected β€’ π‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 are rejected π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 are rejected β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with a different result β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 are rejected β€’ β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with the same result β€’ 𝑏 42 is removed, as it has already been executed β€’ Since they now comprise different actions β€’ new (smaller, as they are more probable) aversion factor ICTAI 2014 - Session A23. Planning 40/49

  65. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 𝑏 2, 𝑏 31 2 lt 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 Current branch contains actions 𝑏 12 , 𝑏 2 , 𝑏 32 , 𝑏 42 4 𝑏 42 , 𝑏 61 , 𝑏 7 β€’ All plans contain one of those actions 𝑏 41 , 𝑏 51 , 𝑏 62 5 PPllaan 1 and π‘„π‘šπ‘π‘œ 2 contain 𝑏 1 and 𝑏 3 with different β€’ 𝑏 42 , 𝑏 62 6 results β€’ PPllaan 1 and π‘„π‘šπ‘π‘œ 2 are rejected PPllaan 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with a different res 𝑣 β€’ contain 𝑏 4 with a different result π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 are rejected β€’ β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with a different result β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 are rejected π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with the same result β€’ 𝑏 42 is removed, as it has already been executed β€’ β€’ Since they now comprise different actions β€’ new (smaller, as they are more probable) aversion factor ICTAI 2014 - Session A23. Planning 40/49

  66. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 𝑏 2, 𝑏 31 2 lt 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 Current branch contains actions 𝑏 12 , 𝑏 2 , 𝑏 32 , 𝑏 42 4 𝑏 42 , 𝑏 61 , 𝑏 7 β€’ All plans contain one of those actions 𝑏 41 , 𝑏 51 , 𝑏 62 5 PPllaan 1 and π‘„π‘šπ‘π‘œ 2 contain 𝑏 1 and 𝑏 3 with different β€’ 𝑏 42 , 𝑏 62 6 results β€’ PPllaan 1 and π‘„π‘šπ‘π‘œ 2 are rejected PPllaan 3 and π‘„π‘šπ‘π‘œ 5 are rejected β€’ π‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 are rejected β€’ π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 are rejected β€’ β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with a different result β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 are rejected π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with the same result β€’ 𝑏 42 is removed, as it has already been executed β€’ β€’ Since they now comprise different actions β€’ new (smaller, as they are more probable) aversion factor ICTAI 2014 - Session A23. Planning 40/49

  67. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 𝑏 2, 𝑏 31 2 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 lt 4 𝑏 42 , 𝑏 61 , 𝑏 7 Current branch contains actions 𝑏 12 , 𝑏 2 , 𝑏 32 , 𝑏 42 𝑏 41 , 𝑏 51 , 𝑏 62 5 β€’ All plans contain one of those actions 𝑏 42 , 𝑏 62 6 β€’ PPllaan 1 and π‘„π‘šπ‘π‘œ 2 contain 𝑏 1 and 𝑏 3 with different results PPllaan 1 and π‘„π‘šπ‘π‘œ 2 are rejected β€’ PPllaan 3 and π‘„π‘šπ‘π‘œ 5 are rejected β€’ PPllaan 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with the same resul 𝑒 contain 𝑏 4 β€’ with the same result β€’ π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 are rejected π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with a different result β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 are rejected β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with the same result β€’ β€’ 𝑏 42 is removed, as it has already been executed β€’ Since they now comprise different actions β€’ new (smaller, as they are more probable) aversion factor ICTAI 2014 - Session A23. Planning 40/49

  68. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 𝑏 2, 𝑏 31 2 2 𝑏 42 is removed, as it has already been executed 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 4 𝑏 42 , 𝑏 61 , 𝑏 7 lt 𝑏 41 , 𝑏 51 , 𝑏 62 5 Current branch contains actions 𝑏 12 , 𝑏 2 , 𝑏 32 , 𝑏 42 𝑏 42 , 𝑏 62 6 β€’ All plans contain one of those actions β€’ PPllaan 1 and π‘„π‘šπ‘π‘œ 2 contain 𝑏 1 and 𝑏 3 with different results PPllaan 1 and π‘„π‘šπ‘π‘œ 2 are rejected β€’ PPllaan 3 and π‘„π‘šπ‘π‘œ 5 are rejected β€’ β€’ 𝑏 4 42 42 is removed, as it has already been executed β€’ π‘„π‘šπ‘π‘œ 1 and π‘„π‘šπ‘π‘œ 2 are rejected π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with a different result β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 are rejected β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with the same result β€’ β€’ 𝑏 42 is removed, as it has already been executed β€’ Since they now comprise different actions β€’ new (smaller, as they are more probable) aversion factor ICTAI 2014 - Session A23. Planning 40/49

  69. Alternative plan generation and merging (3/3) - Example Compute possible valid # Plan Aversion plans 𝑏 11 1 𝑏 2, 𝑏 31 2 2 𝑏 42 is removed, as it has already been executed 𝑏 41 , 𝑏 51 , 𝑏 61 , 𝑏 7 3 4 𝑏 42 , 𝑏 61 , 𝑏 7 17.96 7.05 lt 𝑏 41 , 𝑏 51 , 𝑏 62 5 Current branch contains actions 𝑏 12 , 𝑏 2 , 𝑏 32 , 𝑏 42 𝑏 42 , 𝑏 62 6 31.74 20.83 β€’ All plans contain one of those actions β€’ PPllaan 1 and π‘„π‘šπ‘π‘œ 2 contain 𝑏 1 and 𝑏 3 with different results PPllaan 1 and π‘„π‘šπ‘π‘œ 2 are rejected β€’ PPllaan 3 and π‘„π‘šπ‘π‘œ 5 are rejected β€’ β€’ Since they now comprise different actions β€’ new (smaller, as they are more probable) aversion factor π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with a different result β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 are rejected β€’ π‘„π‘šπ‘π‘œ 3 and π‘„π‘šπ‘π‘œ 5 contain 𝑏 4 with the same result β€’ β€’ 𝑏 42 is removed, as it has already been executed β€’ Since they now comprise different actions β€’ new (smaller, as they are more probable) aversion factor ICTAI 2014 - Session A23. Planning 40/49

  70. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 42 , 𝑏 61 , 𝑏 7 7.05 4 𝑏 42 , 𝑏 62 20.83 6 ICTAI 2014 - Session A23. Planning 41/49

  71. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 42 , 𝑏 61 , 𝑏 7 7.05 4 𝑏 42 , 𝑏 62 20.83 6 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 ICTAI 2014 - Session A23. Planning 41/49

  72. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 42 , 𝑏 61 , 𝑏 7 7.05 4 𝑏 42 , 𝑏 62 20.83 6 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 ICTAI 2014 - Session A23. Planning 41/49

  73. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 42 , 𝑏 61 , 𝑏 7 7.05 4 𝑏 42 , 𝑏 62 20.83 6 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 π»π‘π‘π‘š! Current plan does not contain any more actions Compute possible valid plans ICTAI 2014 - Session A23. Planning 41/49

  74. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 42 , 𝑏 61 , 𝑏 7 7.05 4 𝑏 42 , 𝑏 62 20.83 6 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 π»π‘π‘π‘š! Current plan does not contain any more actions Compute possible valid plans ICTAI 2014 - Session A23. Planning 41/49

  75. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 42 , 𝑏 61 , 𝑏 7 7.05 4 𝑏 42 , 𝑏 62 20.83 6 Current plan does not contain any more actions Compute possible valid plans ICTAI 2014 - Session A23. Planning 41/49

  76. Alternative plan generation and merging (3/3) - Example # Plan Aversion 𝑏 42 , 𝑏 61 , 𝑏 7 7.05 4 𝑏 42 , 𝑏 62 20.83 6 𝑑𝑣𝑑𝑑𝑓𝑑𝑑 π»π‘π‘π‘š! Current plan does not contain any more actions Compute possible valid plans ICTAI 2014 - Session A23. Planning 41/49

  77. β€’ Introduction β€’ Background o Problem formulation β€’ Related Work o Non-Deterministic planning o WSC β€’ Alternative plan generation and merging o Example Evaluation β€’ o Results β€’ Conclusion ICTAI 2014 - Session A23. Planning 42/49

  78. Evaluation (1/4) Evaluation based on two domains β€’ o Variation of the one presented as an example o Modified version of the evaluation domain from Hatzi et al. (2011) o A user desires to purchase a book through an electronic bookstore o knows book title / author, credit card information, and shipping address o r esult: book’s purchase, shipping date, and customs cost for the item o Both domains have two versions uni ) o uniform costs for the web services ( Dom x var ) o variant cost for each web service ( Dom x o Domain costs o start from 1 o taken from exponential probability density function, f 𝑦 = 𝑓 βˆ’ π‘¦βˆ’1 , 𝑦 β‰₯ 1 ICTAI 2014 - Session A23. Planning 43/49

Recommend

Automated Web Service Composition in Practice: from Composition Requirements Specification to

Automated Web Service Composition in Practice: from Composition Requirements Specification to

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works Automated Web Service Composition in Practice: from Composition Requirements Specification to Process Run. Annapaola Marconi , Marco Pistore and

730 views β€’ 59 slides
Strategic planning in ATM with a stochastic anytime approach J. A. Cobano, D. Alejo, G. Heredia

Strategic planning in ATM with a stochastic anytime approach J. A. Cobano, D. Alejo, G. Heredia

Strategic planning in ATM with a stochastic anytime approach J. A. Cobano, D. Alejo, G. Heredia and A. Ollero Robotics, Vision and Control Group, University of Seville (Spain) Strategic planning in ATM with a stochastic anytime approach

487 views β€’ 31 slides
Composition of Web Services on Large Service Models Riina Maigre Institute of Cybernetics at

Composition of Web Services on Large Service Models Riina Maigre Institute of Cybernetics at

Composition of Web Services on Large Service Models Riina Maigre Institute of Cybernetics at Tallinn University of Technology 17 May 2011 Outline Introduction Service Model Logic for Composition on Service Models Experiments Large Service

427 views β€’ 30 slides
BenAware Self Service Enrollment Instructions To do all your self-serve enrollment online anytime

BenAware Self Service Enrollment Instructions To do all your self-serve enrollment online anytime

BenAware Self Service Enrollment Instructions To do all your self-serve enrollment online anytime during the enrollment window, please visit: https://awd.benselect.com/Enroll 1. Please click on blue link provided above 2. You will be asked to

372 views β€’ 15 slides
Towards an Automatic Non-Deterministic Web Service Composition Platform Markou, G. &

Towards an Automatic Non-Deterministic Web Service Composition Platform Markou, G. &

Towards an Automatic Non-Deterministic Web Service Composition Platform Markou, G. & Refanidis, I. Dept. of Applied Informatics, University of Macedonia, Greece NWeSP 2012 - Poster Session Related Work Literature for Web Service

687 views β€’ 68 slides
QoS-aware Service Composition in Dynamic Service Oriented Environments December 3rd 2009

QoS-aware Service Composition in Dynamic Service Oriented Environments December 3rd 2009

QoS-aware Service Composition in Dynamic Service Oriented Environments December 3rd 2009 Middleware 09, Urbana-Champaign, USA Nebil Ben Mabrouk, Sandrine Beauche, Elena Kuznetsova, Nikolaos Georgantas and Valrie Issarny ARLES

462 views β€’ 28 slides
FRESCO Foundational Research on Service Composition Modelling Support for Service Compounds

FRESCO Foundational Research on Service Composition Modelling Support for Service Compounds

FRESCO Foundational Research on Service Composition Modelling Support for Service Compounds Thomas Plmpe Henning Brandt 8 July 2002 OVERVIEW CONTEXT OBJECTIVES METHOD OF PROCEEDING RELATED WORK Overview

472 views β€’ 10 slides
Optimal service selection policies for dynamic service composition Miroslav ivkovi University

Optimal service selection policies for dynamic service composition Miroslav ivkovi University

Optimal service selection policies for dynamic service composition Miroslav ivkovi University of Amsterdam (UvA) System and Network Engineering Group m.zivkovic@uva.nl Joost Bosman, Hans van den Berg, Rob van der Mei, Erik Meeuwissen,

398 views β€’ 18 slides
WINTER 2017-18 Hows It Going So Far? Will Real Winter Return Anytime Soon? Tim Bardsley

WINTER 2017-18 Hows It Going So Far? Will Real Winter Return Anytime Soon? Tim Bardsley

WINTER 2017-18 Hows It Going So Far? Will Real Winter Return Anytime Soon? Tim Bardsley Senior Service Hydrologist NWS Reno Tim.bardsley@noaa.gov Reno National Weather Service Forecasting for the Sierra and western Nevada since

618 views β€’ 16 slides
Anytime, Anywhere, .. 1 Rajendra P. Srivastava PhD (Physics) & PhD (Accounting) EY

Anytime, Anywhere, .. 1 Rajendra P. Srivastava PhD (Physics) & PhD (Accounting) EY

Anytime, Anywhere, .. Anytime, Anywhere, .. 1 Rajendra P. Srivastava PhD (Physics) & PhD (Accounting) EY Professor of Accounting and Information Systems School of Business, The University of Kansas Lawrence, KS 66045 Email 1:

991 views β€’ 58 slides
A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos

A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos

A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala un University of M alaga, Spain

603 views β€’ 10 slides
Action Selection for MDPs: Anytime AO* vs. UCT Blai Bonet 1 and Hector Geffner 2 1 Universidad

Action Selection for MDPs: Anytime AO* vs. UCT Blai Bonet 1 and Hector Geffner 2 1 Universidad

Action Selection for MDPs: Anytime AO* vs. UCT Blai Bonet 1 and Hector Geffner 2 1 Universidad Sim on Bol var 2 ICREA & Universitat Pompeu Fabra AAAI, Toronto, Canada, July 2012 Online MDP Planning and UCT Offline infinite-horizon MDP

476 views β€’ 21 slides
Automatic Web Service Composition Models, Complexity and Applications PhD Defense Presentation

Automatic Web Service Composition Models, Complexity and Applications PhD Defense Presentation

Automatic Web Service Composition Models, Complexity and Applications PhD Defense Presentation PhD candidate Paul Diac Alexandru Ioan Cuza University of Iasi Faculty of Computer Science Supervisor: Prof. Dr. Dan Cristea 26 June, 2020

758 views β€’ 55 slides
From Service- to UI-Oriented Computing The Vision of an Intuitive Composition Paradigm Florian

From Service- to UI-Oriented Computing The Vision of an Intuitive Composition Paradigm Florian

From Service- to UI-Oriented Computing The Vision of an Intuitive Composition Paradigm Florian Daniel @ ZEUS, 13-14 February 2017, USI Lugano, Switzerland After more than a decade since their emergence, why are Web services and SOC still a

642 views β€’ 60 slides
TF13. Prediction and modelling of service composition performance, quality and reliability

TF13. Prediction and modelling of service composition performance, quality and reliability

ICT COST Action IC1304 Autonomous Control for a Reliable Internet of Services (ACROSS) TF13. Prediction and modelling of service composition performance, quality and reliability Tihana Galinac Grbac 10/24/2015 TF13 Participants: Jasmina

360 views β€’ 10 slides
A Formal Model for Web-Service Composition Simon Foster <S.Foster@dcs.shef.ac.uk>

A Formal Model for Web-Service Composition Simon Foster <S.Foster@dcs.shef.ac.uk>

Outline Background The Cashew Orchestration Model My Work Conclusion and References A Formal Model for Web-Service Composition Simon Foster <S.Foster@dcs.shef.ac.uk> Department of Computer Science University of Sheffield

633 views β€’ 34 slides
Requirement for Service Composition Tian Huat Tan 1 , tienne Andr 2 , Jun Sun 3 , Yang Liu 4 ,

Requirement for Service Composition Tian Huat Tan 1 , tienne Andr 2 , Jun Sun 3 , Yang Liu 4 ,

Dynamic Synthesis of Local Time Requirement for Service Composition Tian Huat Tan 1 , tienne Andr 2 , Jun Sun 3 , Yang Liu 4 , Jin Song Dong 1 , Manman Chen 1 1 National University of Singapore, Singapore 2 Universit Paris 13, France 3

742 views β€’ 29 slides
Service Composition and Synthesis The Roman Model Giuseppe De Giacomo SAPIENZA Universit di

Service Composition and Synthesis The Roman Model Giuseppe De Giacomo SAPIENZA Universit di

Service Composition and Synthesis The Roman Model Giuseppe De Giacomo SAPIENZA Universit di Roma, Italy Joint work with Daniela Berardi, Massimiliano de Leoni, Diego Calvanese, Fahima Cheikh, Rick Hull, Maurizio Lenzerini, Massimo Mecella,

611 views β€’ 40 slides
Anytime Best First search: Empirical evaluation Natalia Flerova Radu Marinescu

Anytime Best First search: Empirical evaluation Natalia Flerova Radu Marinescu

Anytime Best First search: Empirical evaluation Natalia Flerova Radu Marinescu Rina Dechter University of California IBM Research Irvine Ireland Anytime Repairing AOBF (wR-AOBF) (based on ARA* [Likhachev et al. 2003] ) Main

390 views β€’ 12 slides
The Anytime Automaton Joshua San Miguel Natalie Enright Jerger Summary We propose the Anytime

The Anytime Automaton Joshua San Miguel Natalie Enright Jerger Summary We propose the Anytime

The Anytime Automaton Joshua San Miguel Natalie Enright Jerger Summary We propose the Anytime Automaton : A new computation model for approximate computing. 2 Summary We propose the Anytime Automaton : A new computation model for

3.55k views β€’ 154 slides
A reuse-based approach to the correct and automatic web service composition Paola Inverardi and

A reuse-based approach to the correct and automatic web service composition Paola Inverardi and

A reuse-based approach to the correct and automatic web service composition Paola Inverardi and Massimo Tivoli University of LAquila Dep. Computer Science {inverard, tivoli}@di.univaq.it Application domain Distributed business

500 views β€’ 26 slides
From Anywhere, Anytime, Anyone to The Right Information at the Right Time, in the Right

From Anywhere, Anytime, Anyone to The Right Information at the Right Time, in the Right

Wisdom is not the product of schooling but the lifelong attempt to acquire it. - Albert Einstein From Anywhere, Anytime, Anyone to The Right Information at the Right Time, in the Right Place, in the Right Way to the Right Person

622 views β€’ 44 slides
Empirical Evaluation of Anytime Weighted AND/OR Best-First Search for MAP joint work with Radu

Empirical Evaluation of Anytime Weighted AND/OR Best-First Search for MAP joint work with Radu

Empirical Evaluation of Anytime Weighted AND/OR Best-First Search for MAP joint work with Radu Marinescu and Rina Dechter Summary Best first search (A*) is *best* combinatorial optimization algorithm, but is not anytime. (First solution

573 views β€’ 43 slides
Service composition: Deriving Component Designs from Global Requirements Gregor v. Bochmann

Service composition: Deriving Component Designs from Global Requirements Gregor v. Bochmann

Service composition: Deriving Component Designs from Global Requirements Gregor v. Bochmann School of I nformation Technology and Engineering (SI TE) University of Ottawa Canada http://www.site.uottawa.ca/~ bochmann/talks/Deriving-3.ppt

707 views β€’ 56 slides

More recommend