Readings in qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems
Simply logical: intelligent reasoning by example
Simply logical: intelligent reasoning by example
Prolog (3rd ed.): programming for artificial intelligence
Prolog (3rd ed.): programming for artificial intelligence
Web-Enabled Knowledge-Based Analysis of Genetic Data
ISMDA '01 Proceedings of the Second International Symposium on Medical Data Analysis
Revising Qualitative Models of Gene Regulation
DS '02 Proceedings of the 5th International Conference on Discovery Science
Constructing explanatory process models from biological data and knowledge
Artificial Intelligence in Medicine
The Knowledge Engineering Review
Hi-index | 0.00 |
GenePath is an automated system for reasoning on genetic networks, wherein a set of genes have various influences on one another and on a biological outcome. It acts on a set of experiments in which genes are knocked out or overexpressed, and the outcome of interest is evaluated. Implemented in Prolog, GenePath uses abductive inference to elucidate network constraints based on prior knowledge and experimental results. Two uses of the system are demonstrated: synthesis of a consistent network from abduced constraints, and qualitative reasoning-based approach that generates a set of networks consistent with the data. In practice, illustrated by an example using Dictyostelium aggregation, a combination of constraint satisfaction and qualitative reasoning produces a small set of plausible networks.