Qualitative reasoning for AIDS treatment.

Abstract

We present a qualitative model of the interaction between HIV-1 virus and human cell, based on qualitative process theory. This model can be regarded as a first step for setting up a comprehensive model of the HIV 1 infection treatment in which the possible points where a drug can attack the virus are evidentiated. The first simulation trials indicate that the model reproduces the major features of the real behavior of the virus inside and outside the human cell.