Linear resolution for consequence finding
Artificial Intelligence
Machine Learning
Induction as Consequence Finding
Machine Learning
Biological Systems Analysis Using Inductive Logic Programming
AINAW '07 Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 01
SOLAR: An automated deduction system for consequence finding
AI Communications - Practical Aspects of Automated Reasoning
Towards a logical reconstruction of CF-induction
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Hi-index | 0.00 |
The cell is an entity composed of several thousand types of interacting proteins. Our goal is to comprehend the biological system using only the revelent information which means that we will be able to reduce or to indicate the main metabolites necessary to measure. In this paper, it is shown how the Artificial Intelligence description method functioning on the basis of Inductive Logic Programming can be used successfully to describe essential aspects of cellular regulation. The results obtained shows that the ILP tool CF-induction discovers the activities of enzymes on glycolyse metabolic pathway when only partial information about it has been used. This procedure is based on the filtering of the high processes to reduce the space search.