+ All Categories
Home > Documents > STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ...

STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ...

Date post: 26-Jul-2020
Category:
Upload: others
View: 4 times
Download: 0 times
Share this document with a friend
18
Transcript
Page 2: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

STN 5-1: Software Agents - Part 22

Page 3: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

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

Page 4: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

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)

Page 5: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

Data & Analysis Center for Software (DACS) 5

Figure 3: Top-Down Coordination Protocol Example

���������������

Page 6: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

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����� ������ ��������� ������� ��� �������������������

Page 7: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

Data & Analysis Center for Software (DACS) 7

������������ ������������������������ ������������ ��������������������������������� �� ����� ������ ����� ��� ���������� ������������� ���������������� ����������� ������ ������������� ��<����� ������ ���� ������� ����������� ��� ����������������� �������� ������������� ����������������������*����� ���������������������������������� � �� �� ������ ����� ��� �������������� ����������� ���������������������

Congregating overMutual Concerns

������������������ ����������� ���� ��������������� ������� ����� ��� �� ���������������������� ���� ���� ���������� ������������ ���� �������� ������ �������� ��������� ������������ ������������ ������������ ������������ ����������� ���� ������������ ���+��������������������������������� �� �� ���� ��,��������������������� ������������� ���������� ��� ��� ���� ������� �� �����

. �������� ���������������� ���� ����� ���� ���� �������������������������������������� �������� ����������-��������� ��������������������������� ����������� ��� ���� ������������ ��������������� ����������� ������ �����������������7�������� ���-��������� ���� ����� ������������������������7������������

� ���������������������������� ��������������������� ��������������*������������������� ����������� �������� ���������� ���������� ��� ����������������������� ������������ ���������� �� ���������������������� ������� ���������������������� ����������� ��� ����������� ���

�������������� ����������������������������������������� ������ ��� ����������� ������� ������"0$��*�� ���� ����������� ����� ���� ������ ������������������������������������������������������ ��������� ����� ������������ ������ ������ ���<��������� ���������������� �� ������ ���� ���������� ���� ������ ������������������������ �-�� ����+&� ��������',���������*����������� ���������������������������� ��������������������������������������������������������������� �����������������8������������ ������� ��� ��������� ���� ���&� ������'������ ������ ��!��� �������-������������ �� �������� �� �!������������������� �������������������� ���� ����-����������� ������ ��!�������� �������������� ������ �� ������� ������ �� ������������������������� ��� �� � ����������

������������� ��� ��� �������������������������������������������� ��� ���� � ����������� �������� ������� ���� ��� �� ��������������������������� ���� ���� ������+�������� �,

����� ��� ��� ������������������ ��������������������� ���-���-������������������������ � ���������� �������������������������� ������� � �������� ��� �� ����� ���������� ��� ���������������������������������������� ��� ������ �� �������� � ������� ����� �������������������� ��� ���� � ������������� ������������������������� ������������������������� ������ �������� ���� �������� ���������-������������ ���+���������,���� ����� �������"1$���������������� ���������������� ������������� ����������� ����� ������������������ ����� ������+�����,�������� ���������� ��������� ������������������� �������������� ������������ ������ ������������� ��������� � ������� �����������������

Summary and FutureDirections

*������������������������������������ ��������������������� �� ������������������������� ���� �� ���� ������ � �������������������������������������� �������� ������������������������������������� ������������������� ���� ������������������������������������������ �������������������������� ����� �������� ����6��� ��������� ���������������������������������� ��� ���������������������������� �� ����� ���������� ��

���������������

Page 8: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

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���� ����� ���(((�

Page 9: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

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))

���������������

Page 10: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

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>

Page 11: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

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������������� �������� ��� ������&% � �(��������� ��������������

���������������*

Page 12: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

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))

. . . )

Page 13: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

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��� ���� ��!�������� ������� � ���� ��������������������������� ��!#�

���������������

Page 14: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

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���������������������

Page 15: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

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��!��#��� �� � �� ��� ��������������������������������) ������*� �&���+��������� �*,+�����"#�-...�

Page 16: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

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�

Page 17: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

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

���� �������

Page 18: STN 5-1: Software Agents - Part 2 - CSIAC · 16 STN 5-1: Software Agents - Part 2 Introduction. ˆ ˆ ˇ ˇ ˆ ˛˙ ˆ ˘˜ G˘

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����������


Recommended