Efficient Haplotype Inference with Answer Set Programming. Türe, F. & Erdem, E. In Proc. of the 23rd AAAI Conference on Artificial Intelligence (AAAI'08), pages 1834-1835, 2008. Student abstract
Efficient Haplotype Inference with Answer Set Programming [pdf]N  abstract   bibtex   
Identifying maternal and paternal inheritance is essential to be able to find the set of genes responsible for a particular disease. Although we have access to genotype data (genetic makeup of an individual), determining haplotypes (genetic makeup of the parents) experimentally is a costly and time consuming procedure due to technological limitations. With these biological motivations, we study a computational prob- lem, called Haplotype Inference with Pure Parsimony (HIPP), that asks for the minimal number of haplotypes that form a given set of genotypes. We introduce a novel approach to solving HIPP, using Answer Set Programming (ASP). Ac- cording to our experiments with a large number of problem instances (some automatically generated and some real), our ASP-based approach solves the most number of problems compared to other approaches based on, e.g., integer linear programming, branch and bound algorithms, SAT-based al- gorithms, or pseudo-boolean optimization methods.

Downloads: 0