ログイン
Language:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 紀要類
  2. 情報研究
  3. 第9号

知識情報処理における帰納的推論(情報学共同研究)

https://bunkyo.repo.nii.ac.jp/records/3349
https://bunkyo.repo.nii.ac.jp/records/3349
e2bade58-8b44-4021-bced-d46e1fabe7a8
名前 / ファイル ライセンス アクション
BKSJ090014.pdf BKSJ090014.pdf (1.7 MB)
アイテムタイプ 紀要論文 / Departmental Bulletin Paper(1)
公開日 2012-01-17
タイトル
タイトル 知識情報処理における帰納的推論(情報学共同研究)
タイトル
タイトル Inductive Inference in the Case of Processing Knowledge-Information
言語
言語 jpn
資源タイプ
資源タイプ departmental bulletin paper
タイトル カナ
その他のタイトル チシキ ジョウホウ ショリ ニ オケル キノウテキ スイロン ジョウホウガク キョウドウ ケンキュウ
著者 鈴木, 昇一

× 鈴木, 昇一

鈴木, 昇一

Search repository
中村, 三郎

× 中村, 三郎

中村, 三郎

Search repository
著者
値 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
戻る
0
views
See details
Views

Versions

Ver.1 2023-05-15 16:08:27.478806
Show All versions

Share

Share
tweet

Cite as

Other

print

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX
  • ZIP

コミュニティ

確認

確認

確認


Powered by WEKO3


Powered by WEKO3