A qualitative process theory based model of the HIV-1 virus-cell interaction

We present a qualitative model of the interaction between the HIV-1 virus and the human cell, based on qualitative process theory. This model takes into account a previous qualitative model of the cell growth. The model presented here can be regarded as a first step for setting up a comprehensive model of the HIV-1 virus-cell interaction in which the possible points where a drug can attack the virus are evident. The first simulation trials indicate that the presented model reproduces (even though in a simplified way) the features of the real behaviour that have been considered in the modelling phase. Although our simulation is limited in the knowledge it expresses, it still gives a stimulating opportunity for the evaluation of the criteria chosen as discriminant in the interaction between virus and cell.