{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00121574","sets":["6504:8008:8015"]},"path":["8015"],"owner":"1","recid":"121574","title":["論証支援システムEUODHILOSのための構文記述法の改良とパーザの実現"],"pubdate":{"attribute_name":"公開日","attribute_value":"1992-02-24"},"_buckets":{"deposit":"eb5a9790-d051-423e-a1f9-17c862999c3c"},"_deposit":{"id":"121574","pid":{"type":"depid","value":"121574","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"論証支援システムEUODHILOSのための構文記述法の改良とパーザの実現","author_link":[],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"論証支援システムEUODHILOSのための構文記述法の改良とパーザの実現"},{"subitem_title":"Improved syntax rules and jmplementation of the parser for reasoning assistant system EUODHILOS","subitem_title_language":"en"}]},"item_type_id":"22","publish_date":"1992-02-24","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":"富士通株式会社"},{"subitem_text_value":"富士通株式会社"}]},"item_22_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Fujitsu,Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Fujitsu,Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Fujitsu,Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Fujitsu,Ltd.","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/121574/files/KJ00001343259.pdf"},"date":[{"dateType":"Available","dateValue":"1992-02-24"}],"format":"application/pdf","filename":"KJ00001343259.pdf","filesize":[{"value":"202.8 kB"}],"mimetype":"application/pdf","accessrole":"open_date","version_id":"8130614e-eda3-4797-bfe1-6c298410360c","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":"今日,計算機科学や人工知能の分野で,計算機による問題解決や支援の研究がなされている.論理を用いた問題解決は,形式的な手続きによって行うことができるため,有効であることが認められている.問題解決を論理の下で行うには,解決する問題に適した論理系の下で行うことが望ましいが,適切な論理系は問題ごとに異なる.論理系ごとに支援システムを構築するのは,その度ごとに類似の努力を要し,無駄が多い.そのため,論理系を定義するためのメタな枠組みを提供し,ユーザの定義した論理系の下での支援を行うようなシステムが有効である.我々は,このような要求を満たす汎用論証支援システムEUODHILOSを開発した.EUODHILOSは,この目的を満たすため,ユーザが言語を定義する機能と,その定義から内部構造変換機能付きパーザとアンパーザを自動生成する機能を有している.言語の定義に用いる構文記述法は,確定節文法(DBG)に構成子定義を加えたものである.構成子定義とは,項や式において演算子や述語記号,関数記号として用いる言語の定義および,演算子の優先順位を定義を行うものである.図1にMartin-Lofの型理論の構文規則を示す.DCGには,書きやすい,文脈に依存した情報も書ける,Prologで記述したパーザに変換する手法が知られている,といった特長がある.[figure]","subitem_description_type":"Other"}]},"item_22_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"126","bibliographic_titles":[{"bibliographic_title":"全国大会講演論文集"}],"bibliographicPageStart":"125","bibliographicIssueDates":{"bibliographicIssueDate":"1992-02-24","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"ソフトウェア","bibliographicVolumeNumber":"第44回"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":121574,"updated":"2025-01-21T03:42:51.026737+00:00","links":{},"created":"2025-01-19T00:01:54.538259+00:00"}