{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00013967","sets":["581:755:765"]},"path":["765"],"owner":"1","recid":"13967","title":["A General - Purpose Reasoning Assistant System EUODHILOS -Basic Features and Potential Usefulness- Every universe of discourse has its logical structure. S. K. Langer (1925)"],"pubdate":{"attribute_name":"公開日","attribute_value":"1995-03-15"},"_buckets":{"deposit":"e162db0f-1771-456b-89af-ce7ff736a829"},"_deposit":{"id":"13967","pid":{"type":"depid","value":"13967","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"A General - Purpose Reasoning Assistant System EUODHILOS -Basic Features and Potential Usefulness- Every universe of discourse has its logical structure. S. K. Langer (1925)","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A General - Purpose Reasoning Assistant System EUODHILOS -Basic Features and Potential Usefulness- Every universe of discourse has its logical structure. S. K. Langer (1925)"},{"subitem_title":"A General - Purpose Reasoning Assistant System EUODHILOS -Basic Features and Potential Usefulness- Every universe of discourse has its logical structure. S. K. Langer (1925)","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"論文","subitem_subject_scheme":"Other"}]},"item_type_id":"2","publish_date":"1995-03-15","item_2_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"Institute for Social Information Science  FUJITSU LABORATORIES Ltd"},{"subitem_text_value":"Institute for Social Information Science  FUJITSU LABORATORIES LTD"},{"subitem_text_value":"Software Laboratory  FUJITSU LABORATORIES Ltd"},{"subitem_text_value":"Software Laboratory  FUJITSU LABORATORIES Ltd"}]},"item_2_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Institute for Social Information Science, FUJITSU LABORATORIES Ltd","subitem_text_language":"en"},{"subitem_text_value":"Institute for Social Information Science, FUJITSU LABORATORIES LTD","subitem_text_language":"en"},{"subitem_text_value":"Software Laboratory, FUJITSU LABORATORIES Ltd","subitem_text_language":"en"},{"subitem_text_value":"Software Laboratory, FUJITSU LABORATORIES Ltd","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"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/13967/files/IPSJ-JNL3603005.pdf"},"date":[{"dateType":"Available","dateValue":"1997-03-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JNL3603005.pdf","filesize":[{"value":"2.1 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":"8"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"2021beeb-7639-47a1-ad15-b338647204aa","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1995 by the Information Processing Society of Japan"}]},"item_2_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Hajime, Sawamura"},{"creatorName":"Toshiro, Minami"},{"creatorName":"Kaoru, Yokota"},{"creatorName":"Kyoko, Ohashi"}],"nameIdentifiers":[{}]}]},"item_2_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Hajime, Sawamura","creatorNameLang":"en"},{"creatorName":"Toshiro, Minami","creatorNameLang":"en"},{"creatorName":"Kaoru, Yokota","creatorNameLang":"en"},{"creatorName":"Kyoko, Ohashi","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_2_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00116647","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_2_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7764","subitem_source_identifier_type":"ISSN"}]},"item_2_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"Much work has been devoted to special-purpose reasoning assistant systems whose under-lying logics are fixed. In contrast to such a trend  this paper is devoted to a new dimension of computer-assisted reasoning research  that is  a general-purpose reasoning assistant system that allows a user to define his or her own logical system relevant for the intended problem domain and to reason about it. In the first half of the paper  the need  significance and design principle of EUODHILOS : a general-purpose system for computer-assisted reasoning  is discussed  then the system overview is described  placing emphases on the following three points : (1) an expressive and tractable framework for representing a logic  (2) a powerful and flexible proof construction facility  and (3) a visual reasoning-oriented human-computer interface for ease of use. In the latter half  the potential and usefulness of EUODHILOS are demonstrated through experiments and experiences of its use by a number of logics and proof examples therein  which have been used or devised in computer science  artificial intelligence and so on.","subitem_description_type":"Other"}]},"item_2_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Much work has been devoted to special-purpose reasoning assistant systems whose under-lying logics are fixed. In contrast to such a trend, this paper is devoted to a new dimension of computer-assisted reasoning research, that is, a general-purpose reasoning assistant system that allows a user to define his or her own logical system relevant for the intended problem domain and to reason about it. In the first half of the paper, the need, significance and design principle of EUODHILOS : a general-purpose system for computer-assisted reasoning, is discussed, then the system overview is described, placing emphases on the following three points : (1) an expressive and tractable framework for representing a logic, (2) a powerful and flexible proof construction facility, and (3) a visual reasoning-oriented human-computer interface for ease of use. In the latter half, the potential and usefulness of EUODHILOS are demonstrated through experiments and experiences of its use by a number of logics and proof examples therein, which have been used or devised in computer science, artificial intelligence and so on.","subitem_description_type":"Other"}]},"item_2_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"560","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌"}],"bibliographicPageStart":"542","bibliographicIssueDates":{"bibliographicIssueDate":"1995-03-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3","bibliographicVolumeNumber":"36"}]},"relation_version_is_last":true,"item_2_alternative_title_2":{"attribute_name":"その他タイトル","attribute_value_mlt":[{"subitem_alternative_title":"知識処理"}]},"weko_creator_id":"1"},"id":13967,"updated":"2025-01-23T01:00:15.342154+00:00","links":{},"created":"2025-01-18T22:47:54.699143+00:00"}