{"created":"2023-05-15T15:25:11.539409+00:00","id":12722,"links":{},"metadata":{"_buckets":{"deposit":"0425628f-7401-4d6d-8956-442be25f00b9"},"_deposit":{"created_by":3,"id":"12722","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"12722"},"status":"published"},"_oai":{"id":"oai:sucra.repo.nii.ac.jp:00012722","sets":["94:426"]},"author_link":["19889","19892","19890","19891"],"item_119_alternative_title_1":{"attribute_name":"タイトル（別言語）","attribute_value_mlt":[{"subitem_alternative_title":"Managing System of Knowledge Base in Machining"}]},"item_119_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1992","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"552","bibliographicPageEnd":"2565","bibliographicPageStart":"2560","bibliographicVolumeNumber":"58","bibliographic_titles":[{"bibliographic_title":"日本機械学會論文集. C編"}]}]},"item_119_date_31":{"attribute_name":"作成日","attribute_value_mlt":[{"subitem_date_issued_datetime":"2007-03-05","subitem_date_issued_type":"Created"}]},"item_119_description_19":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"It is possible to incorporate a system which manages a knowledge base into an expert system. Because, by using this system, we can rebuild knowledge bases which have no logical contradictions with knowledge of experts and phenomena which we experience daily. However, it is difficult to build beyond systems in the machining field due to the existence of many kinds of knowledge, if we want to achieve rebuilding of the knowledge bases using current representation language. Thus, we developed a truth maintenance system for knowledge bases by using a new predicate-logic representation language. This paper describes how to manage knowledge bases and how to treat the functions in a truth maintenance system using this system when contradictions occur in the practical machining problem.","subitem_description_type":"Abstract"}]},"item_119_description_29":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"subitem_description":"text","subitem_description_type":"Other"}]},"item_119_description_30":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_119_publisher_11":{"attribute_name":"出版者名","attribute_value_mlt":[{"subitem_publisher":"社団法人日本機械学会"}]},"item_119_source_id_14":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"3875024","subitem_source_identifier_type":"ISSN"}]},"item_119_text_3":{"attribute_name":"著者 ローマ字","attribute_value_mlt":[{"subitem_text_value":"NAGASAKA, Yasumi"},{"subitem_text_value":"AKIYAMA, Makio"},{"subitem_text_value":"OTAKI, Hideyuki"},{"subitem_text_value":"ISHIKAWA, Yoshio"}]},"item_119_text_32":{"attribute_name":"アイテムID","attribute_value_mlt":[{"subitem_text_value":"A3000164"}]},"item_119_text_4":{"attribute_name":"著者 所属","attribute_value_mlt":[{"subitem_text_value":"埼玉大学大学院理工学研究科"}]},"item_119_text_5":{"attribute_name":"著者 所属(別言語)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Science and Engineering, Saitama University"}]},"item_119_text_9":{"attribute_name":"年月次","attribute_value_mlt":[{"subitem_text_value":"1992-8"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"長坂, 保美"},{"creatorName":"ナガサカ, ヤスミ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"秋山, 牧雄"},{"creatorName":"アキヤマ, マキオ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"大滝, 英征"},{"creatorName":"オオタキ, ヒデユキ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"石川, 義雄"},{"creatorName":"イシカワ, ヨシオ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-01-24"}],"displaytype":"detail","filename":"A3000164.pdf","filesize":[{"value":"489.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A3000164.pdf","url":"https://sucra.repo.nii.ac.jp/record/12722/files/A3000164.pdf"},"version_id":"12ca17e2-3828-4983-99ce-d54a117a6583"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Expert System","subitem_subject_scheme":"Other"},{"subitem_subject":"Artificial Intelligence","subitem_subject_scheme":"Other"},{"subitem_subject":"CAM","subitem_subject_scheme":"Other"},{"subitem_subject":"Cutting","subitem_subject_scheme":"Other"},{"subitem_subject":"Milling","subitem_subject_scheme":"Other"},{"subitem_subject":"Knowledge Base","subitem_subject_scheme":"Other"},{"subitem_subject":"Frame Representation","subitem_subject_scheme":"Other"},{"subitem_subject":"Predicate-Logic Representation","subitem_subject_scheme":"Other"},{"subitem_subject":"TMS","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"機械加工における知識ベースの無矛盾管理システム","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"機械加工における知識ベースの無矛盾管理システム"}]},"item_type_id":"119","owner":"3","path":["426"],"pubdate":{"attribute_name":"公開日","attribute_value":"2007-09-11"},"publish_date":"2007-09-11","publish_status":"0","recid":"12722","relation_version_is_last":true,"title":["機械加工における知識ベースの無矛盾管理システム"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-05-16T12:53:44.536587+00:00"}