Research on Advanced Systems of Efficient Hypothesis Finding
| Project/Area Number |
17300051
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
INOUE Katsumi National Institute of Informatics, Principles of Informatics Research Division, Professor (10252321)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
IWANUMA Koji Univ. Yamanashi, Dept. Computer Sci. and Media Eng., Professor (30176557)
NABESHIMA Hidetomo Univ. Yamanashi, Dept. Computer Sci. and Media Eng., Assistant Professor (10334848)
佐藤 健 国立情報学研究所, 情報学基礎研究系, 教授 (00271635)
|
|---|
| Project Period (FY) |
2005 – 2007
|
| Project Status |
Completed (Fiscal Year 2007)
|
| Budget Amount *help |
¥12,180,000 (Direct Cost: ¥11,100,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2007: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2006: ¥3,300,000 (Direct Cost: ¥3,300,000)
Fiscal Year 2005: ¥4,200,000 (Direct Cost: ¥4,200,000)
|
|---|
| Keywords | consequence finding / hypothesis finding / SOL resolution / knowledge discovery / induction / abduction / inductive logic programming / nonmonotonic reasoning / 人工知能 / アルゴリズム / CF 帰納法 |
|---|
| Research Abstract |
In this research, we developed new advanced methods for hypothesis finding and implemented efficient hypothesis-finding systems based on consequence-finding techniques. The proposed systems, SOLAR and CF-induction, compute abductive and inductive hypotheses, respectively. Research results can be summarized as the following three items.
1. Basic theories for advanced hypothesis-finding (Iwanuma, Inoue, Nabeshima).
We developed theoretical results on equivalence of abductive theories, generality of default theories and logic programs, and induction of causal laws in action descriptions. We also studied some aspects of circumscriptive induction, which is a new integrated framework of explanatory induction and descriptive induction, and proposed a new first-order approximation method, called pointwise circumscriptive induction, which enables us to derive some interesting hypotheses by the ordinary consequence finding calculus.
2. Development of an efficient consequence-finding system (Nabeshi
… More
ma, Iwanuma, Inoue).
We showed that a size-preserving upside-down transformation of any SOL/Connection tableau can be achieved by the folding-up operation, and gave a size-optimal consequence finding calculus for an incrementally axiom-increasing environment. We also developed a consequence-finding method with non-stable production fields and applied it to complete abduction from full clausal theories. We further implemented a new version of the consequence-finding system SOLAR with various state-of-the-art pruning techniques. Handling axioms with equality is also investigated in the SOLAR framework, and a prototype system of a C++ version of SOLAR is firstly realized.
3. Hypothesis-finding by CF-induction and its application (Inoue).
CF-induction is a sound and complete inductive logic programming system to compute hypotheses from full-clausal theories.CF-induction consists of several nondeterministic procedures, and in particular its generalization procedure is assumed to be any complete combination of inductive operators. We thus proposed a method to reduce possible combinations of generalization operators by preserving the soundness and completeness of CF-induction. Next, we applied CF-induction to estimation of possible enzymatic reaction states in metabolic pathways. In this work, we showed that CF-induction can compute not only possible states of enzymatic reactions but also causal relations that are missing in the current background theory. Less
|
Report
(4 results)
Research Products
(72 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] On Abductive Equivalence2006
Author(s)
Katsumi Inoue
-
Journal Title
Model-Based Reasoning in Science and Engineering:Cognitive Science, Epistemology, Logic, Studies in Logic 2
Pages: 333-352
Description
「研究成果報告書概要(和文)」より
Related Report
Peer Reviewed
-
-
-
[Journal Article] On Abductive Equivalence2006
Author(s)
Katsumi Inoue
-
Journal Title
Model-Based Reasoning in Science and Engineering : Cognitive Science, Epistemology, Logic, Studies in Logic Vol.2
Pages: 333-352
Description
「研究成果報告書概要(欧文)」より
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Knowledge-based Discovery in Systems Biology using CF-induction2007
Author(s)
Andrei Doncescu(Yoshitaka Yamamoto)
Organizer
The 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2007)[Lecture Notes in Artificial Intelligence, Vol.4570]
Place of Presentation
京都
Year and Date
2007-06-26
Description
「研究成果報告書概要(和文)」より
Related Report
-
[Presentation] Knowledge-based Discovery in Systems Biology using CF-Induction2007
Author(s)
Andrei Doncescu(Yoshitaka Yamamoto)
Organizer
The 20th International Conference on [ndustrial, Engineering and Other Applications)f Applied Intelligent Systems(IEA/AIE 2007)
Place of Presentation
Kyoto, Japan[Lecture Notes in Artificial Intelligence, Vol.4570]
Year and Date
2007-06-26
Description
「研究成果報告書概要(欧文)」より
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Inducing Causal Laws by Regular Inference2005
Author(s)
Katsumi Inoue(Hidetomo Nabeshima)
Organizer
The 15th International Conference on Inductive Logic Programming (ILP 2005) [Lecture Notes in Artificial Intelligence, Vol.3625]
Place of Presentation
Bonn(Germany)
Description
「研究成果報告書概要(和文)」より
Related Report
-
-
[Presentation] Inducing Causal Laws by Regular Inference2005
Author(s)
Katsumi Inoue(Hidetomo Nabeshima)
Organizer
The 15th International Conference on Inductive Logic Programming(ILP 2005)
Place of Presentation
Bonn, Germany[Lecture Notes Artificial Intelligence, Vol.3625]
Description
「研究成果報告書概要(欧文)」より
Related Report
-
-
