{"id":16954,"created":"2025-01-18T22:50:04.988507+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00016954","sets":["934:935:978:981"]},"path":["981"],"owner":"1","recid":"16954","title":["エージェント開発環境RXFにおけるslicingに基づくデバッガについて"],"pubdate":{"attribute_name":"公開日","attribute_value":"2000-03-15"},"_buckets":{"deposit":"8f440957-da2d-4206-8fc5-eac916e013cb"},"_deposit":{"id":"16954","pid":{"type":"depid","value":"16954","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"エージェント開発環境RXFにおけるslicingに基づくデバッガについて","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"エージェント開発環境RXFにおけるslicingに基づくデバッガについて"},{"subitem_title":"A Debugger with Program Slicing in the Agent Development Environment RXF","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"発表概要","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2000-03-15","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"名古屋工業大学　知能情報システム学科"},{"subitem_text_value":"名古屋工業大学　知能情報システム学科"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Intelligence and Computer Science, Nagoya Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Intelligence and Computer Science, Nagoya Institute of Technology","subitem_text_language":"en"}]},"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/16954/files/IPSJ-TPRO4102012.pdf"},"date":[{"dateType":"Available","dateValue":"2002-03-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TPRO4102012.pdf","filesize":[{"value":"95.6 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"8af4d420-4eef-4375-86f9-fa4dcf7e0ded","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2000 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"大囿忠親"},{"creatorName":"新谷, 虎松"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Tadachika, Ozono","creatorNameLang":"en"},{"creatorName":"Toramatsu, Shintani","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11464814","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7802","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本研究は，マルチエージェントシステム開発環境RXFの実装研究である．RXFの開発において，知的で自律したエージェントから構成されたマルチエージェントシステムの直感的な開発を支援することを目標としている．そのようなエージェントの実現のために，制約論理型言語に基づくエージェント記述言語と，リフレクションに基づくエージェントの実行環境を実装した．複数のエージェントを並行して実行させるためと，エージェントが複数の処理を並行処理するためのスレッド機能も提供している．本エージェントのデバッグにおいて，分散環境などで並行動作する複数のスレッドのデバッグをする必要がある．並行動作するプログラムにおけるデバッグに関する問題点として，非決定性によるバグの再現の困難さと，デバッガによる副作用を原因とするバグ発見の困難さがある．本研究では，slicingに基づくことによって，これらの問題を軽減することが可能なデバッガを実装している．slicingとは，特定の変数の値に関係しているプログラムの部分を特定するための手法である．従来のslicingに基づくデバッガは，手続き型言語へ適用されていたが，本研究では，論理型言語への適用を試みる．本システムにおけるslicingに基づくデバッガの特徴は，論理型言語におけるトレイルスタックの利用と，バックトラックやassertとretractへの対応である．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"We have developed a new programming environment, RXF, building a multi-agent system (MAS). RXF is used for realizing intuitive development of MASs that consist of reflective agents. The reflective agents are intelligent and autonomous agents based on a reflection. RXF provides capabilities of a constraint-logic programming language, a multi-thread and a reflection mechanism for realizing reflective agents. In constraint-logic programming, programmers can represent various data by using predicates and can process numerical data. The multi-thread is used to implement concurrent programs of agents. MAS Programmers may debug concurrent programs of MASs. The main problems associated with debugging concurrent programs are the \"probe effect\" and nonrepeatability. The probe effect refers to the fact that any attempt to observe the behavior of concurrent programs may change the behavior of that programS. The nonrepeatability means that different executions with the same data will result in different results. We attempt to implement a new debugger based on the slicing to reduce the problems. The slicing is an effective technique for narrowing the focus of attention to the relevant parts of a program during the debugging process. The feature of our debugger is support for a back track of logic programming and built-in predicates: assert and retract. Our debugger utilizes a trail stack of Prolog to reduce overhead in dynamic slicing. We show the implementation of a slicing on logic programming and our examination on debugging MASs using the debugger.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"104","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌プログラミング（PRO）"}],"bibliographicPageStart":"104","bibliographicIssueDates":{"bibliographicIssueDate":"2000-03-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"SIG02(PRO6)","bibliographicVolumeNumber":"41"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"updated":"2025-01-22T23:36:05.360621+00:00","links":{}}