- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
Backward-chaining for Abduction
-
- Igarashi Isao
- Faculty of Science and Technology,Science University of Tokyo
-
- Tahara Ikuo
- Faculty of Science and Technology,Science University of Tokyo
Bibliographic Information
- Other Title
-
- 後ろ向き連鎖による発想的推論
Search this article
Description
Abduction is a logical inference that finds explanations of an observation that are consistent with knowledge.To make such inference fast,compilation methods were proposed so far,but there was a problem of an increase of compiled knowledge.We consider backward-chaining for the abuductive inference based on non- compiled knowledge. In the case of horn clauses,it is easy to realize abduction by backward-chaining.This paper proposes a method of backward- chaining abducfion for general clauses.
Journal
-
- IEICE technical report. Artificial intelligence and knowledge-based processing
-
IEICE technical report. Artificial intelligence and knowledge-based processing 33-40, 1994
The Institute of Electronics, Information and Communication Engineers
- Tweet
Keywords
Details 詳細情報について
-
- CRID
- 1571417127360109824
-
- NII Article ID
- 110003186954
-
- NII Book ID
- AN10013061
-
- Text Lang
- ja
-
- Data Source
-
- CiNii Articles