ICTAI 2014

advertisement
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
o
•
Problem formulation
Related Work
Non-Deterministic planning
o WSC
o
•
Alternative plan generation and merging
o
•
Evaluation
o
•
Example
Results
Conclusion
ICTAI 2014 - Session A23. Planning
2/49
Introduction (1/2)
•
Web Service Composition (WSC)  reductions in time / money
required to produce enterprise applications
Number of WSs growing continuously  discovery phase more difficult
o Ever-changing environment: interfaces / usage
o Always possible that their execution is not successful
o
automatic
nondeterministic
•
Solution of non-deterministic WSC problem with complete
information is EXP-hard (Nam, Kil, and Lee 2011)
•
Semantic WSs:
fully
observable
probabilistic
problem
Functionality level: defined in regards to preconditions /effects over
ontological concepts
o Can have alternative outcomes, each with a probability of occurring
attached to it
o
ICTAI 2014 - Session A23. Planning
3/49
Introduction (2/2)
•
MAPPPA (anagram of Anytime Probabilistic Planning via
Alternative Plan Merging) planner
Anytime contingent planning framework
o Inspired by FF-Replan (winner of the 2004 IPPC-04)
o Takes the probabilities of the original non-deterministic actions into
consideration while generating the contingent plan
o Specifically targeted for WSC problems
o
ICTAI 2014 - Session A23. Planning
4/49
•
Introduction
•
Background
o
•
Problem formulation
Related Work
Non-Deterministic planning
o WSC
o
•
Alternative plan generation and merging
o
•
Evaluation
o
•
Example
Results
Conclusion
ICTAI 2014 - Session A23. Planning
5/49
Background (1/3)
•
View WSC as “planning for service chaining”
Only take into account semantic WSs at their functionality level (described in
the service profile part of OWL-S)
o Technical details, e.g., data structures or WSDL schemata, are ignored
o WSs defined by name, Inputs/Outputs and Preconditions/Effects (IOPEs)
o
ICTAI 2014 - Session A23. Planning
6/49
Background (2/3)
•
Translation from WS domain (OWL-S) to planning one (PPDDL)
Inputs + preconditions (hasInput + hasPrecondition)  action’s preconditions
o Outputs + effects (hasOutput + hasEffect)  action’s add effects
o IOPEs comprise set of ontological concepts  domain’s predicates
o Initial state /problem’s goal : conjunction of literals, i.e., ontological concepts
o Solution: template for execution, necessary WSs and their order of execution
o
•
Current web service repository
o
OWL-S Service Retrieval Test Collection v. 4.0
ICTAI 2014 - Session A23. Planning
7/49
Background (3/3) – Problem Formulation
o
Probabilistic planning domain is of the form D = S, A, γ, Pr, Co
o
o
o
o
o
o
S is a finite set of states
A is a finite set of actions
γ ∶ S × A → 2S is the state-transition function
Pr ∶ S × A × S → 0,1 is the probability-transition function
Co ∶ S × A × S → ℕ is a bounded cost-function
Planning problem is a triple P = s0 , sg , D
o s0
∈ S is the initial state
o
o
o sg
o
o
closed world semantics
only contains static propositions: truth value cannot change during the planning process
∈ S is the goal state
FOP problem
Solutions to non-deterministic problems
weak
o strong
o strong cyclic
o
ICTAI 2014 - Session A23. Planning
8/49
•
•
Introduction
Background
o
•
Problem formulation
Related Work
Non-Deterministic planning
o WSC
o
•
Alternative plan generation and merging
o
•
Evaluation
o
•
Example
Results
Conclusion
ICTAI 2014 - Session A23. Planning
9/49
Related Work (1/2) – WSC
•
Literature review suggests
o
AI planning is the method of choice for WSC
o
o
Gap in the evaluation process of current WSC systems
o
o
OWL-S to PDDL translation : Klusch, Gerber & Schmidt (2005), Hatzi et al. (2011)
Evaluation based on a single case study, without quantitative criteria is common,
e.g., Chen, Xu, and Reiff-Marganiec (2009)
Scarcity of non-deterministic WSC approaches
o
Exceptions, e.g., Hoffmann, et al. (2009)
o
o
application of a web service as a belief update operation
identify two tractable special cases of WSC under uncertainty
ICTAI 2014 - Session A23. Planning
10/49
Related Work (2/2) – Non-Deterministic planning
o
FF-Replan
single plan for a deterministic version of the original problem
o determinizations
o
o
o
o
o
single-outcome: select one probabilistic effect as the outcome of each action,
all-outcomes: create new action for each of the outcomes of the probabilistic effect
Ignores the probabilities attached to the probabilistic outcomes
(Jiménez, Coles, and A. Smith 2006)
all-outcomes determinization
o translation of probabilities to associated cost values ≈the risk of failing
o metric planner  minimize the product of the failure probabilities
o
o
(Dearden et al. 2003)
construct seed plan though deterministic planning
o additional (deterministic) branches added incrementally
o best place to insert branch computed based on (approximation of) the amount of
utility gained
o
ICTAI 2014 - Session A23. Planning
11/49
•
•
Introduction
Background
o
•
Problem formulation
Related Work
Non-Deterministic planning
o WSC
o
•
Alternative plan generation and merging
o
•
Evaluation
o
•
Example
Results
Conclusion
ICTAI 2014 - Session A23. Planning
12/49
Alternative plan generation and merging (1/3)
o
Anytime contingent planning algorithm - Three steps:
creates a determinized version of the problem
o generates multiple solutions to the new deterministic problem
o merges plans in a single decision tree / contingent plan
o
o
Tailor-made for WSC problems. Assumptions:
o
WSs do not produce irreversible results
o
o
once an action has been executed with a specific effect as an outcome, then for the
rest of the particular branch it cannot be executed again with a different outcome
o
o
also holds for undesired effects; If it fails in a particular branch, it will always fail in it
real-world example:
o
o
always possible, from any state in the problem, to return to the initial one
e.g., network failure, is not probable to be available again in a very short amount of
time.
consequence
o
contingent plan can execute each of the actions at most once in each of its branches 
solutions do not contain infinite branches or cycles
ICTAI 2014 - Session A23. Planning
13/49
Alternative plan generation and merging (2/3)
o
MAPPPA: all-outcomes determinization + incorporation of probabilities
o
each action from the original problem is associated with an aversion factor
o
o
o
Not guaranteed to converge to an optimal contingent plan
o
o
probability monotonically increases as each new (deterministic) branch is added
In general, the decision tree is a weak plan
o
o
maintain the original probabilities and costs from the probabilistic domain
combined into a single metric  how much the planner should try to avoid using this
action due to its high probability of failing or its high cost in case it succeeds
If all the decision tree branches achieve the goals, the DT is a strong plan
Planning can be based on any search algorithm that returns multiple
deterministic plans
we use a variation of A* algorithm: continues finding solutions after the first one
o aversion metric can be integrated both as the past path-cost function of A* during
planning, or as a sorting metric of the plans afterwards
o
ICTAI 2014 - Session A23. Planning
14/49
Alternative plan generation and merging (3/3) - Example
States represented by a circle
ICTAI 2014 - Session A23. Planning
15/49
Alternative plan generation and merging (3/3) - Example
Deterministic actions
denoted by a straight line
(𝑎2 and 𝑎7 )
ICTAI 2014 - Session A23. Planning
16/49
Alternative plan generation and merging (3/3) - Example
Probabilistic actions denoted
by a dotted line
ICTAI 2014 - Session A23. Planning
17/49
Alternative plan generation and merging (3/3) - Example
Some probabilistic actions
have a single effect executed
with a probability 𝑝𝑟𝑜𝑏𝛼𝑖𝑗 &
with a probability of
1 − 𝑝𝑟𝑜𝑏𝛼𝑖𝑗 they fail
ICTAI 2014 - Session A23. Planning
18/49
Alternative plan generation and merging (3/3) - Example
Other probabilistic actions
have two different effects,
each having a different
probability of being produced
ICTAI 2014 - Session A23. Planning
19/49
Alternative plan generation and merging (3/3) - Example
Cost associated with each
action is shown opposite it,
e.g., 𝑐𝑜𝑠𝑡𝛼11 = 4,𝑐𝑜𝑠𝑡𝛼7 = 2
ICTAI 2014 - Session A23. Planning
20/49
Alternative plan generation and merging (3/3) - Example
For this example, we use as an
aversion metric,
1
𝑔 = 𝑐𝑜𝑠𝑡𝑎𝑖𝑗 +
𝑝𝑟𝑜𝑏𝛼𝑖𝑗 +1
ICTAI 2014 - Session A23. Planning
21/49
Alternative plan generation and merging (3/3) - Example
Original
probabilistic
actions
All-outcomes
determinization
a11
a12
a2
a1 example, we useaas
For this
31 an
*
a2 metric,
aversion
a32
1
𝑔 =a3 𝑐𝑜𝑠𝑡𝑎𝑖𝑗 +
𝑝𝑟𝑜𝑏
a𝛼41𝑖𝑗 +1
a4
a42
a5
a6
a51
a7 *
a
*(deterministic)
52
a61
a62
a7
ICTAI 2014 - Session A23. Planning
22/49
Alternative plan generation and merging (3/3) - Example
Plan
𝑎11
𝑎2, 𝑎31
Prob
Cost
Aversion
0.8
4
4.55
0.8
5
6.05
= 1 ∗ 0.8
= 0.8
1
1 +11
=4+
0.81+ 1
+ 3+
0.8 + 1
= 2+
𝑔=
𝑐𝑜𝑠𝑡𝑎𝑖𝑗 +
1
𝑝𝑟𝑜𝑏𝛼𝑖𝑗 +1
ICTAI 2014 - Session A23. Planning
23/49
Alternative plan generation and merging (3/3) - Example
#
1
2
3
Plan
Aversion
𝑎11
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
4.55
6.05
13.13
ICTAI 2014 - Session A23. Planning
24/49
Alternative plan generation and merging (3/3) - Example
#
1
2
3
4
Plan
Aversion
𝑎11
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
4.55
6.05
13.13
17.96
ICTAI 2014 - Session A23. Planning
25/49
Alternative plan generation and merging (3/3) - Example
#
1
2
3
4
5
Plan
Aversion
𝑎11
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
4.55
6.05
13.13
17.96
19.91
ICTAI 2014 - Session A23. Planning
26/49
Alternative plan generation and merging (3/3) - Example
#
1
2
3
4
5
6
Plan
Aversion
𝑎11
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
𝑎42 , 𝑎62
4.55
6.05
13.13
17.96
19.91
31.74
ICTAI 2014 - Session A23. Planning
27/49
Alternative plan generation and merging (3/3) - Example
#
1
2
3
4
5
6
Plan
Aversion
𝑎11
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
𝑎42 , 𝑎62
4.55
6.05
13.13
17.96
19.91
31.74
Circular nodes
= Chance nodes
ICTAI 2014 - Session A23. Planning
28/49
Alternative plan generation and merging (3/3) - Example
#
1
2
3
4
5
6
Plan
Aversion
𝑎11
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
𝑎42 , 𝑎62
4.55
6.05
13.13
17.96
19.91
31.74
Grey nodes
potentially lead
to the goal
ICTAI 2014 - Session A23. Planning
29/49
Alternative plan generation and merging (3/3) - Example
#
1
2
3
4
5
6
Plan
Aversion
𝑎11
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
𝑎42 , 𝑎62
4.55
6.05
13.13
17.96
19.91
31.74
White nodes
don’t lead to the
goal
ICTAI 2014 - Session A23. Planning
30/49
Alternative plan generation and merging (3/3) - Example
#
1
2
3
4
5
6
Plan
Aversion
𝑎11
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
𝑎42 , 𝑎62
4.55
6.05
13.13
17.96
19.91
31.74
Triangular nodes
= end nodes
ICTAI 2014 - Session A23. Planning
31/49
Alternative plan generation and merging (3/3) - Example
#
1
2
3
4
5
6
Plan
Aversion
𝑎11
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
𝑎42 , 𝑎62
4.55
6.05
13.13
17.96
19.91
31.74
Goal node
ICTAI 2014 - Session A23. Planning
32/49
Alternative plan generation and merging (3/3) - Example
#
1
2
3
4
5
6
Plan
Aversion
𝑎11
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
𝑎42 , 𝑎62
4.55
6.05
13.13
17.96
19.91
31.74
Dead-end node
ICTAI 2014 - Session A23. Planning
33/49
Alternative plan generation and merging (3/3) - Example
#
1
2
3
4
5
6
Plan
Aversion
𝑎11
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
𝑎42 , 𝑎62
Best plan = a11
First action = a11
Deterministic = a11  Probabilistic = a1
4.55
6.05
13.13
17.96
19.91
31.74
𝑓𝑎𝑖𝑙𝑒𝑑 𝑒𝑥𝑒𝑐𝑢𝑡𝑖𝑜𝑛 𝑜𝑓 𝑎𝑐𝑡𝑖𝑜𝑛
𝑠𝑢𝑐𝑐𝑒𝑠𝑠𝑓𝑢𝑙 𝑒𝑥𝑒𝑐𝑢𝑡𝑖𝑜𝑛 𝑜𝑓 𝑎𝑐𝑡𝑖𝑜𝑛
𝑁𝑒𝑥𝑡?
𝐺𝑜𝑎𝑙!
Current plan = a11 does not contain any
more actions
Compute possible valid
plans
ICTAI 2014 - Session A23. Planning
34/49
Remember
assumption:
Alternative plan generation and merging
(3/3)
Example
• If an action was executed with a
#
1
2
3
4
5
6
Plan
particular result it has this result for its
entire branch.
• No delete effects or negated
Compute possible
valid  output effects still hold;
preconditions
plans
no need for re- execution
Aversion
𝑎11
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
𝑎42 , 𝑎62
4.55
6.05
13.13
17.96
19.91
31.74
If a plan in the set of valid plans contains at any point actions that have
already been executed in the current branch
1) If executed action had the same outcome as the one in the plan  insert
plan into branch without the particular action
2) If executed action had a different outcome as the one in the plan  the
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)
• Action 𝑎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
• only present in 𝑃𝑙𝑎𝑛• 1 that
some plans may have been removed from the set due to (2)
has already been inserted
• All other plans
• can be inserted intact
• retain their aversion factor
ICTAI 2014 - Session A23. Planning
35/49
Alternative plan generation and merging (3/3) - Example
#
2
3
4
5
6
Plan
Aversion
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
𝑎42 , 𝑎62
Best plan = 𝑎2, 𝑎31
First action = a2
6.05
13.13
17.96
19.91
31.74
𝑠𝑢𝑐𝑐𝑒𝑠𝑠𝑓𝑢𝑙 𝑒𝑥𝑒𝑐𝑢𝑡𝑖𝑜𝑛 𝑜𝑓 𝑎𝑐𝑡𝑖𝑜𝑛
𝐷𝑒𝑡𝑒𝑟𝑚𝑖𝑛𝑖𝑠𝑡𝑖𝑐
𝑐𝑎𝑛𝑛𝑜𝑡 𝑓𝑎𝑖𝑙
Next action in plan = a31
Deterministic = a31  Probabilistic = a3
ICTAI 2014 - Session A23. Planning
36/49
Alternative plan generation and merging (3/3) - Example
#
Plan
Aversion
2
3
4
5
6
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
𝑎42 , 𝑎62
6.05
13.13
17.96
19.91
31.74
𝑓𝑎𝑖𝑙𝑒𝑑 𝑒𝑥𝑒𝑐𝑢𝑡𝑖𝑜𝑛 𝑜𝑓 𝑎𝑐𝑡𝑖𝑜𝑛
𝑠𝑢𝑐𝑐𝑒𝑠𝑠𝑓𝑢𝑙 𝑒𝑥𝑒𝑐𝑢𝑡𝑖𝑜𝑛 𝑜𝑓 𝑎𝑐𝑡𝑖𝑜𝑛
𝑁𝑒𝑥𝑡?
𝐺𝑜𝑎𝑙!
Current plan does not contain any more
actions
Compute possible valid
plans
ICTAI 2014 - Session A23. Planning
37/49
Alternative plan generation and merging (3/3) - Example
#
Plan
Aversion
1
2
3
4
5
6
𝑎11
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
𝑎42 , 𝑎62
4.55
6.05
13.13
17.96
19.91
31.74
Compute possible valid
plans
•
•
•
Current branch contains actions 𝑎12 , 𝑎2 , 𝑎32
All actions are only present in 𝑃𝑙𝑎𝑛1 and 𝑃𝑙𝑎𝑛2 ;
• 𝑎2 has already been executed with the same result  removed
• 𝑎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
Alternative plan generation and merging (3/3) - Example
#
3
4
5
6
Plan
Aversion
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
𝑎42 , 𝑎62
13.13
17.96
19.91
31.74
𝑠𝑢𝑐𝑐𝑒𝑠𝑠
𝑓𝑎𝑖𝑙𝑢𝑟𝑒
𝑁𝑒𝑥𝑡?
𝑓𝑎𝑖𝑙𝑢𝑟𝑒
𝑑𝑒𝑎𝑑 − 𝑒𝑛𝑑!
Current plan does not contain any more
actions
𝑠𝑢𝑐𝑐𝑒𝑠𝑠
𝑠𝑢𝑐𝑐𝑒𝑠𝑠
𝑓𝑎𝑖𝑙𝑢𝑟𝑒
𝑑𝑒𝑎𝑑 − 𝑒𝑛𝑑!
Compute possible valid
plans
ICTAI 2014 - Session A23. Planning
𝑠𝑢𝑐𝑐𝑒𝑠𝑠
𝐺𝑜𝑎𝑙!
39/49
Alternative plan generation and merging (3/3) - Example
#
Plan
1
2
3
4
5
6
𝑎11
𝑎2, 𝑎31
𝑎41 , 𝑎51 , 𝑎61 , 𝑎7
𝑎42 , 𝑎61 , 𝑎7
𝑎41 , 𝑎51 , 𝑎62
𝑎42 , 𝑎62
Compute possible valid
plans
Aversion
17.96 7.05
•
•
31.74 20.83
•
Current branch contains actions 𝑎12 , 𝑎2 , 𝑎32 , 𝑎42
All plans contain one of those actions
• 𝑃𝑙𝑎𝑛1 and 𝑃𝑙𝑎𝑛2 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
Alternative plan generation and merging (3/3) - Example
#
4
6
Plan
Aversion
𝑎42 , 𝑎61 , 𝑎7
𝑎42 , 𝑎62
7.05
20.83
𝑠𝑢𝑐𝑐𝑒𝑠𝑠
𝐺𝑜𝑎𝑙!
𝑠𝑢𝑐𝑐𝑒𝑠𝑠
𝑠𝑢𝑐𝑐𝑒𝑠𝑠
𝐺𝑜𝑎𝑙!
Current plan does not contain any more
actions
Compute possible valid
plans
ICTAI 2014 - Session A23. Planning
41/49
•
•
Introduction
Background
o
•
Problem formulation
Related Work
Non-Deterministic planning
o WSC
o
•
Alternative plan generation and merging
o
•
Evaluation
o
•
Example
Results
Conclusion
ICTAI 2014 - Session A23. Planning
42/49
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
o
knows book title / author, credit card information, and shipping address
result: book’s purchase, shipping date, and customs cost for the item
o Both domains have two versions
uniform costs for the web services (Domuni
x )
o variant cost for each web service (Domvar
x )
o
o Domain costs
o
start from 1
o
taken from exponential probability density function, f 𝑥 = 𝑒 −
ICTAI 2014 - Session A23. Planning
𝑥−1
, 𝑥≥1
43/49
Evaluation (2/4)
•
Different setup versions for A* (search algorithm)
o combinations of path-cost function /
o
heuristic estimates
o
max heuristic (hmax ) (not admissible in all settings)
additive heuristic (hadd ), with the extra assumption that the action costs are unary
h=0
o
h𝑠𝑖𝑚𝑖 = 𝑝𝑟𝑒𝑑𝑖𝑐𝑎𝑡𝑒𝑠 ∈ sg /s𝑖 , i.e., number of goals that not yet achieved
o
Bonet and Geffner (2001)
o
o
heuristic estimates
path-cost functions / aversion metrics for A*:
o
𝑔𝑎 =
o
𝑔𝑏 =
o
𝑔𝑐 =
o
𝑔𝑑 =
o
𝑔𝑒 = 𝑎
cost aij +
1
,
probαij +1
costaij
probaij +1
costaij
,
probaij +1
cost aij −
ICTAI 2014 - Session A23. Planning
probaij
44/49
Evaluation (3/4) - Results
o
In all cases, the algorithm outputted all possible solutions
o
o
the resulting decision trees varied according to the selected path-cost function
Heuristics
o
In (the simpler) 𝐷𝑜𝑚1 all heuristics, in any combination with a path-cost function,
produce solutions quickly
o
o
the simpler heuristics ℎ = 0 and hsim produce the plans in less time than the others
ℎ𝑎𝑑𝑑 and ℎ𝑚𝑎𝑥 are more informed heuristics. Worse performance probably due to:
o
combination of faster computation of simpler heuristics and hardness of domains
ICTAI 2014 - Session A23. Planning
45/49
Evaluation (4/4) - Results
o
Path-cost functions
In regard to time and amount
In (the simpler) 𝐷𝑜𝑚1 the choice of path-cost function is
as important
of not
expanded
states as the
heuristic in regard to the required time
o However, using the number of actions (𝑔 = 𝑎 ) as the path-cost function
regardless of the heuristic  most effective
o
o
Overall
the approach is efficient in the evaluation domains tested
o simple, non-time-consuming heuristics, are the method of choice
o
ICTAI 2014 - Session A23. Planning
46/49
•
•
Introduction
Background
o
•
Problem formulation
Related Work
Non-Deterministic planning
o WSC
o
•
Alternative plan generation and merging
o
•
Evaluation
o
•
Example
Results
Conclusion
o
Future work
ICTAI 2014 - Session A23. Planning
47/49
Conclusion
• MAPPPA:
o Anytime probabilistic planner
o Produces a contingent plan by integrating alternative
deterministic solutions to a determinized probabilistic problem
determinized problem does not disregard WSs reliability or cost
o promising results in our evaluation
o integrated into our prototype WSC platform, MADSWAN*
o
*(alpha
version available currently only contains deterministic WSC algorithm)
gmarkou@uom.gr
http://goo.gl/mqyEOX
http://goo.gl/IBgax3
ICTAI 2014 - Session A23. Planning
48/49
Future work
o Planning:
Use an existing deterministic planner to generate the alternative plans
o Optimized existing implementation of A*
o
o
o
prune paths subsumed by others  check if all previously added actions in path already form
another, shorter, solution
prune paths trying to add a deterministic action 𝑎𝑥𝑖, , if 𝑎𝑥𝑗 is already in the same path
o OWL-S
Consider ontological concepts’ matches covering plug-in or subsumes
relationships
same non-deterministic
with a different
o Support OWL-S extensions that allows description of WS QoSaction
elements,
e.g., OWL-Q
o
alternative outcome
ICTAI 2014 - Session A23. Planning
49/49
Thank you for your attention!
Questions?
References:
•
•
•
•
•
•
•
•
B. Bonet, and H. Geffner, “Planning as heuristic search,” Artif. Intell., vol. 129, no. 1, pp. 5-33, 2001.
K. Chen, J. Xu, and S. Reiff-Marganiec, “Markov-HTN planning approach to enhance flexibility of automatic web
service composition”, Proc. IEEE International Conference on Web Services (ICWS'09), July 2009, pp. 9-16.
R. Dearden, N. Meuleau, S. Ramakrishnan, D.E. Smith, and Washington, R. “Incremental contingency planning,” in
Proc. of the Thirteenth ICAPS Workshop on Planning under Uncertainty, 2003.
O. Hatzi, D. Vrakas, M. Nikolaidou, et al., “An integrated approach to automated semantic web service composition
through planning”, IEEE Trans. Service Computing, April 2011, pp. 301-308.
J. Hoffmann, P. Bertoli, M. Helmert, and M. Pistore, “Message-based web service composition, integrity
constraints, and planning under uncertainty: a new connection”, J. Artif. Intell. Res, vol. 35, May 2009, pp.49-117.
S. Jiménez, A. Coles, and A. Smith, “Planning in probabilistic domains using a deterministic numeric planner, in
Proc. of the Twenty-fifth Workshop of the UK Planning and Scheduling Special Interest Group (PlanSig), 2006.
M. Klusch, Α. Gerber, and M. Schmidt, “Semantic web service composition planning with OWLS-Xplan”, Proc. 1st
International AAAI Fall Symposium on Agents and the Semantic Web, Nov. 2005.
W. Nam, H. Kil, and D. Lee 2011, “On the computational complexity of behavioral description-based web service
composition,” Theor. Comput. Sci., vol. 412, no. 48, pp. 6736-6749, 2011.
ICTAI 2014 - Session A23. Planning
51/49
Download