stn 5-1: software agents - part 2 - csiac · 16 stn 5-1: software agents - part 2 introduction. ˆ...
TRANSCRIPT
Data & Analysis Center for Software (DACS) 3
Introduction
������������� ���� ������������������������� ���������� ����������������������������������������������������������� �� ���������� �������� ������������������� ������������ ����������� ������ ������������ ������������� ��������� ���������������������������� ��������������������������������� �������������� ��� ���������� �� ��������������������������� ��������� �������������� ���
����� ����������������� �� ����������� ����� �� ���������� ������������������������� ������������ ������������ ���� � ������������������� �������������� ������� �������� ��������� ���� ����������� �� ������ ����� �� ������������� ��������� ���� ������������ ��������� � ��� ������������������������������������������������������� ���������������������������������������� ���������� ��������������� ��� �����������!��������������������������"#$�
% ������������ �������������������������������� ���������������������� ���� ���� �������� �������������� �������� ���� ������� ����������������� ����� �������� ������������������ ���� � ���������������������������� ������������������ ������ ����
Strategies for Discovering Coordination Needs in Multi-AgentSystems
������� ���� ���������� ����� ���� �� ������ ����� �&� �'��������� ��� ���� ��� ���� ��� ���
�������������� �� ������������������������������� �������� ����������������� ��������������������� ����� �� �������� ���� ���� ������������������� ������ ������������������������������� ������ ������� ����� ���������� ����������� ����� �������� ���� ���������������� ��� ���� ������������������������� ��������������������������� ���� �� �� ����� ������������������������� ������ ��
Unintended Conflicts
����� �������������������������� ���� ����� ���� ������������� �� ����������� �������� ���������������� ������������������������� ������������
�(�������)�������������� �(���������������������� ����������������� ������ ����������� �������������� ��������� ����� ����������� ���� ������������ ��������� ��������� ����� ��������� �����
��������������������� �� � ���� ����������������������� �� ����������������� ���� �����������*����� �� ��� �(������������� �������������������� �������������� ��������������� ���� ������ ������� ����������������������������� �������������� ��������������������� ��� ��������������� ��������������� ���������������������� ��������� � �(������+�������������� ���������������������������� �� ������� �� �������,� �� �������� ��� �� ����+��������� -�����������������,�������������������� ���� ���� �������������������
Figure 1: Example Movement Task
��������������
by Edmund H. Durfee, University of Michigan
STN 5-1: Software Agents - Part 24
Coordination Needs in Multi-Agent Systems�����������������
�������������������������� ���� �������������������������������������������� ��������� ���������� ������� ����������������� ������������ ������������ �������������+������������� ����� ������ ���������������� �� ����,���������+������������� ���������� ������������� ��� ������ ������������ ���������������,��������� �����+�������������� ����� ����� �������������� ������������������������� ������ ������ ����������,�
. ����������� ����������������������������������������������������������������%����������������� ���+%��,������������� ��������� �� � ��� ������������������� �� ������������������������������������� ������������� ���������� ������ ���������� ���� �������������� �+/�����0,������%���� �������������/�����1�������� ��������������+�������� ����/�����0������� ��������%��,����������������� �� ��� ���������� �� �� �������� ���������������� �� ��� ������������������������ ��� �� ����� ����� �������� ��������� ������� ��+������������������
�������� ��2� ��������������,����� �������� �����������������������%���+/�����1,��������� �����������&3'�� ��&��� ���'/ ��� ������������������������������������������ ������ ���� ����������������/ ����������� ������� ����� ����������� �� ����� ������� ���� ��������� ����4���� ���������������������� �� ����� ������������ ��� � ������!������� ������������� ���������������� ���
������������ ����������������������������� ���������������������������� �������� ���� ����������������������� �������*����� �������� ����� ��������������� ������������������� �� ���������� ����������������������� ��� ������������������ ��������������������+�����,������� �
������������ ���������������� ����� ���������������+/�����5�� �/�����5�,��*����������� �������������������� ������������������������������������������������ ������������������ ������������ ������������������������������������� ������ ��� �������������/ �� ����������������������� ������ ��� ���� ������������������������ ����������������������� ��� ������������������� ����������������������� ������ ���� ���� ��� ������������������� �����������6���� ���������������������� ���������� �����%������������������������������������������������ ������������������������������ �� ������������������������������� �������������������� ������� ������
Figure 2: Example Hierarchical Task Network (HTN)
Data & Analysis Center for Software (DACS) 5
Figure 3: Top-Down Coordination Protocol Example
���������������
STN 5-1: Software Agents - Part 26
Coordination Needs in Multi-Agent Systems�����������������
������� ������������ �������������������� �� ����� ����������������������+/�����5�,�/�������������������� ������������������ ������ ������������ ����� �������������� ���������������������!��� ����������������� �� �������� ������������������� ��������� ���� ������� �������� ���������������������7�������������+/�����5�,�
���������������������������� ������� ����� ��� �������������� ��������������������� ���� ������� ����������� ����3��������� �������������������������� ��� ��� �������+ ������������� � ���� ���� ������������������������ ��������������,�������� ������������ ���� ���% ������������������� �������� ������������� ��� ���� ��������� ����������������8�������������������� ����������� ���� ������������������ ���� �������� ��� ��� ������� ������������������������������������������ ���� ������������������� ����������� ����� ������������������ ��������� ������� � �����9 �� ������������ ������������������ ���� ����� �� ������ ���������������� � ��������������������������������� ����������� ��� ��� �� �������������������������� ������ ���� ������������������������ ����������� ���� ��&��������'�� ��������������������
������������� �������������� �� �������������������%������������������ �� �-� ������ ���������������(����������������������� ����������������������������������� ������������ ������������"5$���������������������������� �� ����� ��������� ������������ �� ��� ���������������������� ����� ���������� �� ������������������������������ �-���":$������ �-���������������� ������� �� �� ������� ����� ������ ������������������������������ ���� ������������������������������� ����� ��������������� ��������������������� ������������������ �� ��������������� ���� ����������� ������������ ������������������ ����������� ������ ������� ��������
Dealing withCentralization
�������������(��� ������������������������ ��������������� ����������� ��������������������������� �������� ������������ �� ���������������7�� ������������������������������� ���� ����� ��� ���� ����������������� ������ ����� ������������������������ �������� ������������������.�������� ����������������� �������� ����������� ���� �� ���� ����� �������������� ������� ������������� ���������������� ��������( �� ��� ����������������� ��� ������������ ������������������ �����������-������
������������������������������� �� ����������� ���� ��
% �������������� ������������� ������� � �;����������� ��������� �������� ������ ������� ������� � ��� ������������� ���� ���� ����������� ���� ��������� ��������� ��������������������������� ����*� ���� ��������� ���� ���� ������������������ ���������� ������������ ��������� �� ���+� ������������ �� ���������� ��� �,�� ��������� ���������� �� �� ������������������������������ ����� �������� ���� ���� �������������� ���������������� ������������������������������� ����� �������������� ���� ���������� ��������� ���� �����
*��������������������� ������� ������������������ � �� �������� ���� ���������������������������� ������� ����� �������/ �������������� ���� � ������������������������������������������� �������������������� ���� ���������������� ������������������������� ����6����������������� ������� ������� ������ �������� ��� � ������������������������� ������������ ����/ ���������� ����������������������������� � ��������� ����-����������������������� �����*����������������������� ����-��������������� �������� �� ���� ��������������������� ����� ���������� �������� ������� �������� �� ��� ���������������� ������3����� ������ ��������� ������� ��� �������������������
Data & Analysis Center for Software (DACS) 7
������������ ������������������������ ������������ ��������������������������������� �� ����� ������ ����� ��� ���������� ������������� ���������������� ����������� ������ ������������� ��<����� ������ ���� ������� ����������� ��� ����������������� �������� ������������� ����������������������*����� ���������������������������������� � �� �� ������ ����� ��� �������������� ����������� ���������������������
Congregating overMutual Concerns
������������������ ����������� ���� ��������������� ������� ����� ��� �� ���������������������� ���� ���� ���������� ������������ ���� �������� ������ �������� ��������� ������������ ������������ ������������ ������������ ����������� ���� ������������ ���+��������������������������������� �� �� ���� ��,��������������������� ������������� ���������� ��� ��� ���� ������� �� �����
. �������� ���������������� ���� ����� ���� ���� �������������������������������������� �������� ����������-��������� ��������������������������� ����������� ��� ���� ������������ ��������������� ����������� ������ �����������������7�������� ���-��������� ���� ����� ������������������������7������������
� ���������������������������� ��������������������� ��������������*������������������� ����������� �������� ���������� ���������� ��� ����������������������� ������������ ���������� �� ���������������������� ������� ���������������������� ����������� ��� ����������� ���
�������������� ����������������������������������������� ������ ��� ����������� ������� ������"0$��*�� ���� ����������� ����� ���� ������ ������������������������������������������������������ ��������� ����� ������������ ������ ������ ���<��������� ���������������� �� ������ ���� ���������� ���� ������ ������������������������ �-�� ����+&� ��������',���������*����������� ���������������������������� ��������������������������������������������������������������� �����������������8������������ ������� ��� ��������� ���� ���&� ������'������ ������ ��!��� �������-������������ �� �������� �� �!������������������� �������������������� ���� ����-����������� ������ ��!�������� �������������� ������ �� ������� ������ �� ������������������������� ��� �� � ����������
������������� ��� ��� �������������������������������������������� ��� ���� � ����������� �������� ������� ���� ��� �� ��������������������������� ���� ���� ������+�������� �,
����� ��� ��� ������������������ ��������������������� ���-���-������������������������ � ���������� �������������������������� ������� � �������� ��� �� ����� ���������� ��� ���������������������������������������� ��� ������ �� �������� � ������� ����� �������������������� ��� ���� � ������������� ������������������������� ������������������������� ������ �������� ���� �������� ���������-������������ ���+���������,���� ����� �������"1$���������������� ���������������� ������������� ����������� ����� ������������������ ����� ������+�����,�������� ���������� ��������� ������������������� �������������� ������������ ������ ������������� ��������� � ������� �����������������
Summary and FutureDirections
*������������������������������������ ��������������������� �� ������������������������� ���� �� ���� ������ � �������������������������������������� �������� ������������������������������������� ������������������� ���� ������������������������������������������ �������������������������� ����� �������� ����6��� ��������� ���������������������������������� ��� ���������������������������� �� ����� ���������� ��
���������������
STN 5-1: Software Agents - Part 28
������ ������������ ������� ��� ����� ��������� ����� ���� ������������������� ��������� ��� � ������������� ����������� ���� �� �����- ���� �� ��������� �� ������ ����������� ���������������� ���
������������������� ����������������� ������� ��������������������������������������������� ����� �������������������������������������� ����������� ������������������� ���� ������������������ �� ����������������� ���� ����� ����������������� �������������� ����������� ������������ ������������ ������������������ ����������������� �������������������� ����� �������������� �������. ���� ��� ����������������������������������� ������������� ������������������ �� ������ ��� �������� ��������������������� ���������������� ���� �������������� �������� ���������� � ����������������������� ������������������/�����������
�������������� �������������������������������� ���� ������������������ ����������������� ���� ��� �������� �� � ���� ���
Acknowledgements
������������������������������������������������� ����������� ���� ���� �� ����*�����������*7������ ������������������������3����.������=�������=����������.����3� ���%������>������?����. �������� ���������� ���������������@�A=����������. �� �� ������-3����<������*�����+/5BCB1-DE-1B0:1,�����@�A=������������ �������� ���������*�����+���� ����� �% ������� ��/5BCB1-BB-.-BB0F,����������</�����**<-DEF1B#F�
About the Author
�������������������������������=� ���� �� ��4��������4������������. ������<����������� �*�� ��� ��������G������� �9�������%������������=��@�
Coordination Needs in Multi-Agent Systems�����������������
���������. ������<�������� ����G������� ��9������������0DEF�����( �������44.<@�������������G������� �9��������0DEE��%������� �������������������������������������������-��������������������-������������ �� ���� �������������������� ����0BB( ����������� ������������������������������������ ����������������������� ����������+0DDE,����� ��������������+1BBB,�� ����*����� ����. ��������� �9�������<�������%���������������=���������) ���*������ ���������� ������</+0DD0,��������� ��������� ��*444��������������������������/��� �� ��������������� �� �� ��������*����������+���*,�
Contact Information
@���4������%��@�����44.<�@�������
G������� ��9������������ ���9*�:E0BD
������H��������
References
����������� �������������������������� ������������������������������������������ ��������� �!��� �"# �$�������������� ������� ���� ���� ����������������������� ���� ��� ���%����������&����� �'()*+��,�!#�-...�
�-��������� �������������������������� �����/�0����������1��� �2�������3��� �����4 �#������������������������#$�������������� ������������������������� ����������������������5��6 ��-...�
�7������! #�,���! � �������������������� ���8� ��#������������������������ ���� ��������!�1!��������� ��9����"�����#�����������$��������������� ����� ���������������������� ���������� ���������%�������&����� �:(;);.-��,�!#��(((�
�:��1��� �� ��1��������������������������� ����������������!��� ���!����������������!������������#������������$�������������� ����������������������� ���������� � ��� �!�"��,�� �-..��
�;��< ������2 ��% ����&�� �!��� ��"# �=��� �� ������������������6� ����������!��� !!�� �� �� �8�1� =����6���� ����� ���(((�
Data & Analysis Center for Software (DACS) 9
Introduction
��� ���������������������� �� ��&�����'� ��� ������ �����������&��������������� �����'�*�������-�������� ������ �������������������� �� ��� �� ������������������������������� ������ ������������������ ��� ����� ����� ���������������� �� �����������4���� ��� ������������������������������������� �� ��������������� ���� ���� ��� ������ ������ ������������� ���� ��������� ��������������������� ����������6��� ������� ��������������� ������� ��������������������������������� ���������������������������� � ��� ��������������� ������ ��������������������������*����������������������7����� ��������������� � � ��������� ��������� �������������� ������ �� ����������� ������������� ���� ����������������������������� ������������������������������������ �� ��� � � ��� �������� ����� ������ ����������� ��- - ���
��� ����������� ��������������� ��&��������� � ���'������ ������������ �������������� � ������������������� �������������� ���&����'����������*������������*������ �����������������8������������� �������� �������� ����������������� �� �������� ������� �� ����������������� ��������������������� ����� ������
Semantic Interoperability Among Agentsby Drew McDermott, Yale University
�� ������ ��������������������������� �������� ������������� �������� �� �� ��*� ����� ��������������������������������������/ �������������������� ��� ���������������� ������ ����� ��� ���������� ������ ������� ������ ����� ������������ ������������������� ��������� �� ���������������� �� ���� ��� ���� �� ������������ ���������� �� ��������������� ������������� ��� ������� �� ���������� ������� ������������������������� ��� ��������� ��� ��������� ������������������ ���*�����������
� ���&����'����� ���������� ��������������-������������������ ��� �������
���������� ��������� ������������ ���������� ������� �����/ ������������ ����������� �����*����������������������� ������ �����������- -�������������� �������������������������-��������������������������� �������� �� �����G@@*+G��������@����� ���@�� ���������*����� �,�� �� ������������� ����� � ���� �����������-������ ��+������������ �,�G@@*�������������� � ����������
���!�! ����>������ ��������!��� ���)!�� �6��� !! ����� ���� ������4 ��
�<@>�����<6�=�"1��0$�����I9>":$������������������������������������ �� ���� ������������������� ���������������������������������� ����������� � ����������� �� �����������������
*�����������*�������������� ����������������A������������������������������ ����������������-����������������� ������������ �������������8�&� ���������������� ������������������������ �����=�-�-�� ����-������������=� ���-������J�����'�6������ �� ���� ������������������� � ��������8
���������������� ��=@@>+=�������@ ����@��� �>�������,�"C$����� � ��� ����������������������� ������� ���������������������������
�������� �������� � ���� ���� �������������������� ��I9>���������������������� ������������������-��������������� ����*�������3��I9>���������� ���&������-�����������������- ��������'�����������7� �������� ������ ��� ����������7����� ���� ���������� ������ �� ������6������� ���� ��������� ���� �����I9>�����8
(: action (put-in-shopping-cart id - Product-id quantity - Integer)
: effect (quart-in-cart id quantity))
���������������
STN 5-1: Software Agents - Part 210
Semantic Interoperability Among Agents����������������!
����������������A@/�"#$������� �� ���� ���� �������I9>������ ����������������� �(������� �������� ������ ����������������������������������� ��������� ��� ���� ���� ������ ����A@/ ��I9>��. ���������������� � ��������������������� ������������������������������ ������������ ��������� ��� ����������� �������� ����� �����=� �������� �������� ���������������� ���� ����� ���������������������������� �
���������� ���/ ��������� �����������*7�������� ��-������� � �����>���������������������������������� �������� �������� ����������� ��� ������������ ������� ������ � ��� ��������� �� �����������������
���������������������������������� �������������� �������� ��������������������"��������#�������������*��������� ���������� �������������� ������ ����������� ������� ��� �������������
�������������������������������� �� �������� �������������������������� �� ������������������$������������������ ������������������� ����������������������������� ����� ���������� ������� ������
6���� ������ ����������������������� �������������6��������������������������������������� ��������� �������������������������������&����� ��'���������� ��� �����������0������������������1������������ ���� ���� �������������������� ��� ��������� ������������ �� �����6����������� ��������������� �� ������ ������� ��������� ���������������� ��� ���� �������*7�������� ������� ����� ����������� � �������� ��������������������������*������������������ �������� ���� ���������� ������� �������� ���������������������� ������������������� ����� ����� �� ����� ��8
%�"���������������������&������������������������������������"������������&�������'������������������(��������"����"�������
�������������������������������*������������������*������������������������������ ������ ����� ��� ���������� ���������������������� ���������������������������������� �������������������&���������������� ���� �������������������� ���*������ ������+���� ��,� ����������������������������������������
<Action>
<name resource=” ecom: put-in-shopping-cart “ />
<params>
<rdf: Seq>
<rdf: li>
<VarID=”vl” name=”id”>
<type resource=”ecom:Product-id”/>
</Var>
</rdf :li>
<rdf: li>
<VarID= “ v2 “ name= “quant “ >
<type resource=”ecom:Integer”/>
</Var>
</rdf: li>
</rdf: Seq>
</params>
<effect>
<Predication>
<Subj resource=”#vl”/>
<Pred re sourc e= “ e com: quant - in- cart “ />
<Obj resource=”#v2"/>
</Predication>
</effect>
</Action>
Data & Analysis Center for Software (DACS) 11
���������������!����������������������� ����������������������������������� ���� �� ������������ ���*����������������������������� �������&�������� �������� ������������������������ ������� ����������
�������������� ������������� ���������� ��������������������� � ������ ��� ��)��$��=����K��@���������������������������� ���������� �������� ����������������������������� ����������� ����������������������*������������� ��� ���������� ��� ������� ������������������������������ �� ��������8
��������������������������������������������������8
(series (tag s1 (send Wabash. con
(query-in-stock ( (author “Philip K. Dick”)(title “Ubik”)) ) ) )
(tag s2 (receive Wabash.com (step-value sl)))
(verify (exists (pid - Product-id)
(= (step-value s2)
(in-stock-reply yes pid) ) ) )
(send Wabash. con
(put-in-shopping-cart (! pid (step-value s2)
1)))
(tag s4 (send Wabash. cam
(payment-method (credit-card “9876 6802 2963 3715”)))
(tag s5 (receive Wabash. cam (step-value s4) ) )
(verify (= (step-value s5)(payment-method-status authorized)))
(tag s6 (send Wabash.com (confirm-purchase)))
(tag s7 (receive Wabash.com (step-value s6)))
(verify (= (step-value s7) (purchase-status confirmed))))
0� <������������������������������� ������������������������������ ������� �������-����� ������ ��������
1� �������-������ ������������������������������������������-������ �����������������������������8�7���&���������'������� ����������������� ���������������������������������+��������7�,��������������� �������������������� ����������������������������������� ���� �
5� ������������ ����������� ����������������������������� ������������� ��������������!���� ����������������������������������������� �������� ���������������� ���������������� ���������
��� ������������������� ����� ���������������������������������� ���� ������������-�������/ ������������������������� ���������������������������������������������������������������-������������
������������������ ���������������*���� �� ���� ��������������� ��������� ������������ �������� �������������������� ������������������ ���������� ������������ ������������������� ��������� ���������� ����������������� ���������������������������������������*7��� ��������� ������� � ���� ������������ ������������ ������������� ���� �� �������� �������������������������������� ������� � ���������� ���� ��������������� ���*�����-������������������ ����������������������������� � �������������������� �������������������� �� ��������� ���� ���+������������ ������������,��������� ������������������ � ���� ������ �������������������� ������3������� ���������������� ����������� ����������
����� ���& � � ��'��������� �� ���������� ��� �������������� � ����=�� � �������������� ����������������� ��� ����� ����������� � ���� ������!�������������� �������������� ���� ���������������� �����& � � ����'����7������������� �������� ��� ������&% � �(��������� ��������������
���������������*
STN 5-1: Software Agents - Part 212
Semantic Interoperability Among Agents������������������
����������������������'�������� ������� � ���� ������������������& ������ �������������'�� �������� ��� �7������������ ������������� ������/ ���������������� ����������������� ������������������������������������� �������� ��� ����� ������ ��� �7������������������F������E�������� ��������� ������ ���*��� �� ������� ��� �������������� �������� ��� �����F�������������� �� ��������������� �7������������������ ������������������� ��=������������������� ������������������ ��������
���������� ����������������������� �� ����������� ������ ������ ����������������������������������%��������� �������������� �� ����������� ������������������ ���� ��������������� � � �������������������������� �������������������� �������������������������� ����������������� ����������������� ������������� ������ ������������� �����������������(���������� ��������� ����������������������� ��� �������� ���� � ����������������� �� ����������� �����/������ ����������� � �� ���& �����'�����������������(���������������� �������������������� ���������+� ������&�� ���'�,� � � ������������������ ��� ����������� ��������(���������������������������������������������� ������ ���������� �� ��������� ������������ ���� ������� ����
�������� � � ���� ��� ���������������� ��������������� ����� �� ������������ ������������ ������� �������������������� ����������������*���������� ������ ���������������� ����� ��������������������������� ������� ���� � � ���� ���*���������� ��� �� � � ������ ���� ����������� ������������������ � ��������������������� ��������� ���� ���� ��� ������� �������� �� ������� ���������� ������ ���� ������� ������
������ ����� �� � � ��������� ���� ���������������������������� � � ������������������������������������� � ������ ����� ������������� ���������� ������������������������������������������ ������� ����������������������������������������������������6������������� ������ ������������������ ������� �7����������&������'�� ������ �� �������������������� ��������������������������� ������� ������ ����������������� �� � � ����� ��� ������������������ ����
�������������� �������������������������� ������������������� � � �������������� ��� ������ ��������� ���� ������������������ ��������� ������������������ ��� ���� ��� ������������������������������������ � � ������������������������������� ������������ ������� ������������������
�� �� ���� � � ���������� ����������/ ��������� �����������*�������������������������������������������� ����������������&����� �������� �������� �� �����������8
0������ �������
1������ ���������&�������������
5������ ���������� ����������� ���
6������������������������������������������������ � � ��-����� ��� ���� ������� ������������������<��� ��� ��� ���������������� ���+��������������+in-stock x - Book t -Duration,������������������� ���������������������������� ����� ��������������������������� ��� �������� ��� �&���� �����������+in-stock y -Book,�����+deliverable d -Duration y - Book,����������������������������,������������� ��+��������� ��������������������
� ������������� �������������������������� �&������������������������� ��� ������� ����������������� ����������� �������������������������7����� �����
��"�������� �� ���6 ��6#��(��
(:constants Ubik Ulysses - Book)
(:axioms (in-stock Ubik (* 4 day))
(in-stock Ulysses (* 24 hour))
. . . )
Data & Analysis Center for Software (DACS) 13
���������� ��� ��������� ������ �� �� ���� �� ��� ����8���������� ��������������� ��� ���������� �� ����� ��� �������� ����� ������������� �������� ��� �������&������ ����'���������������� ���������������������������� ���� ������ �������������������� �� �����������&��������� �'��������
���������������� ���������������� ����,��� ������ ����������9 ������������������������� ����������� ����� ��,��������������������������� ��in-stock
2 x,������deliverables y x,�
������������ ���������������+in-stock
2 Ubik,������deliverable
2
(* 24 hr) Ubik,���������+��������� ������ � � ����������,��+��������������� ��"5$�,
*��������������������� ������ � ��� ������� ������������� ���� ��������� ���� ������������� � � ����������������� ������ ���������� ��������� � � ������������������� ����������������� �����*�������������������� ��� � � ������� �������!���������������� ������������ ��� ���������������������������������������� �������������� ��� �������������� ����� �������� ��� �������-�����������������
(forall (b t) (iff (in-stock] b t)
(and (in-stock2 b)
(deliverables t b))))
<���� ����������� ���������� ������������� ���(���������������� �������*����������������� � � ��������&���������� ����������������'����������������������&����������'����������� ����������������� ��������� ���!� ��� ������ ������������������� ������� ���� ����������� ���������� ������� ����%���7������������8����� ��� ������ � � ��������������������������������� �������������� �������������� ����������� ����� ��� ������� � � ������������������ ���������������������������������������-� ��� �������������������� ������������� ����� ��������������������������+����������� �������������� �,��%��������� ��&� �'�������������������� ������ ��� �����/ ��������������� ������� ������������� �(���� ����������������������� ���������� �����*������ ������������ ������������������� ������� ���7����������� ������������ �����7����� �� �� ���/ ���������-� ������������ �������������� �(����*�����������&������'� ������������ ������������ ��������������� ���
/ �������������� ��������������7��>������ ��L������� ��������� ���� �������� ������� ����� �������������������������������������+����� ���������������������������,����������������������� ��� �����������
+��� ��������� � ������������������������������,��% �������� ������������7��� ��������������� ���� ������������� ������ �� �� ������!������ ���� ���������7�� ��������� ���������������������� �������������������� ���� ��� ����������������� ��������� ��������������������� �� �������� ������������������ ��
*��� ���������� ���� �A���3 ���� ��������������� ����������������������� �� ������� ������ ������������� ���*�������������� ������������� �>������ ��L�����������(������ ��� ���������*�����������������������������������( ��� ������ �������������� ������ ������������� ��������������� ����� ���������� ��������������� ��� ����� ������ ��
>�7��� ������������ ���� �������<��� �����������������������������������-�������� � � ���+ �,���������� ����������� ������A���3 ���� ��������� ������� ������������������������� ������������������� ���������������� � � ���+ �,�*������������ �������������� ��������������������7��� ������7��������������������� ���������������� ���������� � � �������� ��� ��� ����������������������� ��������A���3 ��7��������������� ��� �� �� � ��
�
���������?�������� ���!!����������������#�� �������� ������ ����!��� ����� ����6! �@�� � ������>�#������ �6��� ���� ��!�������� ������� � ���� ��������������������������� ��!#�
���������������
STN 5-1: Software Agents - Part 214
Semantic Interoperability Among Agents������������������
>���������������� ��� ������������� ���������� ����� ������ �������*������������������� �������������� ��+��3 ���,��������� ��� �(���� �����3 ��������� ����� ������6�(���� ������3 ��������������������������$�-���������������= ����3 ����� �� ��9��K�����6�(���� ������3 ����������������������������$�-��������������� ��� ��9���K���� ���� ��������? ����<�����*��� ����������������������� ����������� ����������� ���� ������������ ������������ �� ��� ������ ������� �������������� ����������� �� ���� ��������������������������������������������&����'�� �����������������������������+����������� �����������������������,����������� ��������� �� ����������� ��8
������ ���������������-������� ���������� ����������������� �-��������������� ��������������������� ���������� ���������� ���������� �������� ������������������������������ ��� �������� �7�� �������������� ��������������� ��� �-����������������������� ���������� ��� �������������������� �� ���� ���
/ ���� ���������������� �� ��������������������� ����������� ������� ������������������ �������� ���������������-� �������7��������������� ���<��� ����������������� �������� ��� �>����.������7��6����> ���&������� ���������� �@�%��>�������7���� ���� �����%����������������������� �������������� ��������A���3 ���� ���*��������������������������� � � ���������������
(: functions (book-type x - Book2) - Bookl) (:axioms (forall (bl2 b22 - Book2)
(iff (and (= (publishers bl2)
(publishers b22))
(= (titles bl2) (titles b22))
(= (phys-charac2 bl2)
(phys-charac2 b22))
(< (revision-dif2 bl2 b22) 1~5))
(= (book-type bl2) (book-type b22))))
(forall (b2 - Book2)
(= (buy2 b2)
(buy1 (book-type b2))))
%���������������� ���*��������� �����8
0� *��������� ������ ������������ �������������� ���������� �� ���� �������������� ������ �������������
1� ������������� ������ ������� ��-�����!�� � ����� � ������������������� ����4������������ ������ ��� ��� ��I9>2A@/2@�9>� � ������� ������� �����-��������������������� ������������� �������������� ���� ���� ��� ���� � ���
5� *������ ��������������������������� ������ ������������ ��-������������� ��������� ���� ���� ���� ���� ��������� ������
:� *���������������������� �������������������� ������� �������"�������������������������������� ������������� ���������-�� �������������!�������������������� ������� ��� ����������������� ����/������������������ ��� ��������������������� ������ �
#� 6��� ������ ��� �������� ��� ���������� ��������� ����7������� ��� � ��������������������������������������������� ��������������(��� ���&����������� � � ����'
������������ ��"�3����� �>��6����>��!�������!����>�#��>����� ����������� #��� �� ��� ��6��� ��"�3�# �����6 ���� �� ��������!#����#�# ��������>��?����!#������#���� �6���������������������
Data & Analysis Center for Software (DACS) 15
C� < ���������� ���������� �������������� ������ �� ��� ������� ����� ���������������������������������� �� ������������������������������������ �������� ����� ����� ���������������������� ��������������������� ��� �� ������������
6��������������� �(�� ����������������� ����� ������������ �������������������A��� � � ����� ��������������������� � �������������� ��������������� ����� ��� ������� �������������� ��� �(�� ��������� ����������������� �� ����������� �������� ������������������������ � ���������� ������ ������� ������ �� ����� ������������
������ �� ������ ������� �������������������� ����� ��������� ��G�� ����������"F$� ����������������������� �������������������������������� ��� ������������ �� ����� � � ���������
About the Author
����������������������=� ���� �� ��. ������<�������)����G��������%������������=��@���0DFC��� ��9�����������*���� ������� � ����%�������� ��� �� �� ���� ������������������������������������� �� ���� ���� ��9*��=����� ��������� ��� ��������%���� ������ ����� ���� ��������
*�������������������/��� �� ��������������� �� ��� ��������*������������%���������������� � ����� ������������������������ ������ ��
Contact Information
@���@����9�@��� )����G������
@���� ��. ������<�����#0�=� �����<���
����%�����.��BC#00
1B5-:51-01E:����������� H��������
��822���������������2� ���2���2
References
���������A�������� 6�� ��<��B���4�#������C�#�����3�� �� !��������D��3� ! ���"��8�� ���������2�� ���"���! �560 ����� 1�����!�%"���&������8 ������!�/ �����27���-...���4��!�6! �����=EE>>>�>7����E8/E"5�1�
�-��������� � ���D�����6 ����<�� � ���������"��2 ��>�������2 6�" �4�� �� ��������C������ �%2"�C&������8 ������!�� ����27���-..����4��!�6! �����=EE>>>�>7�����E8/E>�!�
�7��<��D���������D��F����������/��D�� �����!�������C��� �B��>! �� ��� ��������"����� ��"���� ��������� ������ ��� ��#��:%�&��(((�
�:�����/������!������2��"�� ����G C������3�� !!=���� ����H�����/ � � �� $�5?/ �!!#�I������ ��-..��
�;��5��C��!������/��/��">�����/ ���� �� ��������D��� >����%/�D&� �� !�����"#��A�"� �����������8 ������!�/ �����27���(((���4��!�6! �����=�EE>>>�>7�����E8/E/��)����)#��A�
�+����� �� �����8� �1!��������������� ��������C������ � ����!��8 ������!�/ ������+;��J�! ������ ��"�� �� ���((*��%�K�/ ����(*)..7&�
�'����� �� �����9����/ �� ���)�����<������������!�" ��������1!���������� ���������� ��������#��.(%�)-&=���)�;(���(((�
�*����� �� ����� ����� �����������"�����54 ��������5��!��#� ����� ����8���������>���" !�)� ���6������ ����������������������� ���%�&�%��'������(����#���� �-*;)7.-��-..��
�(��1�� �����<��2� � ���!������� ��B � �����<����)5�� � �� �� !����������!��������5��!��#��� �� � �� ��� ��������������������������������) ������*� �&���+��������� �*,+�����"#�-...�
STN 5-1: Software Agents - Part 216
Introduction
. ���������� � ������������ ������������ ���������������������������������G�<�������<��������<������@�������. ������������ �������������� ������������������� ���������� � ��� ��� �������10����������������������� ��� ������ �����9���� ������ ���������� ���������9�����@����������<���������� � ���.����7��������������� � ���@��� �����%�����������������
�������� �����- �-��-������������������������ ������ ������������ ��� ��������� ���� � � �������������������������-������������ ������� �������������������� ���� ������-�������� ���� ����� �������������� �� �������� ������������������������� �������� �� ��� ��� �������� ��������������� ��� ���������������������7������ �� ���������
Available AdvancedIntelligent Agents
���������*������������������������������������������ ����������������������8�@��� �<��� ��� ���A�����@��� �9����7��� ���������M����� ��M���� ������������� �. �����-3�����������. ���������
Army Intelligent Agents for Software Engineeringby C. Ronald Green, U.S. Army Space and Strategic Defense Command
Decision Support Tool
����@��� ��<��� ��� ��+@<�,����=.-���������� �� ������������������ ���� ������� ����������� ������� ���� ������������������������������������ ������������������������� �� ����@<������������������ ������� ������� ��������� ���� ������ �����@�������*�� ��� �*������������+@**,�. �� �6�������4��� �����+.64,��������� ���������������������������� ����.64�� �� �������������� ����.64-����������� ���������@<���� ������������������ ������������ �� ���������� ������������� �����.64�� ��������������� ���������� ���� ����� ����������������������������������� ��������@<����� ��� ����������� ���@**�� ������������������������ ������������ ����� ��������-� �������������� ������������� ���������� ������ ��������������������
Reuse Decision-Maker’sToolset
����A�����@��� �-9����7�� ����+A@�,�����=.-������ ������ ������� �������< ������A�����3�������9 ��������A@���� ������������� �� ���������������������� �������� ������ ����������-������ ����������� �������� ����� ������������������������������� ���������������������������� �������������������������A@��� ������� ���������� ���
�������������� ���������������� ����� ������ ��������������������������� ��� ��������������� ����������������� ������������������������������������������������������������� ����������� ����������������� �������������� �������� ��� �������������� ���������� ��� ��������� ���� ����8
� G����=���������-������������������������ �������������������������������
� @ ����=���������-������������������ ����� ��������������������� �������-����������� �������������������������������������� ����
� =� �����=���������-������������������������������������� �������������������������������� ������ �������������������������� ������������� ���������������������
Verification, Validation,and Accreditation (VV&A)Computer-Based Training(CBT) Courseware
����M����� ���M���� ��N������� ��. �����-3������������ ����������� ������� ����������MMN��������� ����� ��������������� ��� ����������������������� ��@������*��������<���� ��������� ������������������ ��� � ���� ��������� �� ��MMN�
Data & Analysis Center for Software (DACS) 17
123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456123456789012345678901234567890121234567890123456
�� ����������������@ @-���������MMN��.3��� ������������������������� �� ���������� �������� ����� ��-��� �� �������������� ����������������8
� >�����0������������� ��� ���������������������� ��� ��� �� ���������������������
� >�����1�� ������ ����� �MMN����� � � ������������ ������������������������������� ��������������������������� �����<��������������������� ������MMN�� ������������ ���� ��MMN�� ��@*<��MMN������� ���� �������������������� ��<��(���9���4������+<94,�
� >�����5��� �����&� �� '����� ���� ��MMN����� �������*�������� �������������������� ������������ ��������� ����������� �������������(�����*���������������������� ����������������������������� ��������� ����MMN������� ������������ ������ �������������� ������ ����������������������������������
� >�����:��� ���������������� ���������������������������������� ����������������� �9N<��@*<������MMN��
About the Author
���������������������������� ����� ���������� � ������� ��������G�<�������<��������9�����@�������. �������%���������@����������������L��������������������������������3 ��������<������A������������� ����� ��� �� ���������� ����<�����M��������3-#1�
@���L��������������������� �7������������������������������� �G������� ��������������� ��������7���������������������������������� � ������� �������������� �����G������� �����������%���������@���L���������� �� ��� ����� ��� ���������������� ������ ������������ ���������� � ����������G�<�������<���������<�����@�������. ������
Contact Information
@���.��A �����L����G�<�������<���������<�����
@�������. �����.<<@-�.-�<=6�3 ��0#BB
%����������>�5#EBF-5EB
�1B#-D##-5:DE
STN Editorial Board
Lon R. Dean, STN EditorITT Industries, DACS
Paul Engelhart, DACS COTRAir Force Research Lab (IFED)
Elaine FedchakITT Industries
Morton A. Hirschberg, STNEditorial Board ChairmanUS Army Research Lab (retired)
Philip KingITT Industries, DACS
Thomas McGibbon,DACS DirectorITT Industries, DACS
Dave Nicholls,DACS Deputy DirectorITT Industries, DACS
Marshall PotterFederal Aviation Administration
Nancy L. SunderhaftITT Industries, DACS
To Subscribe to thisPublication Contact:
=� ��8 EBB-10:-FD10/��8 50#-55:-:DC:
4-���8 ����-�� �H�������������8 ��������������2� ���2
���� �������
Data & Analysis Center for SoftwareP.O. Box 1400Rome, NY 13442-1400
PRSRT STDU.S. Postage
P A I DPermit #566UTICA, NY
Return Service Requested
STN Vol. 5, No. 1In This Issue
Strategies forDiscoveringCoordination Needsin Multi-AgentSystems......................3
SemanticInteroperabilityAmong Agents ...........9
Army IntelligentAgents for SoftwareEngineering ..............16
Article Reproduction
*������������ ��� ����������������������������������� ��������� ���������� �� �������������� ��8
&�������������� ������������������,�,.���(���/���0�(��M ���#��� ��0���A�������� ��� ��� �������������������������������������� ����� �� �����������8
> ��A��@�����4� �@���N���������.������ ��< �����=�6��3 ��0:BBA �����)�05::1-0:BB
=� ��8 EBB-10:-FD10/��8 50#-55:-:DC:
4-���8 ����-�� �H����������
���������� ������������������������������������������2���������2���������2�'
*����� �� ��������������������������� ���������������� ���� ������ �������������������������������������������,�,.���(���/���0�(��
Advertisement
����,�,.���(���/���0�(��� ����������������������� ������������������*����� �� ����������������� ������� ��� ������ ���������� ����,�,.���(���/���0�(���������� ����������������������� ���������� �����@���N���������.������ �< �����7�������+��822��������2����2,���� ���� ����� ����� ���� � ��� �������� ���������� ��� ������� ���� ���������
*������������������� ��;��/ ���������� ���� ��� ������������������ ���8
@������� ���@�.<�@�����@��� �@���N���������.������ ��< �����=�6��3 ��0:BBA �����)�05::1-0:BB
=� ��8 EBB-10:-FD10/��8 50#-55:-:DC:
4-���8 ���� ���H����������