Professional Documents
Culture Documents
Resource Coordination in Single Agent and Multiagent Systems
Resource Coordination in Single Agent and Multiagent Systems
Utility = 25 – 16.66
100(nfA + 1) +φ(npA – 1) = 8.33
100nfA + φnpA + 100 - φ We have solved the Bridges problem using a single copy of
the PRODIGY planning and learning architecture [1][6] agent
1
50 in the Bridges Problem because of the assumption that
damaged bridges are reduced in transportation capacity by 50
%.
whose goals are to make R1 and R2 impassable. PRODIGY
was designed and implemented at Carnegie Mellon
University. It employs a nonlinear state-space planner and
follows a means-ends analysis backward-chaining search
procedure that reasons about both multiple goals and multiple
alternative operators from its domain theory appropriate for
achieving such goals. A domain theory is composed of a
hierarchy of object classes and a suite of operators and
inference rules that change the state of the objects. A planning
problem is represented by an initial state (objects and
propositions about the objects) and a set of goal expressions to
achieve. During search for a solution the plans considered are
called incomplete plans. In PRODIGY, an incomplete plan
consists of two parts, the head-plan and the tail-plan. The
head-plan is achieved by applying a sequence of operators to
the initial state. The tail-plan is built by a partial-order
backward-chaining algorithm, which starts with a goal
statement and adds operators, one by one to achieve
preconditions of other operators, that are not true in the current
state. an example of backward chaining is that to deploy an air
unit to a forward base, base must be secured. There is a gap Figure 2: The decision point, to grant a resource
between the head and the tail. The purpose of planning is to request or perform goal transformation.
bridge the gap. Planning decisions consist of choosing a goal
from a set of pending goals, choosing an operator (or inference 2.5: Multiagent Resource Contention
rule) to achieve a particular goal, choosing a variable binding
for a given operator, and deciding whether to commit to a Planning for the Bridges Problem using a single agent system
possible plan ordering and to get a new planning state or to has all the disadvantages of using a single agent system where
continue subgoaling for unachieved goals. Different choices multiagent systems can be used amicably. To solve the
give rise to alternative ways of exploring the search space. The Bridges Problem using multiagent systems, we assign the goal
search is guided by what are called the control rules. of making R1 impassable to one agent (A1) and the goal to
make R2 impassable to another (A2). To understand the
The problem that was given to PRODIGY was to make rivers resource contention in multiagent systems, consider the same
R1 and R2 impassable by destroying the bridges across them. problem solved in the case of single agent systems, that is R1
River R1 has two bridges and one F-15 fighter assigned to it. has 2 bridges and 1 F-15 and R2 has 3 bridges and 3 F-15s.
River R2 has three bridges and three F-15 fighters. This
problem is different from the resource contention example in During planning A1 finds that it needs an F-15 to achieve its
which, R1 had 1 F-15 and R2 had 2 F-15s assigned goal. It makes a request for an F-15 from A2. As mentioned
respectively. Moreover, previously the resource becomes earlier, there is a cost associated with transferring a resource,
available during the course of planning. In this case, during which is the servicing agent’s (A2’s) loss (Value of achieving
planning, PRODIGY finds that it does not have a resource to goal less value of achieving the transformed goal) this cost is
achieve one of its goals, in this case R1, then, it deliberates as sent to A1, which in turn does the Cost-Benefit analysis to see
to changing its goals or reassigning resources. During if the utility value is greater than zero. Because the utility is
planning, we find a point where we know that to achieve the greater than zero, the agents agree for a resource transfer.
pursuing goal a resource is required. We can find this point After the transfer, if A2 does not have enough resources it
using control rules that are part of PRODIGY. Now the Cost- may perform a goal transformation or may request a resource
Benefit analysis is performed to determine if the requesting from another agent in the environment. If the utility lesser than
goal gets the resource. As mentioned, the resource could be zero, A2 does not let go of its resource, A1 may either lower
from the environment. The cost-benefit calculation helps goal expectations or may request for the resource from another
determine if the extra resource is assigned to this goal or to the agent if there is one. In this case, the utility value is greater
other goal that needs it more. If there are no new resources and than zero; therefore, the resource is transferred from A2 to A1.
the cost-benefit analysis determines that the requesting goal
must have the resource then, a resource transfer is made from 3: COMAS (CoOrdination in MultiAgent
one goal to the one that needs it most. Figure 2 shows the
Systems)
decision point where the Cost – Benefit analysis is done. R1
gets the resource and therefore achieves the intended goal. R2 We have implemented a preliminary Multiagent system called
had to lower goal expectations as it does not have enough COMAS (CoOrdination in MultiAgent Systems), which
resources to achieve the intended goal.
implements resource coordination. COMAS have ‘N’ number
of agents. We have used a version of PRODIGY called
Prodigy/Agent [4]1 to represent multiple planning agents.
Each agent can make a resource request to the others if it
needs a resource so as to achieve resource coordination. Each
agent passes the state change information to the other agents
after it has performed an action to achieve goal interaction
coordination.
1
The Prodigy/Agent software has taken the Prodigy4.0
planning architecture and combined it with a wrapper so that it Prodigy/Agent2
behaves as an independent agent performing a plan server
function. It uses the KQML communication language to build
communication protocols that support requests for plans (over
sockets) to achieve input goals. The software is publicly
available at www.cs.wright.edu/~mcox/ProdigyAgent. Further
details are available in Cox, Edwin, Balasubramanian, and Figure 5: An example of COMAS solving a resource
Elahi (2001). contention problem.
4: Evaluation The graph in figure 6 shows COMAS system with and without
resource coordination. First, COMAS was run on 300
planning problems without resource coordination. In this case,
We conducted an experiment to compare the relative the resources were assigned based on the first come first
performance of COMAS in terms of overall goal satisfaction served principle, which is the order of the goals in this case.
with and without resource coordination. We allowed the Second, COMAS was then run with resource coordination on
COMAS system to run first on problem files with resource the same set of planning problems. We calculated the goal
coordination. Then ran the PRODIGY system to run on satisfaction for each of the problems. The way resource
problems without resource coordination. We calculated the coordination achieved was through a Java application that
overall goal satisfaction in each case. The overall goal took the planning problem, parsed through it, and made
satisfaction is defined as the total reduction in transportation intelligent resource assignment to the goals in this case to the
capacity over the all the rivers. rivers. We then ran Prodigy/Agents on these processed
planning problems and calculated the goal satisfaction
In this experiment, the goals to be achieved are kept constant achieved.
at ten (i. e., 10 rivers to make impassable) and the number of
bridges across the rivers is randomized to be between one and The figure 6 also shows plots for worst case and best case
three. To measure the relative performance with and without scenarios. The best-case scenario occurs when there are 10
resource coordination, the number of resources available was rivers, and each river has just one bridge across it. When the
varied from 1 to a maximum of 30 and the corresponding goal number of resources is varied from 1 to 30, the first 10
satisfaction with and without resource coordination is assignments results in the best assignment and when the
calculated. Each time, the number of available resources is number of resources is 10 all the rivers are made impassable
incremented, ten different problems are generated, that is, the and therefore even if the available resources are increased the
number of bridges over the rivers is varied and the number of goal satisfaction is not increased. The worst-case scenario
resources held constant. The final goal satisfaction achieved occurs when there are 10 rivers and each river has 3 bridges
with the available resources is the average of the goal across. The total number of bridges is 30 and the number of
satisfaction from the ten different problems. The total planning resources required is 30. In this case, any combinations of
problems therefore amount to 300. resource assignment result in the same goal satisfaction. For
relative goal satisfaction achieved in PRODIGY with and
As specified in section 2, the following assumptions are made: without goal transformation see [3].
First, an F-15 can destroy one bridge and damage all the other
bridges. Second, the destroyed bridge is assigned 100%
reduction in transportation capacity, and third a damaged 5: Conclusion
bridge is assigned 50% reduction in transportation capacity.
The focus of this paper is on resource coordination in
multiagent systems. From our research, we conclude resource
Best Case coordination achieve efficient and better plans. The cost-
With Resource Coordination
Without Resource Coordination benefit analysis that we introduced is efficient, but in real
Worst Case world planning, it should include other parameters like
100 individual sub goal priorities and transportation costs in the
90 cost-benefit function. Although the cost-benefit function is
80
simple, it demonstrates that an intelligent choice of whether to
get a resource from another agent or to change the goal of an
70
agent will lead to higher quality plans that have a higher
60
overall goal satisfaction. The cost-benefit analysis provides a
Utility Value
13
15
17
19
21
23
25
27
29
1
6: Acknowledgements
This research is funded by Dayton Area Graduate Studies
Institute (DAGSI) under grant #HE-WSU-99-09, and the Air
Force Research Laboratory (AFRL) under grant number
F49620-99-1-0244 and by the Information Technology
Research Institute (ITRI). We thank Boris Kerkez, Greg
Kramer and Mamun Elahi for comments on a draft of this
paper.
7: References
[1] Carbonell, J. G., Blythe, J., Etzioni, O., Gil, Y., Joseph, R., Kahn,
D., Knoblock, C., Minton, S., Pérez, A., Reilly, S., Veloso, M. M.,
and Wang, X. 1992. PRODIGY4.0: The Manual and Tutorial,
Technical Report, CMU-CS-92-150, Computer Science Dept.,
Carnegie Mellon University.
[2] Cox, M. T., Edwin, G., Balasubramanian, K., & Elahi, M. 2001.
MultiAgent Goal Transformation and Mixed-Initiative Planning
using Prodigy/Agent. Proceedings of the 5th World Multiconference
on Systemics, Cybernetics and Informatics (SCI 2001).
[6] Veloso, M. M., Carbonell, J., Perez, A., Borrajo, D., Fink, E., &
Blythe, J. 1995. Integrating planning and learning The PRODIGY
architecture. Journal of Theoretical and Experimental Artificial
Intelligence. 7(1): 81-120.