A logical framework for detecting anomalies in drug resistance algorithms

ABSTRACT

Virology research is nowadays a discipline involving a broad number of researchers gathered in different institutes and cooperating on defined issues. An example of such an endeavor is the research tackling anti-HIV treatment problems [7] conducted within the Virolab project. The main objective of the ViroLab project is to develop a Virtual Laboratory for Infectious Diseases that facilitates medical knowledge discovery and decision support for HIV drug resistance. Large, high quality in-vitro and clinical patient databases which can be used to relate genotype to drug-susceptibility phenotype have become available. The core of the ViroLab Virtual Laboratory is a rule-based ranking system. More specifically, using a Grid-based service oriented architecture, Virolab vertically integrates the biomedical information from viruses (proteins and mutations), patients and literature (drug resistance experiments), resulting in a rule-based decision support system for drug ranking. This paper is a contribution to virologists, epidemiologists and clinicians in medical knowledge discovery and decision support. The final aim is reasoning on the properties of algorithm modeling the interaction among drugs and HIV virus and detecting its anomalies such as rules that can never be satisfied and subset of rules that are in contradiction.

REFERENCES

• 1: Algorithm specification interface (asi). http://hivdb.stanford.edu/pages/asi/.
• 2: Hiv drug resistance database - stanford university. http://hivdb.stanford.edu/.
• 3: Retrogram. http://www.openclinical.org/aisp_retrogram.html.
• 4: The virolab project. http://www.virolab.org/.
• 5: Xml. http://www.w3.org/XML/.
• 6: P. M. A. Sloot. Virolab: from the molecule to the man. eStrategies Projects, (4):53--55, 2008.
• 7: P. M. A. Sloot, P. Coveney, G. Ertaylan, V. Muller, C. Boucher, and M. T. Bubak. Hiv decision support: From molecule to man. Phil. Trans. R. Soc. A, 367(1898), 2009.
• 8: P. M. A. Sloot, P. V. Coveney, M. T. Bubak, A. M. Vandamme, B. Ó Nualláin, D. van de Vijver, and C. A. B. Boucher. Virolab: A collaborative decision support system in viral disease treatment. Reviews in Antiviral Therapy, Virology Education, 3:4--7, 2008.
• 9: P. M. A. Sloot, A. Tirado-Ramos, I. Altintas, M. T. Bubak, and C. A. B. Boucher. From molecule to man: Decision support in individualized e-health. IEEE Computer, (Cover feature), 39(11):40--46, 2006.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.1 MODELS AND PRINCIPLES
      H.1.m Miscellaneous

Additional Classification:
  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS
      H.4.m Miscellaneous

  J. Computer Applications
  J.3 LIFE AND MEDICAL SCIENCES
      Subjects: Health

General Terms:
Algorithms, Theory

Keywords:
anomalies in drug resistance algorithms, bio-medical databases, decision support system, knowledge discovery, logic programming, rule-base system