Consequence Finding and Related Problems in AI
Bibliographic Information
- Other Title
-
- 招待論文 結論発見手続きとその応用
- 特集「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般
- トクシュウ ジドウ スイロン キノウ エンエキ モデル ケンサ セイセイ ガクシュウ ハッケン カセツ スイロン ロンリ プログラム プランニング etc オヨビ イッパン
Search this article
Journal
-
- 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 103 (103), 17-22, 2003-05-29
東京 : 電子情報通信学会
- Tweet
Keywords
- 定理証明
- SOL導出
- SOLタブロー
- 特徴節
- 生成領域
- 演繹
- アブダクション
- 帰納推論
- 極小解
- 非単調推論
- 知識同化
- 知識コンパイル
- 知識近似
- 分散知識ベース
- 投機的計算
- 知識発見
- 生命情報学
- theorem proving
- SOL resolution
- SOL tableaux
- characteristic clauses
- production fields
- deduction
- abduction
- induction
- minimal answers
- nonmonotonic reasoning
- knowledge assimilation
- knowledge compilation
- lub/glb approximation
- distributed knowledge bases
- speculative computation
- knowledge discovery
- bioinformatics
Details 詳細情報について
-
- CRID
- 1520853833049749376
-
- NII Article ID
- 110003176888
-
- NII Book ID
- AA1123312X
-
- ISSN
- 09135685
-
- NDL BIB ID
- 6619747
-
- Text Lang
- en
-
- NDL Source Classification
-
- ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
-
- Data Source
-
- NDL
- CiNii Articles