{"created":"2023-07-25T09:05:23.396673+00:00","id":3416,"links":{},"metadata":{"_buckets":{"deposit":"1b4738da-baac-4b85-bb5e-98066a2e4e90"},"_deposit":{"created_by":3,"id":"3416","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"3416"},"status":"published"},"_oai":{"id":"oai:toyama.repo.nii.ac.jp:00003416","sets":["496:556:557:558"]},"author_link":["12094","12093","12176","12181","12178","12158","12173"],"item_2_alternative_title_19":{"attribute_name":"その他（別言語等）のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"A Hypothetical Reasoning System Which Considers Failures in Reasonings"}]},"item_2_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2005-08","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"8","bibliographicPageEnd":"1256","bibliographicPageStart":"1247","bibliographicVolumeNumber":"88","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理"}]}]},"item_2_description_15":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_2_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"仮説推論は不完全な知識を扱うことができるので, 設計や診断等の問題解決に有効であるが, 仮説推論を含む非単調推論はNP-完全であることが知られており, 低い推論速度が問題になっている. 本研究では, 推論木のANDノードの解を推論する際に, 左の子と右の子のいずれを先に推論した方が効率がよいかを考察した. 従来の1階述語論理を対象とした全数解を求める仮説推論システムでは, 常に左の子の解を先に推論していたが, 左の子の解が空ではなく, 右の子の解が空のとき, 左の子の解を求めた手間が無駄になる. このようなとき, 右の子の解を先に求めていたら無駄は省けるが, 左の子と右の子のいずれを先に推論したらよいかをどのように判別するかが問題となる. 本論文では, この判別を容易に可能とする判別ラベルを導入し, これを用いて推論の失敗による無駄を排除した仮説推論システムを提案する.","subitem_description_type":"Abstract"}]},"item_2_description_40":{"attribute_name":"資源タイプ(DSpace)","attribute_value_mlt":[{"subitem_description":"Article","subitem_description_type":"Other"}]},"item_2_description_6":{"attribute_name":"引用","attribute_value_mlt":[{"subitem_description":"電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理 J88-D-I(8), 1247-1256.(2005)","subitem_description_type":"Other"}]},"item_2_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"12178","nameIdentifierScheme":"WEKO"}],"names":[{"name":"Yamanokuchi, Takashi"}]},{"nameIdentifiers":[{"nameIdentifier":"12158","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"9000006794753","nameIdentifierScheme":"CiNii ID","nameIdentifierURI":"http://ci.nii.ac.jp/nrid/9000006794753"},{"nameIdentifier":"90398991","nameIdentifierScheme":"e-Rad","nameIdentifierURI":"https://nrid.nii.ac.jp/nrid/1000090398991"}],"names":[{"name":"Misawa, Tadanobu"}]},{"nameIdentifiers":[{"nameIdentifier":"12094","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"1000060141371","nameIdentifierScheme":"CiNii ID","nameIdentifierURI":"http://ci.nii.ac.jp/nrid/1000060141371"},{"nameIdentifier":"60141371","nameIdentifierScheme":"e-Rad","nameIdentifierURI":"https://nrid.nii.ac.jp/nrid/1000060141371"}],"names":[{"name":"Kimura, Haruhiko"}]},{"nameIdentifiers":[{"nameIdentifier":"12181","nameIdentifierScheme":"WEKO"}],"names":[{"name":"Ogoshi, Yasuhiro"}]},{"nameIdentifiers":[{"nameIdentifier":"12093","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"9000018299839","nameIdentifierScheme":"CiNii ID","nameIdentifierURI":"http://ci.nii.ac.jp/nrid/9000018299839"}],"names":[{"name":"Hirose, Sadaki"}]}]},"item_2_publisher_33":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"電子情報通信学会"}]},"item_2_relation_42":{"attribute_name":"関係URI","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"http://search.ieice.org/index.html"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"http://search.ieice.org/index.html","subitem_relation_type_select":"URI"}}]},"item_2_rights_13":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"copyright©2004 IEICE"},{"subitem_rights":"本文データは学協会の許諾に基づきCiNiiから複製したものである"}]},"item_2_source_id_10":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11341020","subitem_source_identifier_type":"NCID"}]},"item_2_source_id_8":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"09151915","subitem_source_identifier_type":"ISSN"}]},"item_2_version_type_16":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"山ノ口, 崇"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"参沢, 匡将"}],"nameIdentifiers":[{},{},{}]},{"creatorNames":[{"creatorName":"木村, 春彦"}],"nameIdentifiers":[{},{},{}]},{"creatorNames":[{"creatorName":"小越, 康宏"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"広瀬, 貞樹"}],"nameIdentifiers":[{},{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-02-16"}],"displaytype":"detail","filename":"J88-D-Ⅰ(8).pdf","filesize":[{"value":"936.1 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"J88-D-Ⅰ(8)","url":"https://toyama.repo.nii.ac.jp/record/3416/files/J88-D-Ⅰ(8).pdf"},"version_id":"39d613b1-aca8-40a3-a67e-dbca111a0331"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"推論の失敗","subitem_subject_scheme":"Other"},{"subitem_subject":"空解の判定表","subitem_subject_scheme":"Other"},{"subitem_subject":"仮説推論","subitem_subject_scheme":"Other"},{"subitem_subject":"無矛盾性チェック","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":"2","owner":"3","path":["558"],"pubdate":{"attribute_name":"公開日","attribute_value":"2011-12-02"},"publish_date":"2011-12-02","publish_status":"0","recid":"3416","relation_version_is_last":true,"title":["推論の失敗を考慮した仮説推論システム"],"weko_creator_id":"3","weko_shared_id":3},"updated":"2023-07-25T14:02:20.827395+00:00"}