書誌事項
- タイトル別名
-
- Induction Based on Circumscription
- キョクショウ ゲンテイ オ モチイタ キノウ スイロン
この論文をさがす
抄録
We investigate induction from the viewpoint of nonmonotonic reasoning. Induction we consider in this paper is descriptive induction. Hypotheses from descriptive induction have the weak property that they only describe rules with respect to the observations and do not realize an inductive leap. In this paper, we define a new form of descriptive induction with circumscription and the idea of explanation and show two procedures for computing it. The new descriptive induction is called circumscriptive induction. By deciding the roles of predicates in circumscription, we can intentionally minimize models of a given inductive problem. By adopting the idea of explanation, we can distinguish between background knowledge and observations. Additionally, we consider the relationship between the way of choosing the roles of predicates in computing circumscription and the property of hypotheses obtained by circumscriptive induction. It is shown that hypotheses from circumscriptive induction reflect a difference between background knowledge and observations and do not realize an inductive leap. We also investigate revision of hypotheses which is as important as generation of hypotheses. In a process of hypothesis revision, a difference between previous induction and circumscriptive induction is clearly characterised.
収録刊行物
-
- 人工知能学会論文誌
-
人工知能学会論文誌 21 143-152, 2006
一般社団法人 人工知能学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390001205108851200
-
- NII論文ID
- 10022006094
-
- NII書誌ID
- AA11579226
-
- ISSN
- 13468030
- 13460714
-
- NDL書誌ID
- 8686425
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- NDL
- Crossref
- CiNii Articles
- KAKEN
-
- 抄録ライセンスフラグ
- 使用不可