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
Hi-index | 0.00 |
GenePath is an automated system for reasoning about 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 background 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, as illustrated by an example on aggregation of a soil amoeba Dictyostelium discoideum, a combination of constraint satisfaction and qualitative reasoning produces a small set of plausible networks.