{"id":97961,"updated":"2025-01-21T12:41:01.105622+00:00","links":{},"created":"2025-01-18T23:44:18.205069+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00097961","sets":["1164:4402:7410:7408"]},"path":["7408"],"owner":"11","recid":"97961","title":["不確実性に対処可能なTeleo-reactive Programの意味論とその応用"],"pubdate":{"attribute_name":"公開日","attribute_value":"2014-01-16"},"_buckets":{"deposit":"f9f06335-27d9-4eb2-8de7-04440b5be6bb"},"_deposit":{"id":"97961","pid":{"type":"depid","value":"97961","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"不確実性に対処可能なTeleo-reactive Programの意味論とその応用","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"不確実性に対処可能なTeleo-reactive Programの意味論とその応用"},{"subitem_title":"A semantics of Teleo-reactive Program that can handle uncertainty and its application","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2014-01-16","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"京都大学数理解析研究所"},{"subitem_text_value":"奈良女子大学大学院人間文化研究科"},{"subitem_text_value":"奈良女子大学研究院自然科学系情報科学領域"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/97961/files/IPSJ-ICS14173002.pdf"},"date":[{"dateType":"Available","dateValue":"2016-01-16"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-ICS14173002.pdf","filesize":[{"value":"2.6 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"25"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"443a6aed-8f8c-4add-9747-e019c8211d79","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2014 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"後藤, 勇樹"},{"creatorName":"藤田, 恵"},{"creatorName":"新出, 尚之"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yuki, Goto","creatorNameLang":"en"},{"creatorName":"Megumi, Fujita","creatorNameLang":"en"},{"creatorName":"Naoyuki, Nide","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11135936","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"我々はこれまでの研究で、現実世界の動的環境に対応可能なロボットの自律的制御方法を、Teleo-Reactive Program を基盤として確立してきた。実験結果から、ロボットが時に予想外の行動を選択する場合でも、最終的に目標を達成する事が確認できたが、この事実を反映する有効な意味論は得られていなかった。本論文では先ず、我々の方法に対する意味論を構成する事により、目標の達成可能性を示す Modelcheck の方法を示す。また、その際に予想外の行動を行う不確実性に対し、我々の方法でどの様に対処しているかを解説する。次に、今回の意味論の応用について述べる。具体的には、過去の出来事に対して合理的な解釈を行う事で、次の行動方針を決定するエージェントの構想を述べる。","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Our past research has been establishing a method of autonomous control of robots which can respond to dynamic changes of the real worlds. Though the robots can eventually achieve their goals even if they occasionally select the unexpected behaviors, we did not have any effective semantics which reflects that fact yet. In this paper, we construct a semantics for the autonomous control method of real-world robots which is shown in our past research. Then, based on it, we present a model-checking method to show the possibility of achieving a goal. In addition, we describe our method to handle the uncertainty of the real world, Next, we show the application of our semantics. Especially, we propose an idea of agent system which, by giving rational interpretations to past events, determines a policy of selecting its actions.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"6","bibliographic_titles":[{"bibliographic_title":"研究報告知能システム（ICS）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2014-01-16","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicVolumeNumber":"2014-ICS-173"}]},"relation_version_is_last":true,"weko_creator_id":"11"}}