WEKO3
アイテム
{"_buckets": {"deposit": "ef03d99f-079e-4a0c-980a-0f0d97780bcb"}, "_deposit": {"created_by": 3, "id": "6406", "owners": [3], "pid": {"revision_id": 0, "type": "depid", "value": "6406"}, "status": "published"}, "_oai": {"id": "oai:kyutech.repo.nii.ac.jp:00006406", "sets": ["24"]}, "author_link": ["6421"], "control_number": "6406", "item_21_alternative_title_18": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "COMPLETENESS OF DIAMOND-RESOLUTION IN OR-TYPE KNOWLEDGE BASES", "subitem_alternative_title_language": "en"}]}, "item_21_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1990-03", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "1-2", "bibliographicPageEnd": "37", "bibliographicPageStart": "27", "bibliographicVolumeNumber": "24", "bibliographic_titles": [{"bibliographic_title": "Bulletin of Informatics and Cybernetics"}]}]}, "item_21_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "The framework of the or-type knowledge base is proposed to deal with disjunctive information in knowledge bases. Recently, it is an important problem how effectively we use information which may have some incompleteness. In or-type knowledge bases, the predicate symbols are only restricted to or m, where the superscript m implies the arity, and any disjunctive information is included in a predicate as arguments. The two systems are naturally defined for the incompleteness of the disjunctive information. The one is a Box-system, where the incompleteness does not influence the deduction and the refutation. The other is a Diamond-system, where the incompleteness influences them. We have already developed the fixpoint theorem and the completeness of resolution in the Box-system. In this paper, we show the fixpoint theorem, and the completeness of resolution in the Diamond-system. Furthermore, we present an actual question-answering in an or-type knowledge base by a realized prover.", "subitem_description_type": "Abstract"}]}, "item_21_description_60": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"subitem_description": "Journal Article", "subitem_description_type": "Other"}]}, "item_21_full_name_3": {"attribute_name": "著者別名", "attribute_value_mlt": [{"affiliations": [{"affiliationNames": [{"affiliationName": "", "lang": "ja"}], "nameIdentifiers": []}], "familyNames": [{"familyName": "Sakai", "familyNameLang": "en"}, {"familyName": "酒井", "familyNameLang": "ja"}, {"familyName": "サカイ", "familyNameLang": "ja-Kana"}], "givenNames": [{"givenName": "H", "givenNameLang": "en"}, {"givenName": "浩", "givenNameLang": "ja"}, {"givenName": "ヒロシ", "givenNameLang": "ja-Kana"}], "nameIdentifiers": [{"nameIdentifier": "6421", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "60201513", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000060201513"}, {"nameIdentifier": "54968949800", "nameIdentifierScheme": "Scopus著者ID", "nameIdentifierURI": "https://www.scopus.com/authid/detail.uri?authorId=54968949800"}, {"nameIdentifier": "133", "nameIdentifierScheme": "九工大研究者情報", "nameIdentifierURI": "https://hyokadb02.jimu.kyutech.ac.jp/html/133_ja.html"}], "names": [{"name": "Sakai, H", "nameLang": "en"}, {"name": "酒井, 浩", "nameLang": "ja"}, {"name": "サカイ, ヒロシ", "nameLang": "ja-Kana"}]}]}, "item_21_link_62": {"attribute_name": "研究者情報", "attribute_value_mlt": [{"subitem_link_text": "https://hyokadb02.jimu.kyutech.ac.jp/html/133_ja.html", "subitem_link_url": "https://hyokadb02.jimu.kyutech.ac.jp/html/133_ja.html"}]}, "item_21_publisher_7": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "統計科学研究会"}]}, "item_21_relation_12": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_type": "isIdenticalTo", "subitem_relation_type_id": {"subitem_relation_type_id_text": "https://doi.org/10.5109/3124", "subitem_relation_type_select": "DOI"}}]}, "item_21_relation_14": {"attribute_name": "情報源", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "http://bic.math.kyushu-u.ac.jp/"}], "subitem_relation_type_id": {"subitem_relation_type_id_text": "http://bic.math.kyushu-u.ac.jp/", "subitem_relation_type_select": "URI"}}]}, "item_21_relation_66": {"attribute_name": "論文ID(NAID)", "attribute_value_mlt": [{"subitem_relation_type": "isIdenticalTo", "subitem_relation_type_id": {"subitem_relation_type_id_text": "120001150982", "subitem_relation_type_select": "NAID"}}]}, "item_21_rights_13": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "本著作物の著作権は統計科学研究会が著作権者から委譲を受けています。"}]}, "item_21_select_59": {"attribute_name": "査読の有無", "attribute_value_mlt": [{"subitem_select_item": "yes"}]}, "item_21_source_id_10": {"attribute_name": "書誌レコードID", "attribute_value_mlt": [{"subitem_source_identifier": "AA10634475", "subitem_source_identifier_type": "NCID"}]}, "item_21_source_id_8": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0286-522X", "subitem_source_identifier_type": "PISSN"}]}, "item_21_text_28": {"attribute_name": "論文ID(連携)", "attribute_value_mlt": [{"subitem_text_value": "10022181"}]}, "item_21_text_36": {"attribute_name": "著者所属", "attribute_value_mlt": [{"subitem_text_value": "Department of Computer Engineering, Kyushu Institute of Technology, Tobata Kitakyushu 804, Japan"}]}, "item_21_text_63": {"attribute_name": "連携ID", "attribute_value_mlt": [{"subitem_text_value": "8123"}]}, "item_21_version_type_58": {"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": [{"creatorAffiliations": [{"affiliationNameIdentifiers": [], "affiliationNames": [{"affiliationName": "", "affiliationNameLang": "ja"}]}], "creatorNames": [{"creatorName": "Sakai, H", "creatorNameLang": "en"}, {"creatorName": "酒井, 浩", "creatorNameLang": "ja"}, {"creatorName": "サカイ, ヒロシ", "creatorNameLang": "ja-Kana"}], "familyNames": [{"familyName": "Sakai", "familyNameLang": "en"}, {"familyName": "酒井", "familyNameLang": "ja"}, {"familyName": "サカイ", "familyNameLang": "ja-Kana"}], "givenNames": [{"givenName": "H", "givenNameLang": "en"}, {"givenName": "浩", "givenNameLang": "ja"}, {"givenName": "ヒロシ", "givenNameLang": "ja-Kana"}], "nameIdentifiers": [{"nameIdentifier": "6421", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "60201513", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000060201513"}, {"nameIdentifier": "54968949800", "nameIdentifierScheme": "Scopus著者ID", "nameIdentifierURI": "https://www.scopus.com/authid/detail.uri?authorId=54968949800"}, {"nameIdentifier": "133", "nameIdentifierScheme": "九工大研究者情報", "nameIdentifierURI": "https://hyokadb02.jimu.kyutech.ac.jp/html/133_ja.html"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2020-02-17"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "0286-522X_24-1~2-p27.pdf", "filesize": [{"value": "609.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 609200.0, "url": {"label": "0286-522X_24-1~2-p27.pdf", "url": "https://kyutech.repo.nii.ac.jp/record/6406/files/0286-522X_24-1~2-p27.pdf"}, "version_id": "f67d831f-17af-4cf0-a9c4-ccc13e8b24fc"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Completeness of Diamond-Resolution in Or-Type Knowledge Bases", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Completeness of Diamond-Resolution in Or-Type Knowledge Bases", "subitem_title_language": "en"}]}, "item_type_id": "21", "owner": "3", "path": ["24"], "permalink_uri": "http://hdl.handle.net/10228/00007616", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2020-02-17"}, "publish_date": "2020-02-17", "publish_status": "0", "recid": "6406", "relation": {}, "relation_version_is_last": true, "title": ["Completeness of Diamond-Resolution in Or-Type Knowledge Bases"], "weko_shared_id": -1}
Completeness of Diamond-Resolution in Or-Type Knowledge Bases
http://hdl.handle.net/10228/00007616
http://hdl.handle.net/10228/0000761619dba417-a1fa-420d-8bc6-70bd0fd06e7a
名前 / ファイル | ライセンス | アクション |
---|---|---|
0286-522X_24-1~2-p27.pdf (609.2 kB)
|
|
Item type | 学術雑誌論文 = Journal Article(1) | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2020-02-17 | |||||||||||
資源タイプ | ||||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
資源タイプ | journal article | |||||||||||
タイトル | ||||||||||||
言語 | en | |||||||||||
タイトル | Completeness of Diamond-Resolution in Or-Type Knowledge Bases | |||||||||||
その他のタイトル | ||||||||||||
その他のタイトル | COMPLETENESS OF DIAMOND-RESOLUTION IN OR-TYPE KNOWLEDGE BASES | |||||||||||
言語 | en | |||||||||||
言語 | ||||||||||||
言語 | eng | |||||||||||
著者 |
酒井, 浩
× 酒井, 浩
WEKO
6421
|
|||||||||||
抄録 | ||||||||||||
内容記述タイプ | Abstract | |||||||||||
内容記述 | The framework of the or-type knowledge base is proposed to deal with disjunctive information in knowledge bases. Recently, it is an important problem how effectively we use information which may have some incompleteness. In or-type knowledge bases, the predicate symbols are only restricted to or m, where the superscript m implies the arity, and any disjunctive information is included in a predicate as arguments. The two systems are naturally defined for the incompleteness of the disjunctive information. The one is a Box-system, where the incompleteness does not influence the deduction and the refutation. The other is a Diamond-system, where the incompleteness influences them. We have already developed the fixpoint theorem and the completeness of resolution in the Box-system. In this paper, we show the fixpoint theorem, and the completeness of resolution in the Diamond-system. Furthermore, we present an actual question-answering in an or-type knowledge base by a realized prover. | |||||||||||
書誌情報 |
Bulletin of Informatics and Cybernetics 巻 24, 号 1-2, p. 27-37, 発行日 1990-03 |
|||||||||||
出版社 | ||||||||||||
出版者 | 統計科学研究会 | |||||||||||
DOI | ||||||||||||
関連タイプ | isIdenticalTo | |||||||||||
識別子タイプ | DOI | |||||||||||
関連識別子 | https://doi.org/10.5109/3124 | |||||||||||
論文ID(NAID) | ||||||||||||
関連タイプ | isIdenticalTo | |||||||||||
識別子タイプ | NAID | |||||||||||
関連識別子 | 120001150982 | |||||||||||
NCID | ||||||||||||
収録物識別子タイプ | NCID | |||||||||||
収録物識別子 | AA10634475 | |||||||||||
ISSN | ||||||||||||
収録物識別子タイプ | PISSN | |||||||||||
収録物識別子 | 0286-522X | |||||||||||
著作権関連情報 | ||||||||||||
権利情報 | 本著作物の著作権は統計科学研究会が著作権者から委譲を受けています。 | |||||||||||
出版タイプ | ||||||||||||
出版タイプ | VoR | |||||||||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||
査読の有無 | ||||||||||||
値 | yes | |||||||||||
研究者情報 | ||||||||||||
https://hyokadb02.jimu.kyutech.ac.jp/html/133_ja.html | ||||||||||||
論文ID(連携) | ||||||||||||
10022181 | ||||||||||||
連携ID | ||||||||||||
8123 | ||||||||||||
著者別名 | ||||||||||||
姓名 | Sakai, H | |||||||||||
言語 | en | |||||||||||
姓名 | 酒井, 浩 | |||||||||||
言語 | ja | |||||||||||
姓名 | サカイ, ヒロシ | |||||||||||
言語 | ja-Kana | |||||||||||
情報源 | ||||||||||||
識別子タイプ | URI | |||||||||||
関連識別子 | http://bic.math.kyushu-u.ac.jp/ | |||||||||||
関連名称 | http://bic.math.kyushu-u.ac.jp/ |