WEKO3
インデックスリンク
アイテム
知識情報処理における帰納的推論(情報学共同研究)
https://bunkyo.repo.nii.ac.jp/records/3349
https://bunkyo.repo.nii.ac.jp/records/3349e2bade58-8b44-4021-bced-d46e1fabe7a8
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2012-01-17 | |||||||||
タイトル | ||||||||||
タイトル | 知識情報処理における帰納的推論(情報学共同研究) | |||||||||
タイトル | ||||||||||
タイトル | Inductive Inference in the Case of Processing Knowledge-Information | |||||||||
言語 | ||||||||||
言語 | jpn | |||||||||
資源タイプ | ||||||||||
資源タイプ | departmental bulletin paper | |||||||||
タイトル カナ | ||||||||||
その他のタイトル | チシキ ジョウホウ ショリ ニ オケル キノウテキ スイロン ジョウホウガク キョウドウ ケンキュウ | |||||||||
著者 |
鈴木, 昇一
× 鈴木, 昇一
× 中村, 三郎
|
|||||||||
著者 | ||||||||||
値 | Suzuki, Shoichi | |||||||||
著者 | ||||||||||
値 | Nakamura, Saburo | |||||||||
所属機関 | ||||||||||
値 | 文教大学情報学部 | |||||||||
所属機関 | ||||||||||
値 | 株式会社インターナショナルソフトウェア | |||||||||
内容記述 | ||||||||||
内容記述タイプ | Abstract | |||||||||
内容記述 | A difference among informations, observational sentences, facts, rules and knowledges and the meanings of them are explained in terms of making an inductive inference about an accommodation of knowledges being in store for a deductive knowledge base (DKB). A model-inference algorithm, a contradiction-backtracing algorithm and a refinement algorithm are devised and presented here appearing in the concrete form in order to secure the DKB which adopts a Horn logic. It should be noted that the inductive inference of theories from facts proposed by E. Y. Shapiro is represented within the scope of the Horn logic which excludes the most general atom from the refinement algorithm. | |||||||||
書誌情報 |
情報研究 en : Information and Communication Studies 巻 9, p. 173-196, 発行日 1988-01-01 |
|||||||||
出版者 | ||||||||||
出版者 | 文教大学 | |||||||||
ISSN | ||||||||||
収録物識別子タイプ | ISSN | |||||||||
収録物識別子 | 03893367 | |||||||||
著者版フラグ | ||||||||||
出版タイプ | VoR | |||||||||
本文言語 | ||||||||||
値 | 日本語 | |||||||||
ID | ||||||||||
値 | BKSJ090014 | |||||||||
作成日 | ||||||||||
日付 | 2012-01-17 |