{"created":"2021-03-01T06:44:09.420864+00:00","id":8701,"links":{},"metadata":{"_buckets":{"deposit":"14398283-0de0-4d15-9d8a-304ff72e77cc"},"_deposit":{"created_by":221,"id":"8701","owners":[221],"pid":{"revision_id":0,"type":"depid","value":"8701"},"status":"published"},"_oai":{"id":"oai:tsukuba.repo.nii.ac.jp:00008701","sets":["3:233:244"]},"author_link":["35688"],"item_12_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1999","bibliographicIssueDateType":"Issued"}}]},"item_12_date_granted_46":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"1999-07-23"}]},"item_12_degree_grantor_44":{"attribute_name":"学位授与大学","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_language":"ja","subitem_degreegrantor_name":"筑波大学"},{"subitem_degreegrantor_language":"en","subitem_degreegrantor_name":"University of Tsukuba"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"12102","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_12_degree_name_43":{"attribute_name":"取得学位","attribute_value_mlt":[{"subitem_degreename":"博士（工学） "},{"subitem_degreename":"Doctor of Philosophy in Engineering"}]},"item_12_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Desire to mechanize non-deductive reasoning has resulted some fruits in the field of artificial intelligence. On induction, classification rule learning systems have been widely studied. On analogical reasoning, a problem solver that uses a similar experience in the past was proposed. On abduction, an efficient mechanism to manage consistency of sets of hypotheses is developed. However the past sudies also have problems. The first issue is on knowledge description. A way to describe a task of non-deductive reasoning system can hugely influence effectiveness of the system. The second issue is on semantics. A uique application of abduction on logic program is seldom discussed, though its semantics is widely studied. In analogical reasoning, a desire to implement practial systems has somehow postponed analyzing semantic nature of analogical reasoning. The thesis attempts to propose solutions for the problems. For the first issue, preprocess system or a subsystem that can change the description of the task is given for the main reasoning system. For the second issue, analogical reasoning is regarded as an application of abduction and its declarative semantics is given. The main outcomes of the thesis are as follows.  ･･･","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_12_description_45":{"attribute_name":"学位授与年度","attribute_value_mlt":[{"subitem_description":"1999","subitem_description_type":"Other"}]},"item_12_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"Bibliography: p. 97-102","subitem_description_language":"en","subitem_description_type":"Other"}]},"item_12_dissertation_number_47":{"attribute_name":"報告番号","attribute_value_mlt":[{"subitem_dissertationnumber":"乙第1547号"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Orihara, Ryohei","creatorNameLang":"en"},{"creatorName":"折原, 良平","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"35688","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"B1547.pdf","filesize":[{"value":"178.7 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"abstract","url":"https://tsukuba.repo.nii.ac.jp/record/8701/files/B1547.pdf"},"version_id":"542d30e5-d99d-4a1f-bfec-f554c5300fe7"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"1.pdf","filesize":[{"value":"61.8 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/8701/files/1.pdf"},"version_id":"f07c6bda-06bc-4171-b320-14e6fe00587b"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"2.pdf","filesize":[{"value":"109.5 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/8701/files/2.pdf"},"version_id":"8080a0db-a183-41c5-a82f-b187cea62042"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"3.pdf","filesize":[{"value":"105.3 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/8701/files/3.pdf"},"version_id":"ff9021da-af25-4dcb-8de6-53e967cfd3cd"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"4.pdf","filesize":[{"value":"176.1 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/8701/files/4.pdf"},"version_id":"171bc596-f084-416c-957b-da202e4e1ba2"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"5.pdf","filesize":[{"value":"439.1 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/8701/files/5.pdf"},"version_id":"0df44b11-fe8f-482d-9af0-bab27a594dd7"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"6.pdf","filesize":[{"value":"575.1 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/8701/files/6.pdf"},"version_id":"4145182a-286f-45ae-a13e-c95fab973f84"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"7.pdf","filesize":[{"value":"729.6 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/8701/files/7.pdf"},"version_id":"a1595dc6-d127-471e-ad64-987db7ff9e31"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"8.pdf","filesize":[{"value":"419.8 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/8701/files/8.pdf"},"version_id":"69c5d2e4-1b93-4c64-ab2b-6ae544de6b2f"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"9.pdf","filesize":[{"value":"196.5 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/8701/files/9.pdf"},"version_id":"40e4018f-d9ad-4f35-81ed-38516f8e043d"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"10.pdf","filesize":[{"value":"105.6 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/8701/files/10.pdf"},"version_id":"d3a2ae65-457b-450f-a1fd-695285578f18"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"11.pdf","filesize":[{"value":"111.9 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/8701/files/11.pdf"},"version_id":"7ef2e953-f480-4cf2-8874-5d65be705b5d"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"doctoral thesis","resourceuri":"http://purl.org/coar/resource_type/c_db06"}]},"item_title":"Knowledge description and semantics in non-deductive reasoning","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Knowledge description and semantics in non-deductive reasoning","subitem_title_language":"en"}]},"item_type_id":"12","owner":"221","path":["244"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2007-07-25"},"publish_date":"2007-07-25","publish_status":"0","recid":"8701","relation_version_is_last":true,"title":["Knowledge description and semantics in non-deductive reasoning"],"weko_creator_id":"221","weko_shared_id":-1},"updated":"2024-01-24T03:57:11.951467+00:00"}