[ieee 2013 ieee 25th international conference on tools with artificial intelligence (ictai) -...

8
2013 IEEE 25th International Conference on Tools with Artificial Intelligence 1082-3409/13 $31.00 © 2013 IEEE DOI 10.1109/ICTAI.2013.106 682

Upload: vaclav

Post on 29-Mar-2017

213 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: [IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools

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

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

�� ��������!��"���������#���#���$�%&���'(�)���

*����� $������+,���-&��-�&

������������ � ����� � ����� � � � ��� � ������� �� � ��������������� � ���� � ������� � ��������� � �� � ������ � ��������� �������� �!�� ������������ ������������� ��������������"������# � $ � % � ���������� � � � ���� � �� � �����������"����������

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

�- ����'./ %��.�0����1�������2��������������������������2����

������3�)���(����� ���������������������������������-�'��������������(��������������������������� �2������������$�����������2������������������2������(���� � � � 2����� ���������- �.�� � �((�����$ � ��� �$�����������"/�������������4"���$�/��$���������5�678-�!���2������������� ������������������2���������� � �� � �����2� � �(�������� � ��2 ������2� � �����������4�-- �"������2�������������"/�� ���5- �������������������� � ��� � 9��2��� �:��& � ��2 ���2��3 ����� ��� � ���1�����2�2������6;8$���2����9��������������������������2��� � ��(������� � �� � !�&�)���3 � ����� � �� � ��������2���� ����������������6<8-����������������������$����������������)�������������2����-

��- �./=>�?.'�@�.!>=/:=�'=#'=�=��A��.�A�������2��)� $�������2������������:��&���2�

��2��3 ����� � 6;8$ ������� �� � ������& � ����������� � �� � ���������������$�-�-������������������������������������$���� �����������������-�?��������$���������������������������2��9(�����(��2������������������(������$�-�-�)����������2���������2��)������-�0�� �$�:��&���2���2��3�������������2�)������(�� �2������������������������������������2������$�������2������������������������������2����� ���������������)�����- �������� �����(����������������������2 ��(���������������������2�-

�� � ����������� � ��2� � ����� � � � �� � 2�������� � �������(���� ��������2 � �� � ���1�����2�2����� �B � �����������2 � (�� � 2���- � /� � �� � (���������� � ���� � �� � ��������������2������$ �� �(� ��� ��������������������� ������������������(��������C2���D-�4'�����������������(���� � (����2 � ����� � �� � 2��� � )��� � ����2 � �� � ���������(��2��� � �������� � � �(��(�2 � �� � 6;8-5 �! � ���� � ���

(����������������2�2����(���������-����������((�������� � 2����� � ����9� � �(�������� � ����� � �� � ��� � �� � ���$���(�������2 � �� �C�((�D ���2 � �� �C����D � ���� � 4?��-�75-�"������������ ���(������(��(��B����������((���������������������������������3�(������������$���������������������2���������2���-�����������1�������������������������2������������-�?���$���3����������(�����������������������������������������2�2�����(2��-����$��� ������ �������� � � �������2� ���� � ����((� � ����$ ���2�)�2 � �� � �� � ������$ � ����� � �� � ��������45 � 2���2-����$��������������������������2������������������-

>��������������������������1��������2����-

� ����� �� ��������������� ������� ������������������������)�(���2������2� �2����������

������������ �����4?��-�E�������������������F��������������5-� �3����������)�����9������������������2�2�������(����$�������������� 7�C���2���������� �����D��������)��F-�!���������2�������2����������������2� �2 � �� � ������ � ���� � � ����� � ������ �� ��2 �� �� ��� ������� �-

�����������������2�������������)��2� ������������� � ���� �������� � ���� �� ��� �������� � �� �����2��9�������)G���4-�-��������� H� CA�2���������)�D��� ���)��F5-�0��$�����((��������������������2� �2��������������������������������������������������������(�����������������)�������������������3�������-�����(���������$�����2���������������������������(������������������4-�- � F� CA)����� �D5 �B��� � ��������)�(�������75�2����������� � ����$ � ;5 � �������� � ������� � ����$ � �� � <5 � )��� � ����������- � ��� � �� � ����� � �� � �� � ���(�9��� � �� � ���(��)�� � � ��4<�5 � ��� ��� � � �� � ���)� � �� � (�� � ���

�����������4���������2������5�����������42���������5

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

�7�;�<�F

I

?�����7-� ��������������2�������2����������9���(��������-

2013 IEEE 25th International Conference on Tools with Artificial Intelligence

1082-3409/13 $31.00 © 2013 IEEE

DOI 10.1109/ICTAI.2013.106

682

Page 2: [IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools

������������������������-�����2������9(�����������$�� � � � � � ������� � )�2 � �� � 9���2��� � ��� � (�� � ���������������������)���( � ��������� �� ��������� ��������- � �� � ������� � ��� � ) � �������� � 2���)2 � )�����������������������������������������������(J��������� �������� �4�����������������2�����)�����$�-�-������������(�����C;(�D5$ �������� �������� � 4����������������$�-�-���������������� ������22�����������2�C���D5$���2� � ������� �� �������� � 4�� �� ������(����$�-�- �������(���C;(�B<(�D5-

:� ��������������������$����������������J�75�������������������������� �������)�� � �� � ������������� �� � ��� � �������������2�����)�������B���������������������(����������2����������������$���2�;5��(���������������� ��)�����2����������2��������2��������������2����)��222������������������������4����������19���� ���)���(�B�-�-��������� E�C!���2��������������� KD������)��F��������������(� �������������������3��E��������2����������������5-�?������$������)���(����� ����1������������������������� � ) � 2�����2 � )� � ��� � ���� � ��� � ���� � (���� � ��������������9(���������������������(���-

0�� �$������������������2������9(������������)�����������������������������������������������&2���(��������� � ���������� � ��3 � �������� � ����- � .� � �� � ����) ��� � �� � � � �)� ��� � �� � ������������ � ��� � �� � ��3���������6F8-�.����((�������$���� �$�)�2����6L8���2�����)�2���)2����������������������J

������- � �� � ��3 � ������� � 2����� � ��� � � � ��(���� � ������������� $������������������������(���-

������-�����������(�����2���� �� ��� !��������� ����������2�������� �4�--���2������������������$�-�-���������������C0�����������(����D�(���(�5$����� ������������(�� � ���� � � � 2������� � ����$ � ����2� � �� � ������������������2���������������������������(���-

�����������������������$���3���������������2�2��������� � 2��� � �(2�� � ���� � ��2 � ������������ � )�(�2 � )�����������������������������(�����2����2������������M����������������-

=���������������2�2������������(��������)��"��������������(������������������������������9�-���� �����������������������������2���)����2��������������������������9�-�=���������� ���#����������(��2������������������2�������������(������������������-����������������(���������)�����������������$ �$$�������2����������������������������9��4-�-��������������������9(�������5-����(��� � ���� � ���2 � �� � ���� � ���(���2 �(�����$ �$N$ � � � ��������2�2��(��������2��2��������������������������-

���)���2����)����������� �������������������� ���6;8$������)�������9(���������������������������-�>����2������������������������)�$��������������(�����������������$���2� ��� ��-��������������������� ��������������������������-�!�������� �����������������������������2 � � � ��� � � � ��� � ����� � (�� � ��� � ���� � 2����2�2���(����$���� ���������2������������������F-

�����%� 2���) � �� ���� � �) ��� � �������� � B � � � ������������������)G��-�!����������22����������������)G����������������3�2���(����$����������(����&���������������������)G��������-

�����&�2���)�����������������������������2������������������4-�-���������)G�����������3������5-����������$����22������������(�����$ �$�$�2���������������������������3�������-

�����'� 2����� � ���� � �� � �)G�� � ��� � ����� � ����� � �������$�����������2��������� ������$���2 �$� �������������������������)G��������)�����������-

'���F�2���2��)G������)���9�������2���)2�)����������� � (�� �22 � 4-�- � �� � � � ����� � �� � ��� � ����2� � ����������������������������������������������)G���2��������������� ���5-�=�����)G������)�������������22������������������$-

�����(� �M��� ��)G�� � ���� � �� ��� � 2���� ����� � ���9��$������������������$����������������������-

'���O � ���)�2 � ����������� � ���� ���� � (��)�)�� � ����2��������� � 2������ � �� � ) � ������2 � ���� � �� � ���� � ����$��������$�������2���������-

'���E ����� � ���������������� � �� ������ �9�� � �� � ��������� � ������ � ��2���� � � � (��)� � �������� � ����$��������$�������2���������-

�����)��2 �������)G�������������������3������� �����������������������$��--�2���������(��������)������������������������������������(������������)�����-�=�����)G���������������������$��������9�����(������$�-

������������$������2����������(��������������)�)���� �2���� ���� � ��� � ������� ������ � �(��� � �� � �����(2��������������������������������-�>���������� ��������������(������������������������(2��-

� ����� ��� �*��� ��$�������+�$,=���� ���� � � �� ��������� ��� ��-.����� 4?��-�;5 ���������

�������������2���)�)�������������

?A%��4��-.���7�$��-.���;�$���������� �$�� �� ��� $���������� $���$������������ ��$�����������$������ ���5�-

=���������2���)����������)G����������������)�����)G�� � 4�-.���*7$;+� (������ �B � �� � ������ �M���$ � �� � �����2���)�����)G��5-�=������������)�������2��2�)���������� ���������� ��� 4�� � �� � ���5 ���� � 2������ � �� � ���� �� ��� �- � ?��������$ � �)G�� � ��� � ) � ����(2 � �������������� �$ � -�- �/��� � ��2 ����� �� � )��� �/�� ��������� �0�� �- � =��� � ���� � � � ����2 � � ��� ���� �� � ������ 4��5 ���P�Q�R�7QQ�S�����2���������A����������(���'������������2���4A�'5-�?������$��� ������������ ��$ �����������$���2������ �������������(�����������������(��������������4C��2�2�3�����������)���(����D5���2T���������4C���(� ���������D5������3��������-

�� �?A#� � � �2 �������� ���2��������� �)� �)��� ��� � ������������(2��������������-�������������2�(����������� � )��� � (������(��� � ��� � ���� � ��2 � 2�� � �)G���

������;

������7/(����� %���JU/���U-�-�-

?�����;-� A�������������9��(��B�����������2(������������/���-

683

Page 3: [IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools

4��� �$��������������2�)��������������������B������� � 2� � ��� � ������)�� � �� � �� � �((� � ���� � ���� � ���������������$ ����� �� � ��� ���� � ����$ � ��� � ������$ � ��������2���������������2���)�5-����?A#�����)�(������������ � (��$ � ������2 � ��2 � )������2 � ��- � �� ����������������� � � �*���� 2�� � �� � �)G�� � ���� � �� � ����2��9����� � �� � ��2 � ����� � ��� � �� � �����2��� � ���� � �����2������ � ��(�� � �������- � ?�� � 9��(�$ � �� � �� � 9����������������)G�������/��� �2(������������/����4�?��-�;5���2�������������(2���������������'����2��$��������������2�(�������2�� ������/��� ��)G��������������������)�)G��$ � ��2 � ��������� � ��� � � �� � �� � ����(��2����1���J/�����)G�������(������-�A������2$���������������������)G����������������$��� �����������2����������������2����������(��������-��� �-��2������������� ���*������������M�����)G��-������������(�������(����������2�������������������3�2��)������-

>�������������������� �������������2�� 2��)G������2�����2�2���������������2�(�������(��-���������������$�����)G��� �����������������������(1(�����������6F8�B�������)G�� ������(���$�9��2$���������������������������2��)G���4-�-��������(����������)�����(����$ � ��� � ����� � 2������$ � ��2 � �� � ��� � )�����)����� � ��� �/���� �)G��5- � ������$ � �� � ��������������2� � 2� � ��� � (�� �2 � ��� � C���)��������� � (�����D � )���

����2 � (� � ��� � �(���)����� � �� � 9����� � ���� � ������������ � 2��� � ��( � 2��������- � 0�� �$ � ��� � (�� � �������������� � ��� � ) � �� � 2������ � ������ � ���������(- �!�2���������������J�75�)����(������������������2�������� �������������������$�;5����M���$����<5�� ���(-���)��7�����������������(���2���������������2���������(�����(2�����������������2�����������-

1 �� ��� �3������� �+� ��0� ����� �,

?������������������������$�����������������������������(2��2�����((������$���������������������������)�������&2-�!�������(��������������((���������������������������������(������4?��-�<5-���������2���������(����� � �� � ) � �������� � ���1����������)� � 4������ � ������������2�G����� 5-�������������(���������������������������������������������������������((�������4�--$�������(��������G��� ���(��G�����������������((������5-�������2�$������(���������������������������������������)G����� �� 2-7�=9�������������2�2���������-

� ������(������������4�--�������������)�����������������������������5$ � �� � ��2�������3 � ��������� ������������-��������3�)�� ��������2(�2�������������������������B������������(��$��������������� � �� � ������� � (���(�$ � ������ � �� � ���� � ���(������������������2������������)���������������2��)�������(���-

� ���������������(�����������$�������������������������)��������������-�A���2����������2������ ���3 �������� ������������ ���� �2����������4-�-��M���������2������������ �� �� )����������5$�����2����������������������B���������������������������������������2���2��������((������-

0�� �$ � )��� �(����� � ��� ����� �2���2 � ������������� � �� � ����$ �� ����� � �� � �� ��������� � ��((2 � ������������� ����� ���6;8$��--���������������������(�����������$� ��($�C�2D�������������������$� $�������������� 2J

4� ��(�/.�� �5��V��(���4� �5�-

�� � �� � 2��������� � ������� � � � ��� � ��$ � �� � ��2���� � ��(������ � ����� � �� � ��3 � �������� � ���� � ������� � ���(�((��� � �� � ��(1(������2 � �������� ���� � �� � �� � ���� � ��2�����������2���������-

4� ��(�W/.�� �5��V��(�(�4� ��(�5����1���2��������-

7������$���2���������(������(���������������������3�������������)�����������������((������-����������� �� 2�)��������������������)� 2������2�����-�����������3�����������������������&2� �����(�����������������(����������4����5-

�A">=��-� ��?.'�A��.�� %.�"����:� ?.'� /�??='=��� '=>A��.��0�#�� .?��43� A�/� �!5� #�=%=�� .?� �0=� �A�=� �X#=� .?� ��?.'�A��.�R ��� ��� �0=�%.�"����:�.#='A�.'$�3�/=�.�=��A�/��A:'==�=���A/.#�=/�"X��0=�A:=��-

&����'�!�����(� ��)�����*�(� �4�����������5����� V����4�����5�R�Y���� ��2 ����� ������������2�������� ��������������������B����������9������(��������������������)����)��2-4�����������5������ V����4�����5�R�Y�������������������������������2�������������������-4�����������5���� V����4�����������5�R�Y:��������)��������������2�������2����������������-4�������W����5����� V����4�����53�R�Y/����2 �W���� �)G������(�����������2��� ����� �)G��$���� ����� �����������)�����2���2����2-4�������W����5������� V����4�����5�R�Y���12����2�(���������������((�������4�������W����5���� V����4�������W����5��4�����������53�R�Y:��������)�����������2����2�W�������������1���2����������������-4�W����������5����� V����Y�R�4�W4������W���5�5�$�4�W����53����(���������������2���������W���-4�W����������5���W��� V����Y�R�4�W4������W���5�5�$�4�W����53����(���������������2���������W���-4�W����������5���� V����Y�R�4�W4������W���5�5�$�4�W4���������5�53:��������)��������������2����������)�������2�W���������������-4�W������W����5���� V����Y�R�4�W����5����2����2�(��������������������������9������(������-4�W������W����5���W��� V����Y�R�4�W����5����2����2�(��������������������������9������(������-4�W������W����5��� V����Y�R�4�W����5����2����2�(��������������������������9������(������-4�����������5���4�������W����5��V����4�����5�R�Y�������2�(�2�)�����������������������������2�����������������W���-4�W����������5���4�W������W����5��V����Y�R�4�W����56�������2�(�2�)�����������������������������2�����������������W���-

���1��)� �����

���1��)� /(����� ���

/(����� ���

?�����<-� ((���������������������������������������2�������(�����-

684

Page 4: [IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools

?������$������������2��2���������������2������������������$ � -�- � )��� � �� � ��(1(������2 � �� � �� � )�������2$����������������������������(�((������������������������������-������(�((2��������������2��������(�����)������9����������6O8-

���- ��?.'�A��.��=>�%��A��.���./=>

����9��(��)���������2������������������������� � ���� � ��� � �� � ��� � �22������� � �����������- � �� � ������((����������� �����������������������������������(�1�22 �(���(�$ � ��2 � �� � �� � 2� ���� ������ � �� ����� � �����������������������������������������$�����������������������������$����(������������6F$�E$�H8-������������������� �2����)�����$���������(��2�������((��������������� ������"����2 ��������� ������"�� ������-�0�� �$���������������2�(������������������������2�)���������6Z8$�������� � �((����� � ���1�������� � ���2���$ � �� � ��� � ����������2������������(����-�����������2����� ��2�������������)����2�����������)� �������2������������(�����-

.�����2������������������������������������(������ � �������� � � � ���� � � � T� � ���� ����� � �� � ��- �����(����������� �� � �� �� � � �������� � ����*�������� �((�����������������2������������� ������������������������)��C������������������������(�����������D�4���������)������(2 � �� � ��� � �� � �������2 � �� � ���� � �� � ���� � ��������)G��� ���2����2��� � ����� � ���� ���� �� ��������������� ����������3�����(���������������������5�67Q8-�.��������������������(������������������((��������!�&�)���3�=����6<8$��������������������)���������2��������� ������ � �� � �� � ��������2 ����$ � �-- �������� � (��(������2������������������������ �������� ���)����2���2���2������������������ �������������������(�����12�� ���� � ����9�1�� � ���� � 4-�- � ��3 � C� � ���2 ��� � ����2����2��D � ��� � ) � �������2 � )� � ���3 � C���� � ���2���������$ � ��� � � � ��� � �)��� � ��D5- � �� � '�������(�������������������������������������������������� ������-�?���������$�!����$�/�$���2�.[/���)� 2���(���������������� ��������������(���������������������������� � ���� � � � ����� � 2����� � � ���� � )������ � 6778- � ������������������������((�������������������������������(��2 � ��- � �� � (��)�� � � � ��� � (�� � ��� � � � �� � ���2����2����� � ��2� � ����� � �� � ����2 � ) � �2 � �� � 2��������������-

�� � ��� � �) ��� � �((����)����� � �� � ��� � ������ � � � ���2���������������)� �����2�������(�������-����������$�� � �((����� � ��� � )� � ������� � �� � ��3 � ��� � �(���������)��2� �� � �� ������� � ���� �����������4�-- � �� � �� ����������������������$���������������T�������������������

�����5$���2�)�����������������������������4�����3��(��������������$������������������������2��������������� ���������������������2�����5-�A�����������������������������������������9(���4��5������(��(������������������4�����������(�����9(��2$��������)���������� ��������������2������5-�?������$����������������)��((��2������������������3���������������������4�--����������(�1�22���������(���(�5������)������4�����������2����� � ��� � ������&��� � ��3 � �)��������5- � ��)� � ;�������&��������������������������2��������������������� � ������ � �� � ����������� � ���������� � ��2��

�A">=���-� ��?.'�A��.��=>�%��A��.���./=>���'A�=:�=��A�/�%'��='�A

+# �������������� ������# , ������������� ������# &�������� #������� �� ������#\ 2������M���������������\ ��������� � �� � ����������� � �����2 � �����

�������������� �������\ ����������������������������������\ ������������������

\ 2������M���������������\ ��������� � �� � ����������� � �����2 � �����

�������������� �������\ �������������������\ ��3�������������������\ ���(��)����������������

\ 2������M���������������\ ��3�������������������\ ��3��)�������������)�����\ � �����(�(�9����������\ ��3�(� �����(���������)��2�������

����������� 2\ ���(��)����������������

7 #���2�������"���������4�5�*; >����2������3��(�������2���������������� -< = ���������������������������������������������2��������2�

��������������������������)�-F ����������'�������(�����������������*L ���WA���"���W%���/���=�4����2�)���5�*O ���2�������������4����������������(���(�������

���(� ��������5�*E ������((��2����������������������((����������� �

�� 2�*H ����������2�������������9(��������B������2�

�����C ��-D$�C.�-D$����C��-DZ +���*7Q '(�����2�2�����)�������������������������� �B�

����������-77 +7; +���*7< ��������)���������������2�����������������������

���(� ���������)�������9(�����������)�����B����2���������������������� ����)��������'�������(����������4-�-�C#�����������-D5

7F +7L +���*7O '�������(������������������������)��((��2-�/������

2��(���$�G���� ���2����)����������������������������4������(�����������������2������� ���5-

7E +7H +7Z :������(�����������2��������������������-;Q +

?�����F-� A���3 � ������� � �������� � (���2�� � ���� � �� � '�������(��������� � �((����� � �� � >�� � LB7ER ���]�����3 � ���� � �� � �����2$���]���3 � �������� � � � �����$ �1�]���3 � ���� � ���� � �(�� � 9(��2$�3�]������(��2�����2�������� ���������'�������(��������� ��� � )��((��2����4-�-������ ���)��((��2������7������8������ ��� 5$��!�]������������(������������������9(��2�4��25-

685

Page 5: [IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools

�������2��$���2�?��-�F�������������������������9������������������3�(���(�-�>������������������(�����������������9�1�������������2���������2��2������(����� ��������� ������ � 4�-- ��������� � �� �=���3 � ���12�� � � ��$ � -�- � C#�� � ��� � �� � 2���� � �� ����� � 6�� � ���2�2(��������R�������R���)������R^8D5-

��- =_#='��=��$�'=� >��$�A�/�/��% ���.�>������������������������������������2�-���� ��������

�((����)������������'�������(������������������1���(��������������$���2���2��������)��2��������2����2���2��� � 9(����� � ����2 � �� � 2�������� � �� � �� � ���������(�� ������(�������������������9���������-�?�������

(��(�$��9���������2�������������������?��-�L������������� � ���� � �� � '������ � (��������� � ��)�2$ � ��2 � �9�2���������������2�������������������������� ����������)�22�-�"���������$����������2�����������1������������������������������������2���������2����)��(���- � /����� � ��� � ��� � �� � ��� � �� � (�����2�M�������� � ��2 � �� � �� � �)���2 � �� � ���� � 2��������������� � �)����2 � ���� � �� � ���- � =��� � �� � ���������������((��2�����������������������������������������(����������2������(���22�4��)��<5-����2���������22J�/��������4������)���������������2�2���������������� ������� �� ��� � � ���� ����5$ �0������� ���� �� 4������)�������������&2�(�����������������5$ �/�� �� 4������)�����������M���2������3�����������5$�$���*����������/�� �$ � ��2 �/���� 4�� � ���)� � �� � ���2 � ��3 � ��������������25-

!��������2��������������$��������� ������ ������2�����������������������������)������������������4?��-�O5-�!�����2��������������� �����������4`������75�)�����2����������� �������2�M�������)�������(2������������������4`������;5$ ��(�����������������������3�(���(��4`������<5$����3��(����������4`������F5$��������������������2� �� �2������4`������L5$ ���2���3�������2���� ������������������������4`������O5- � '(�� � ����2 � � � � �� � (�2���2 � ����4�(������������ ����� ������ ��������$ ����*�������� �� ������$ ������ ���2 ��$ ����*���������$���2�������5���((2����������7^L�4�����L��(������������������5-�"�2�������M�����$������(��2����������������� ���������������M����������4�--����������������O����<Q5-

���� �������������������������� �2(�2��������)� ������$ �� ��(���2� ���#A'A/��=���������� 67;8 � ����(��� � 2����� � ��������- � �� � #A'A/��= � ���������M���������������� ���(������������2(�2��� ������������������(��������$���2����2����2�� ���(����������������������������

���������������� �]�a4�5����b���4�����������5�-

������(������������������������4�--���������5$����2��������(��������������-��������������2���)��� �������)�������� � �� ����� � ��� � �� � ������ � �� ����� ������������ -�����495�����c1�����������&������������������������� � ���� � �� ����� � ��� � �� � ����� � ������ � ������� � ���- ����$ � �� ��������&����� � � �(��� ��� � ���� ��������2�����������4-�-��� �/���� ������2�������2 ����� � �� �0������� ���� �� � � �����2 � �� � ��� �������)� � �� � �)� �����5- � �� � �������&����� � �������� � �����(��2��

�495�]�4�9��d�9�5�T�e9

����e9���2�9�������������2����2��2�2 ������������� �9� ����)�$ � �(��� ��- �0�� �$ � )��� ��((����� � ���#A'A/��=���������$���9���22����/�������������������������������������/�� �������4�����S�Q-ZL5-�����((���������������#A'A/��=�������������������������������������������)��������������������������� ����/��������

�A">=����-� �=���.�� �=A� '=�J ��. � ] � ���=. ��$ � �' � ]����'=%.:����.��$ � �' � ] � � '��$ � �� � ] � ���=� ��� �=%.�/�$ � #� � ]�#�X%0.>.:���3�� � '��$�`*7$^$O+�]�'=�#.��=� �.�` =���.�*7$^$O+$� ��]� �='��A���?A%��.��]�a4 5�` �-

- �. �& �& �� /� 01 02 03 04 0$ 05 ,+ Q7 7 ; 7< 7ZO ; L < F F F L ;L Q; < F 7E ;EO 7 < < < F < ; 7H Q< 7 Q H 7QE ; L F L L L L ;Z QF < ; ;< <LZ 7 ; 7 7 F ; ; 7; QL < L 7E ;O; 7 ; ; ; F < ; 7L QO ; < 7E ;;< < < < < F < < 7Z QE < E ;7 <7F Q 7 ; ; F < ; 7F QH Q F 7E 7Z< Q < < F F < < ;Q QZ Q 7 7Q 7<; Q L F F L F L ;E 7Q < F 7E ;H7 Q < < ; F < ; 7E 77 7 7 7; 7OE Q F < F L F F ;F 7; F L ;Q <<E Q ; ; ; < < ; 7F

�� *�1- �����������2���������� ������������4)�$������$���2T������(���5������������,����������11��6����*-������������������2����9���������$�������� ���2����������� ���������2(������ ���-�#��������2�������9����2(����������������������������������2-�� *�2-�?������������������������������������7$�����������2�����������������������-�X����������2���������������������������2����-�#��������2�������9�������������� �����2-�� *�3- ����� �� �)�� �� ����*��� ��� �#��- �'��)� ������� ����)����� � ��������� �� ��-�#��������2�������������(���������� �)�����2�)��������-

?�����L-� ����������-

0�� ����1 �/�������������������������)�����������������������M��2����K0�� ��� �2 � !� � �� �(�� ��� � ���������� � �((��(����K �!� ���� � �)� � ���������������������������2�)��������K0�� ����3 �/�2�����������������������2�����������(�����������2�����K0�� ����4 �/���������������(2�������3�������������((��(����K0�� ����$ � /�2� �� ���������� �� ���������9(��2 � �� � ���2����� ����2�����K0�� ����5 �"�2����������������9(����$�2��������������������2����� ���������������� �������2������)���������$ �-�-$ ������������������K

?�����O-� A���1���� ����������� �-

686

Page 6: [IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools

4��P�Q-QFL5���2�0������� ���� ��4��P�Q-QQ<5-�0��$�����������������)��9(������������������������ ��

��������������������������� ��] dQ-L<�b���4�/��������5����������� dQ-OF�b���4�0������� ���� ��5�-

������(�����������'�������(�����������������2��������������������������������� �4��S�Q-HZ5$��--����������������2�4��(��25�)���������9�(�����������������2��������2��������������������������2�������2�������������(���-

"�����(������������)���������������(������(������������� � ����( � �M���2 � �� � �� � �� � ���$ � � � ��� � ���2 � ���

��(�� ��� � �� � L-; �f- ���� � ���� � � � ���2 � 2� � �� � ���'�������(���������������������U(������2���1�������� �������U�B�(������(��������������(��������������������2����������2 ����� ����)�����)�����(�� �2�����(��������������������������-�������$���������������(�� ������� �) � � ���������$ � �� � � � ����2� � �� � ��������� � �����(��- �?���$ � �� ����� �2����� � � � �� �� 2$ � �-- � �����2��������3 �(���(� � ���� � ���(��������� ������� �)��((��2� ���4-�- �:�������� � �� $ � ��(������� � 9(����� � ���� � �1�������5-����������2���������(���(����������������)��((��2����4�--����������������������������((��2���5$�����������(�� �������<E-L�f�4���(��2������1)�1����������M������5-

����2$���������������������2�������������)���2��2�(��)�������((�������������������������������)��1��2�������(������������-�!���������������������2�����12(�2�� � ����� � �� � (�2��� � ����3 � ������� � ���� � )������(��2��������3�)�� ����67<$�7F8$�������2����������������������������������2�����1��2(�2�����������0G������� � 2������� � �� � �� � ���� � )� � ������ � ���9��22���������#A'A/��=����������67L8-

?������$ � ��������)��2������������� �������(�������2��������(�9�2������������������������������2�������� � �� � �� �����2 � ) � ����)�- �0�� �$ ����� � � ��������(�9�2�������������������A�'�(���������(�������� �����2��������)�����2�������������(�9�2���������������� ����)��������(���4�--���������������(��)������������������� � 2������ � �����������5 � �� �A�' ���� � ���� � �� � ������&������2������������9(�2����������2�(�������������������-���� � � � ��� � (������ � ��� � �� � ����9�1�� � ���� � 4-�-�C#�����������D5$���� �$����A�'������ ������)���� �2�)���((����������9�1������������� �4-�-��������2� �������2 � C#�� � ��� � �� � 2���� � �� ����� D5 �����������2���������������������(��)����������������2��(�����������������)�����������2-

>�������������������2�2�������������������������2�������(������������������������)2������)��F-�A������������� �� ���$ �)��� ��� � �� � ���� ��� ��(�����2� �������(��������� �� ��� !��������� ��� �)��������������(�1�22�C0�����������(����D-������������������2������������������������������ �����$������������������� � ?��-�E�- ��� � ������� � ����� � �� � �� � �(�� �/���� ��2��������1�����)G��-�'��������������������)�(���$���2�

?�����E-� ��������������(���2�)�������������������2�-

�A">=���-� /�A>.:�"=�!==���0=��X��=��4�5�A�/�A� �='�4 5-�=''.'��.%% ''=/� / '��:� �='3�� ��='A�%=� #'.%=����:� 4A�' � I � #A'�='5 �A'=���A>�%�c=/- ��0=� >AX='� %.> ��� ��/�%A�=�� !0�%0� >AX='�� �0=� ��='A�%=� #/A�=�-

���� ,������� (�#���7 !��������������(�������)������-

0�����������(����KB

7 ���2���������� �����- $�>�; #�����������- B ; ���2������(������������)����� �-�+ ���;�1*���, >�< !���������(�������������2������(���K B < %��($���)����������K $�>�F !���������((��9�����������2������������2(���K B F A)����� �- >�L � ���2����2 ���� ����� � �����/��� � �� � ����� �)�� ���

���(��)�����������2(����������� �-�#����������������������������������M��-

B

L X- B�O ����9�����(��)�������/������� �������� ����

<J<Q(�$����������7(�$���2�)�����7J<Q(�-�%�������(���������������K�/����������������2�������������K

>

O !����������(���K $�>�E �������� ���� �)��2(��������� �<J<Q(�������/��� � ���

����������7Q�����$����������7(��77�����$���2�)�����7J<Q(��77�����-�%�������(���������������K�/����������������2�������������K

>

E ��-�!���2��������������� K $�>�H ���������2(������������/�������7(������ ���� ������

���;(�-�%�������(���������������K�/����������������2�������������K

>

H A�2���������)�K�+ ���;����, $�>�Z �� � )� � 2(������ � ���� �/��� � �� � <J<Q(� � ���� � ���

���������F(�$���2�7J<Q(�����;(�-�%�������(���������������K�/����������������2�������������K

>

Z X- B�7Q ��������2����-

��-B

7Q <�/�������= B�77 0��������(���������)���� ����K B 77 .�- >�7; /�������� �����2������K B 7; ��- B�7< /����������������2���������(��&2�)���������������

(��� � �� ��� �/��� � �� � 7J<Q(�$ � ���� ��� � ����� � ���;(�K����������(������77�����-

B

7< X- B�7F ���������������������2�-

0�����������(����KB

g'����4����hh/���������hh�4�����������1��)��4������������/(������4��������������������J�Y������������5�$������������A��� ���4����������������%����J�C �����C������������5��������5����55

7�8�����������������,������

g'����4����hh������������hh�4��������%��������J�C���(D�$��������"��$�����������������55

7�8�����9� ���� ��������:

g'����4����hh������������hh�4��������hh/�������hh��$��������������4������������A��� ���4��������������������J�Y������������5��������5����55

7�8�;� �!������ ����������������:

687

Page 7: [IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools

'���E��M���������������������������9��-����(�����������������������������(����������������>����� ����������/�����)G���4�--�>����$�/�����-��$�3��������$���2�/���R����� � �))� ��� � �� � P�>�����i�/����S5$ � � � �����2��� � �� � ����������� � �� � ������ �1���� �)G�� � ������ � �(2�� � �� ��((������- ����2��� � ������� ������ ���� �� �P�>�����i�1����S�(��� �����$ �� � �����2��� � �� �'�� �O � �� � �(�� �/���� �)G��������� � ) � ������2 � ���� � �� � ���� � ����- � 0��$ � �������������� � 7$ � �� � �((� � ��2 � ���� � ���� � ������� � ���P�>�����i�/����S ���2�P�>�����i�1����S� ����������������$��(��� ��-

������� ;���������2������������������������������� � ���� � � � ���� � ������ � �)G�� � P�>�����i�1������� �S�������&2 � ��2 � ����� � �� � '�� ��� �� ��� ������- � �� � <�

4?��-�E)5$ � ���������� � ��� � ������ �'�� ��- ��� � ������������������������������)�����������(������������������4��������(� ������������ �1������� � �)G��������)����(��������������������������5- ����2�������������������(��)�����$���� �J�75����(���������������(������$�]�;b$��I�;b���41������� 5�4��'���;����2���������(������$�� ��� ����� ��2 �/��� $���2�'���7����2����(������������P�>�����i�1������� �S�(���������5$����;5��1������� ��)G������������ �(����� �$� ] �;b$�� I�Fb���41������� 5 � 4��'�� �;����2 �������� �(����� �$�� ��� ����� ��2 �/��� $ ���2�'�� �F������(����&����P�>�����i�1������� �S�(��������)��������(�����������������5- �����������(����������� �����2���)��� � ����� �������� ���$ ����� �� ����1������ ����� ��2�/��� ��)G������(�������)�����������������-��������������������� � F� � � �� � ��� ��� � ����� � �������� � � � ;$ � �-- � �������������������22���2������������(2��������������������-�'���H�����(��������������������2(����������2���������)��������2����2(����������F-

������� O���2� E����(��������������2����������4�� � ������ � �(�� � �� � ���� � (�������� � �� ��� �!��������� ��� ���2�����(��2������������������������5$���� � �� �� �(���2 � �� � E� 4?��-�E�5- �'�� ��� ��� � E� ���)G������������������-���������������������������2�)��'���E���2����������P�>�����i�/����S�(���-�������������(������������2�����������J�75�P�>�����i�/����S������$�)� �'�� � 7$ � � � ����2 � � � � � ����� � �� � �� �/��� � �)G��������2��2�)��������������E$���2�����(����������(������$�

]����4/��� 5$����;5��(�����������(����&2�)��'���F�4/��� ��)G�� � ����2 �) ��2 � �� � ��� �� � �����$ � ��� �$ � ��������� � ������ � (��� � 2� � ��� � ����� � ��� � ��5$ � ��2 � �����(������$�]�;b���4/��� 5-�?������(������$������������������������((����-.��������� ��6;8�����������2�/��� $����������������������C���� ��1���D��)��� �������������������� ����2����- ��� � �� ��� � �� �2����� � � � ��� �(���2�����������-

�- '=>A�=/�!.'@

.�� � ���� � � � 2���2 � �� � (�� �2 � � � ����� � ���1����� ������� � ��� � �������� � 2����� � B � �� � ���� � ���2$ � ���2���(� � 2�����1��2(�2�� � ��2 � 2�����12(�2����(������2�������������������((��������3�(����)��������������2�����$��������������������������9(�-�#�� �2��� � � � )�� ����� � )���� � � � � � ������ � ��� � ���2 ��(����2�����������6L8-�����������������������G���� �����������������2��������1)�2���������-

� ��"� 1���� 2����� ������� � 6E8 � ������ � � � ���1����������������������������������(��������2�����1(������2������������������������������(�� �2���� � �� � ��� �������� � ������ � 4��� � ����1������$������2���$���(������-5�����������)��2G��2���2����2 � )� � �� � '� �%���3 � ���� � �((���������(������������������-

� ?����� 2����� ������� � 6H8 � � � 2���2 � �������� � ��'� �%���$ � �-- � (�� �2 � � � 2����� � )�� ������� ������� � �� ������ ���� � �(�������2 � (��������� � ) � ����2$ � ��� �$ � �� � ����3 � ����� � ��2����)��2������������� � ������(����)����2� ����������)��-����������$����������(��������� � ��� � � � �(���)� � ��� � (�� �2��� � (����������� �� � 4�� � ���� � �� � �� � ����������� � �����$�������������������$���2���������������������5�)���������2������ ��������������(���������4-�-�2������ � ���������� � ������ � �� � �����2 � �� � ���������������������5-

A���������3������������������������$����������������� � ���(����� � ���� � �� � '� �%��� � ������ � ����-�A������� � )��� � � ������� � ��� � �� � �(�� � 4-�-�

�A">=��-� %.�#A'��.��!��0��%:>A�0A�3���=�A���%����='?A%=�>A�: A:=-

<������ +����������������(��������������� ������#�������������#������������M� A)�����B�����������������$�����������������������������

(��G��2����������(�������������(������)�������9���������������)G��� ������2��������-

����������B����������������2�������(2��������������������)���$���2�(���������������������������������(�����������-

%�������� ���� � ����� � �� � �� � ��������- � .�� � �� � �� � ��2������������� � �����������$ �(� ������������ ��������� �)���������-

���� ���������������������-�.���������2������������������������$���������������������� 2����������������������������������M�� �����)������������-

������������������� ����B�(�2�����22��������(�����������- ���� ���������������������-������������2������ �

����������� � �(���2 � ���� � ��2 � �������- � /� � ����������&�������������������� ����$���� �����)������������2����)�2������������������-

�������������(���2��������2�4�������������1���5��������-����� ���������&���2��(��������������������������������������)G��-

%�(�)����������(��������� ������������

�����((���2���������� ����- ��((���2���������� ����-

A((����)����� ���1�����2�2�����- ���1�����2�2�����-

688

Page 8: [IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools

(�2���2�)�������������������$��((����������������$�(����)�����$ ���-5 � ������ ����2����������)���� ���-��� ���� � ���������� ��� � ����2 � �� �(������� �(���- � ���)��������������$���(�������(���2���������������������������� � ������ � �� � �� � ���- �0�� �$ ����� �'� �%����������(�������)������������������(������������� ��������������������������������������������3�2��)������$������((�������������� ��� �������2�9(������������(��)������4�--�������5���2��������������C)�D���-������3��������� �����������������������(����������(����������������$�����������(����1(�������)�� ���������� ����9������-�'� �%�����������)��������������3��������� $���� �$��� ��� � ����2 � � � ����(��2��� � (��� � )�����$ � �� � )��� � ������ ��������������1��1�����������������-�.�������������2���"������2�'�2������(��������$������������2��)����������(����������(�������2��������� $���2� ����������)������������(��������(��)������������ �/������#����6E8-�A���������2��(���)����)���������������������)����������(������2����������3������������2������������ �)������������-�� ����$�)�����������������2����������������B���������������2��������(����������(������������������������������������������������������(���2����2�����$�'� �%������������2�������������((��������������2���� � ���1��2����2��� � �� � (����� � (���2��� � 2������4����� �� � �������� � ���� � )� ����� � �((����� � ��( � ��2��(������������������(���(�5-

?������������������������������(����������((�����$������������)�������(����������������:�����3���������������� � >������ � 67O8$ � �� � �� � �� � ��� � ����������2����� � ��� � �(������ � ��2 � ����(������� � 2����������9�������������-���)��L��� ����������2�� � ���������2����� � ����� � �� � �� � ��� � �((�����- � �� � �����2�������� � ��� ���������3 � ��(�� ������������2��� �B����� ����������� � ��������>�����������(�� ������������� � 2����� � �� � �� � ��� � ���� � 4��(����� � ����������� ��������������������2�����5$�������1����2��((����������(� � �� �2���(� � ��� �������� � ��2 � ��� � 9�����2��������� ���2 �2��� ��� � (����2 �(��� � 4��� �� ��2����������� � �������� � (��G����� � � � �� � ������� � ��������>�������2����������������������(�����������)G��5-����2�������)��������2���(���2�����������������������������������)�����((������������������������������������������������)�2���2������2�����-

��- %.�%> ��.�����(�(��������2���"/������1)�2��������������

���1�����2 � 2�����$ � (����������� � ������� � �� � ����3��������������(�����������2�����������-�!�(���2���������������� ���2� � ��� � �(������ � � � 2����� � ����9�- �.������(����� � ���� � �� � ���1��1��1��� � ������� � ��������>����������2�����2 ��������2�2���)���-

!��������2����9��22��������������2�����2����������������9����� � ��� � ��������- �.������� � �� �(����2��������2�������A�'�����������)� $������������������

���'�������(�������������������2������������2�����-�������1���������������������������������������������������������������������������2������������������2�������)�����������������1��1��1��� ���������������������2��������������������2��������������� �)������������-�@(��������������� ������3��2����������������� � ���� � �� � �� � ����2 � �� � ��� � ���� � �� � (�����������������9����� � ��� � ��(�� ��� � �� � ����� �B �� ���������������� � �����������2��������������� �� �� �(�������� � ������� � ���� � �� � ������ � ���(��2 � �(�1�22�M�������(�����2�)�������1�������� �������-

'=?='=�%=�678 A-�'�����2��-�:�����$�C"/������J�?�������������(������$D�#���-�

���7���������������%���������������1A���������4�%�A��ZL5$�����#�$�A(�-�7ZZL$�((-�<7;B<7Z-

6;8 "-�:��&���2�%-���2��$ �CA�������$ ���������$ ���2����������������/�����$D�%��(����������>��������$� ��-�7;$��(-�7ZHO$�((-7ELB;QF-

6<8 j-�!�&�)���$�C=>�cA�B�A����(����(����������������2�����������������������������������)����������2�������$D�%�������������������A�������������%��(��������������$� ��-�Z$�7ZOO$�((-<OBFL-

6F8 j-�:���������2�>-�"��$�C�(���������������������J�=9(�������������A��������$D�j������������������>�������=��������J��(������� ��� �"� �#������ � �� ��(��� �/������ �����$ � ��- � <$ � ;QQ<$�((-;E<B;HO-

6L8 A-���������2�!-�!�)��$�CA��A���1"�2�A((���������/��������������� � �� � #����� �A�����$D � #���- � �� � 7Q�� � �������������%������ � �� � ��������� � � � ������� � 4� � � QL5$ �A%� � #�$�j��-�;QQL$�((-�7<EB7FF-

6O8 %-�'���$�%-���2��$���2��-�>�$�C%.>>A:=�J�A((������%����)����� �/���������������0����1���(��������������$D�A������&��$� ��-�;;$�/�-�;QQ7$�((-7LB;L-

6E8 /- �"��� � ��2 �A- � '�2�����$ � C�� �'� �%��� � 2����� ������������������J �A������������2����$D� j������ ��� �%��(�����(�����2�>������$� ��-�;<$�j��-�;QQZ$�((-<<;B<O7-

6H8 �-�������$�j-�0�������$�@-�0k��k$�=-�������$�A-�@���������$���2�#-�#���$�CA��A������������2�A((��������������(��1)�2�A���)����������$D��"�������j������$� ��-�FF$�;QQL$�((-FHLBLQF-

6Z8 �-�X����� ���$�C0���/�� ��@����!����������KD�����������$� ��-�<$��� -�7ZZO$�((-<;BF<-

67Q8 %-�'���$�%�����%���2�����(�J�%������#������$���(�����������2������-�0���������������$�"����$�7ZL7-

6778 #-�!����$�0-��������2$�X-�/�$���2�/-�.[/�$�C/���������2������������� �������������$D�7F���A���������j�����%����������A�������������������$��(�����$�;QQ7$�((-L<;BLFF-

67;8 �-�!����$�/-�>�����$�%-�@���$���2�A-�A)���$�C= ����������(����/������ �A��� � ���� � #A'A/��=J ���� �%� � ���2�$D � %��(�����(�����2�>������$� ��-�;;$�7ZZH$�((-<7EB<FE-

67<8 @-�@�������$��-� ��$��-$��-�@�������$���2�0-�.���$�C ����2������� � (��� � 2������ � ��� � ��� � ��9�)� � ���2��� � ��������$D�= '.�#==%0$�;QQ<$�((-EFLBEFH-

67F8 j-�%��1%������$�C����%J�A���2�(�� ���921�������� �(����2���������������������������M���$D�O���A%>�������������((��2�����������������(������$�;QQQ$�((-ZEB7QF-

67L8 A- �0G�������- �C�����2 ��� ���2����������� �������� �2����������J�A�M�������� ���2��������2����������2�������(������$D����='�#==%0$�;QQL$�((-HOZBHE;-

67O8 �-���:�����$�C�����2��������2���/���������������$D�#���-����77��������!�����(����>����������������$�7ZZO$�((-7B7Q-

689