½ ÀÌÆ ¾¾½¼¼¼¼½¾ ¹½ ÊÙ Ì ÛÓÒÑ ¾¼¼ ¾ ½
À Ö Ö Ð Ì Æ ØÛÓÖ ÔÐ ÒÒ Ò ÀÌƵ ÀÌÆ ÀÌÆ
½ ½ ½º½ ½ ½º¾ ½ ½º ½ ¾ ¾º½ ¾º¾ ¾º ¾º º½ ÀÌÆ º¾ ÀÌÆ º Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ º ½¾ º½ ÀÌÆ ½¾ º¾ ÀÌÆ ½ º ¾ ¾ º½ ¾ º¾ ¾ ¾ ¾
º½ ÀÌÆ º¾ ÀÌÆ º ÀÌÆ º ÀÌÆ ½¼ º½ ÀÌÆ ½ º¾ ÀÌÆ ½ º ½ ½ º ¾ ½ º ½ º ½ º ½ º ¾¼ º ¾½ º½¼ ¾¾ º½½ ¾
½ ½º½ ½º¾ ½ ÀÌÆ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ ÀÌÆ ½º ½
¾ ÀÌÆ ÀÌÆ ÀÌÆ ¾
¾ ¾º½ ÅÖº Ò ¾º¾ ½ ÁÒØ Ö Ø Ú ËØÓ¹ ÖÝØ ÐÐ Ò ¾ µ ¾º ÀÌÆ ÀËÈ ÀÌÆ ÀÌÆ ÀÌÆ
¾ ¾º ÀÌÆ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ ÀÌÆ
º½ ÀÌÆ ÀÌÆ ÀÌÆ ÀÌÆ À Ö Ö Ð Ì Æ ØÛÓÖ Ø Üµ Ü Ò µ Ùݵ ÇÊ Æ Ø Üµ µ µ ÀÌÆ º½ ÈÖ ÓÒ Ø ÓÒ µ Ä Øµ Ð Ø Ä Øµ º¾ µ ÇÊ Æ ÀÌÆ ÀÌÆ
get(x) exchange steal from a shop owner from a kid pick(x) get_out_of_the_shop() meet(owner) exchange(car, X) catch(kid) exchange(toy, X) buy get money trade move(atm) stand_in_the_line() withdraw(cost(x)) pick(x) pay(x) º½ ÀÌÆ Operator: pick(x) Preconditions: available(x) Delete List: available(x) Add List: in_hand(x) Operator: pay(x) Preconditions: in_hand(x) money(cost(x)) Delete List: money(cost(x)) Add List: own(x) º¾ ÀÌÆ
º¾ ÀÌÆ ÀÌÆ ¾ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ ËÌÊÁÈË ÈÖ ÓÒ ¹ Ø ÓÒ µ» º Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ Ü¹ ÙØ Ð ØÝ ÓÒ Ø ÓÒ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ» ÀËÈ À ÙÖ Ø Ë Ö ÈÐ ÒÒ Öµ ÀÌÆ ÀÌÆ ÀËÈ ËÌÊÁÈË ½ ÈÖ ÓÒ Ø ÓÒ µ Рص Ð Ø Ð Øµ ÀÌÆ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ º ËÌÊÁÈË
Operator: pick(x) Preconditions: available(x) Executability Conditions: Delete List: available(x) Add List: in_hand(x) Operator: pick_secretly(x) Preconditions: available(x) Executability Conditions: not someone_aware_of(x) Delete List: available(x) Add List: in_hand(x) Operator: pay(x) Preconditions: in_hand(x) money(cost(x)) Executability Conditions: Delete List: money(cost(x)) Add List: own(x) Operator: pay_in_a_hurry(x) Preconditions: in_hand(x) money(cost(x)) Executability Conditions: exist(clerk) not in_line Delete List: money(cost(x)) Add List: own(x) º ÀÌÆ
Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ Ð Øµ Ð Ø Ð Øµ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ µ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ º ½ ÀÌÆ ÀÌÆ ÀÌÆ º½ ÀÌÆ ÀÌÆ µ ÀÌÆ ½ ½
½ ÈÖ ÓÒ Ø ÓÒ µ Рص Ð Ø Ð Øµ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ µ ÀÌÆ º get(x) exchange steal meet(owner) call(owner) call_loudly(owner) from a shop owner exchange(old_teddy, X) exchange(car, X) exchange(a_few_money, X) from a kid catch(kid) catch_by_force(kid) call(kid) call_loudly(kid) exchange(old_teddy, X) exchange(car, X) exchange(a_few_money, X) buy pick(x) pick_in_a_hurry(x) pick_slowly(x) pick_secretly(x) get_out_of_the_shop() get_out_of_the_shop_quickly() get money trade move(atm) move_in_a_hurry(atm) move_slowly(atm) move_secretly(atm) stand_in_the_line_and_wait() pass_a_person_and_wait() get_ahead_of_the_line() withdraw(cost(x)) withdraw_in_a_hurry(cost(x)) withdraw_slowly(cost(x)) pick(x) pick_in_a_hurry(x) pick_slowly(x) pick_secretly(x) pay(x) pay_in_a_hurry(x) pay_slowly(x) pay_roughly(x) º ÀÌÆ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ ÀÌÆ ½¼
Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ ÀÌÆ ½½
º½ ÀÌÆ ÀÌÆ Ø ÑÓÒ Ý ½º ÌÅ ¾º º ÀÌÆ ÀÌÆ ÇÊ º½ Æ Ø ÑÓÒ Ý ÑÓÚ Û Ø Û Ø Ö Û µ ÇÊ ÑÓÚ Û Ø Û Ø Ö Û º½ ½ ÀÌÆ º¾ Ø ÑÓÒ Ý ½¾
get money withdraw wait withdraw(cost(x)) withdraw_in_a_hurry(cost(x)) withdraw_slowly(cost(x)) move stand_in_the_line_and_wait() pass_a_person_and_wait() get_ahead_of_the_line() move(atm) move_in_a_hurry(atm) move_slowly(atm) move_secretly(atm) º½ ÀÌÆ get money move(atm) move_in_a_hurry(atm) move_slowly(atm) move_secretly(atm) stand_in_the_line_and_wait() pass_a_person_and_wait() get_ahead_of_the_line() withdraw(cost(x)) withdraw_in_a_hurry(cost(x)) withdraw_slowly(cost(x)) º¾ ÀÌÆ ½
º¾ ÀÌÆ ÀÌÆ ÅÖº Ò Ø Ý Öµ º Ø µ Ø Ý Ö Ø Ø Ý Öµ º º º½¼ ½º ÙÝ Ø ÑÓÒ Ý º µ ¾º Ø ÑÓÒ Ý ÑÓÚ Ò ÙÖÖÝ Ìŵ ÌÅ º ÌÅ Ø Ó Ð Ò µ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ ÒÓØ Ð Ò ÓÖÑ Ð Ò ÓÖÑ µ Ø Ó Ð Ò µ º½½ º ÌÅ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ ÒÓØ Ð Ò ÓÖÑ º µ º Ô Ô Ö ÓÒ Ò Û Ø µ º µ º Û Ø Ö Û Ò ÙÖÖÝ Ó Ø Ø Ý Öµµ Ø ÑÓÒ Ý º µ º ØÖ Ô Ò ÙÖÖÝ Ø Ý Öµ º µ º ÑÓÒ Ý Ó Ø Ø Ý Öµµ ½
º Ô Ý Ò ÙÖÖÝ Ø Ý Öµ ÈÖ ÓÒ Ø ÓÒ ÑÓÒ Ý Ó Ø Ø Ý Öµµ ØÖ ÙÝ º µ ½¼º Ø Ð Ô Ö ØÐÝ Ø Ý Öµ ½½º Ø ÓÙØ Ó Ø ÓÔ ÕÙ ÐÝ µ º µ ÀÌÆ º½¼ get(x) exchange steal buy º ½ ½
buy get money move(atm) move_in_a_hurry(atm) move_slowly(atm) move_secretly(atm) stand_in_the_line_and_wait() pass_a_person_and_wait() get_ahead_of_the_line() withdraw(cost(x)) withdraw_in_a_hurry(cost(x)) withdraw_slowly(cost(x)) failure º ¾ ½
get money move(atm) move_in_a_hurry(atm) move_slowly(atm) move_secretly(atm) stand_in_the_line_and_wait() pass_a_person_and_wait() get_ahead_of_the_line() withdraw(cost(x)) withdraw_in_a_hurry(cost(x)) withdraw_slowly(cost(x)) 別 の 候 補 º ½
get money move(atm) move_in_a_hurry(atm) move_slowly(atm) move_secretly(atm) stand_in_the_line_and_wait() pass_a_person_and_wait() get_ahead_of_the_line() withdraw(cost(x)) withdraw_in_a_hurry(cost(x)) withdraw_slowly(cost(x)) º ½
buy get money trade pick(x) pick_in_a_hurry(x) pick_slowly(x) pick_secretly(x) pay(x) pay_in_a_hurry(x) pay_slowly(x) pay_roughly(x) º ½
buy get money trade failure pick(x) pick_in_a_hurry(x) pick_slowly(x) pick_secretly(x) pay(x) pay_in_a_hurry(x) pay_slowly(x) pay_roughly(x) º ¾¼
get(x) exchange buy steal pick(x) pick_in_a_hurry(x) pick_slowly(x) pick_secretly(x) get_out_of_the_shop() get_out_of_the_shop_quickly() º ¾½
get(x) exchange steal from a shop owner from a kid pick(x) pick_in_a_hurry(x) pick_slowly(x) pick_secretly(x) get_out_of_the_shop() get_out_of_the_shop_quickly() buy get money trade Failure move(atm) move_in_a_hurry(atm) move_slowly(atm) move_secretly(atm) stand_in_the_line_and_wait() pass_a_person_and_wait() get_ahead_of_the_line() withdraw(cost(x)) withdraw_in_a_hurry(cost(x)) withdraw_slowly(cost(x)) pick(x) pick_in_a_hurry(x) pick_slowly(x) pick_secretly(x) pay(x) pay_in_a_hurry(x) pay_slowly(x) pay_roughly(x) Failure º½¼ ¾¾
Operator: get_ahead_of_the_line() Preconditions: be_at(atm) Executability Conditions: not line_formed Delete List: waiting_for_my_turn Add List: ready_to_withdraw º½½ º ¾º µ ½ ÀÌÆ ÀÌÆ ÀÌÆ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ ÌÅ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ ÀÌÆ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ ¾
Ø Ó Ð Ò µ Ô Ô Ö ÓÒ Ò Û Ø µ ¾
º½ ÍÒÖ Ð Ò Ò ÍÒÖ ÐËÖ ÔØ ÏÇÌ Ö Ð ÍÒÖ Ð Ò Ò Ùº Ü Â Ú ÓØ Ð Ô ÈÓ Ö Å Ý Å Ý Ó ÝËØÙ Ó ÈÓ Ö Å Ý Å Ý ØÓÖ Å Ý ÍÒÖ Ð Ò Ò ÍÒÖ Ð ØÓÖ ÍÒÖ Ð ØÓÖ µ Ý Û Ò ¾
º¾ ½ ÍÒÖ ÐÌÓÙÖÒ Ñ Òؾ¼¼ ÍÒÖ Ð Ò Ò ½¼ ÈÁ ÍÖ ÐËÖ ÔØ ÓØ Á Ñ ÓØ ½½ ÍÒÖ Ð Ò Ò ÅÇ µ Ñ ÓØ ÍÒÖ Ð Ò Ò ÓØ Â Ú Ñ ÓØ ÈÁ Â Ú ÓØ ½¾ ÈÁ Â Ú Â Ú Â Ú ÓØ Â Ú ÓØ ¾
ÀÌÆ ¾ ÀÌÆ Ü ÙØ Ð ØÝ ÓÒ Ø ÓÒ ¾
ÊÙ Ì ÛÓÒÑ ¾
½ Å Ø Åº Ò ËØ ÖÒ º Ú ÓÖ Ä Ò Ù ÓÖ ËØÓÖݹ Ð Ú Ð ÒØ º Á ÁÒØ ÐÐ ÒØ ËÝ Ø Ñ ÔÔº ¹ ÂÙÐݹ Ù Ù Ø ¾¼¼¾º ¾ ÖÐ º Ú ÞÞ Åº Ò Å ËºÂº Ò Ö Ø Ò ÝÒ Ñ ËØÓÖÝÐ Ò Ì ÖÓÙ Ö Ø Ö ÁÒØ Ö Ø ÓÒ º ÁÒØ ÖÒ Ø ÓÒ Ð ÂÓÙÖÒ Ð ÓÒ ÁÒØ ÐÐ ÒØ Ñ Ò Ë ÑÙÐ Ø ÓÒ ÚÓк ½ ÒÓº ½ ÔÔºº ¹½½ Å Ö ¾¼¼¾º ÌÓ Æº Ò Æ Ø Ù Êº ÁÒØ Ö Ø Ú ÓÑ Ý Ä Ù Ø Ö Ø Æ ÜØ ÁÒØ ÐÐ Ò ËÝ Ø Ñº ÈÖÓº ÁÒØ ÖÒ Ø ÓÒ Ð Ó Ø ÓÒ Ó Ë Ò Ò Ì ÒÓÐÓ Ý ÓÖ Ú ÐÓÔÑ ÒØ ÖØ Æ Ð Ò ÓÑÔÙØ Ø ÓÒ Ð ÁÒØ ÐÐ Ò ÔÔº ¼¾¹ ¼ Ë ÔØ Ñ Ö ¾¼¼¾º Ú ÞÞ Åº ÖÐ º Ò Å ËºÂº Ò Ö Ø ÓÒ Ó ÀÙÑÓÖÓÙ Ë ØÙ Ø ÓÒ Ò ÖØÓÓÒ Ø ÖÓÙ ÈÐ Ò¹ ÓÖÑ Ð Ø ÓÒ º ÀÁ¹¾¼¼ ÏÓÖ ÓÔ ÀÙÑÓÖ ÅÓ Ð Ò Ò Ø ÁÒØ Ö ÔÖ Ð ¾¼¼ º Æ Ù ºËº ËÑ Ø ËºÂºÂº Ò ÖÓРú ÓÒØÖÓÐ ËØÖ Ø Ò ÀÌÆ ÈÐ ÒÒ Ò Ì ÓÖÝ Ú Ö Ù ÈÖ Ø º Á¹»Á Á¹ ÈÖÓ Ò ÔÔº ½½¾ ¹½½ ½ º ÓÒ Ø º Ò «Ò Ö Àº ÈÐ ÒÒ Ò À ÙÖ Ø Ë Ö º ÖØ Æ Ð ÁÒØ ÐÐ Ò ËÔ Ð Á Ù ÓÒ À ÙÖ Ø Ë Ö ÚÓк ½¾ ÒÓº ½ ÔÔº ¹ ¾¼¼½º ÖÐ º ÄÓÞ ÒÓ Åº Š˺º ÕÙ ÖÖ º º Ò Ú ÞÞ Åº ÈÐ ÒÒ Ò ÓÖÑ Ð Ñ Ò ÙØ ÓÖ Ò Ò ÁÒØ Ö Ø Ú ËØÓÖÝØ ÐÐ Ò º ÈÖÓº Ó Ø Ö Ø ÁÒØ ÖÒ Ø ÓÒ Ð ÓÒ Ö Ò ÓÒ Ì ÒÓÐÓ ÓÖ ÁÒØ Ö Ø Ú Ø Ð ËØÓÖÝØ ÐÐ Ò Ò ÒØ ÖØ ÒÑ ÒØ ÖÑ Ø Ø ÖÑ Òݺ ÔÔº ¾ ¹¾ Å Ö ¾¼¼ º ÄÓÞ ÒÓ Åº Š˺º Ú ÞÞ Åº Ò ÖÐ º Ë Ö ¹ ÈÐ ÒÒ Ò Å Ø Ó ÓÖ Ö Ø Ö Ú ÓÙÖº Ñ ÇÒ ¾¼¼¾ ÄÓÒ ÓÒ Íú Ë Ñ º Ò Ã Ñ Åº ÙØÓÑ Ø Ë ÓÖØ ËØÓÖÝ Ò Ö ØÓÖ ÓÒ ÙØÓÒÓÑÓÙ ÒØ º ÈÊÁÅ ¾¼¼¾ ÄÆ Á ¾ ½ ÔÔº ½ ½¹½ ¾ ¾¼¼¾º ½¼ ÍÒÖ Ð Ú ÐÓÔ Ö Æ ØÛÓÖ ØØÔ»»Ù Òº Ô Ñ ºÓÑ» ½½ Ñ ÓØ ÀÓÑ Ô ØØÔ»» ÓÙÖ ÓÖ ºÒ Ø»ÔÖÓ Ø» Ñ ÓØ ¾
½¾ Â Ú ÓØ ÀÓÑ Ô ØØÔ»»ÙØ Óغ ÓÙÖ ÓÖ ºÒ Ø» ¼