{"id":122296,"updated":"2025-01-21T03:25:11.279323+00:00","links":{},"created":"2025-01-19T00:02:31.662032+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00122296","sets":["6504:8020:8025"]},"path":["8025"],"owner":"1","recid":"122296","title":["法的推論システムHELIC-II(1) : 並列定理証明器MGTPを拡張した法律条文に基づく推論"],"pubdate":{"attribute_name":"公開日","attribute_value":"1992-09-28"},"_buckets":{"deposit":"7a051d56-4cf1-47b9-ad68-478f246251e4"},"_deposit":{"id":"122296","pid":{"type":"depid","value":"122296","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"法的推論システムHELIC-II(1) : 並列定理証明器MGTPを拡張した法律条文に基づく推論","author_link":[],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"法的推論システムHELIC-II(1) : 並列定理証明器MGTPを拡張した法律条文に基づく推論"},{"subitem_title":"Rule-BaseReasoning using extended MGTP in HELIC-II","subitem_title_language":"en"}]},"item_type_id":"22","publish_date":"1992-09-28","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_22_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"(財)日本情報処理開発協会"},{"subitem_text_value":"(財)新世代コンピュータ技術開発機構"},{"subitem_text_value":"(財)新世代コンピュータ技術開発機構"}]},"item_22_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"JIPDEC","subitem_text_language":"en"},{"subitem_text_value":"ICOT","subitem_text_language":"en"},{"subitem_text_value":"ICOT","subitem_text_language":"en"}]},"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/122296/files/KJ00001343998.pdf"},"date":[{"dateType":"Available","dateValue":"1992-09-28"}],"format":"application/pdf","filename":"KJ00001343998.pdf","filesize":[{"value":"203.1 kB"}],"mimetype":"application/pdf","accessrole":"open_date","version_id":"f37f8821-a2fb-4787-8432-9e6a1770cdc7","displaytype":"detail","licensetype":"license_note"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_22_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00349328","subitem_source_identifier_type":"NCID"}]},"item_22_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"HELIC-IIは並列処理マシン上で開発された法的推論システムであり、事件の事実関係を入力すると考えられる全ての法的判断を出力する。このような機能を条文に基づく推論と事例に基づく推論をそれぞれ相補的に推論させることによって実現している。条文に基づく推論は、条文から抽出した条文ルールと呼ばれるルールを最初に与えられる事件の事実関係と事例に基づく推論で求めた仮説に適用し、罪責とそれが求まった過程を出力するものである。この一連の処理を行うのが並列定理証明器MGTP(Model Generation Theorem Prover)を拡張した推論エンジンである。この推論エンジンの特徴は並列モデル生成機構による高速推論,否定を含むルールの扱い,対立する可能性のある仮説の扱いなどである。","subitem_description_type":"Other"}]},"item_22_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"30","bibliographic_titles":[{"bibliographic_title":"全国大会講演論文集"}],"bibliographicPageStart":"29","bibliographicIssueDates":{"bibliographicIssueDate":"1992-09-28","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"人工知能及び認知科学","bibliographicVolumeNumber":"第45回"}]},"relation_version_is_last":true,"weko_creator_id":"1"}}