La presencia de la [inteligencia artificial] IA en el nivel de diagnóstico y terapéuticas médicas ha generado un beneficio en la formalización de la medicina que se manifiesta por: a) Una clínica-ciencia y de acción fundamentada en modelos formales de enfermedad. b) El empleo de los modelos formales para el propósito requiere transformarlos en sistemas inferenciales asociados a procedimientos de decisión. Los modelos utilizados son 'los correlativos' y los de la 'teoría de la medicina'. Los más utilizados son los correlativos por la facilidad de transformarlos en sistemas inferenciales, en contraposición con la dificultad que ofrece la 'teoría de la medicina' de encontrar solución inversa a los modelos cuantitativos que utiliza. Para el clínico es más fácil hacer inferencias correlativas. c) El Departamento de Biomatemáticas del Instituto de Investigaciones Biomédicas de la Universidad Nacional Autónoma de México (UNAM) se ocupa actualmente de rescatar los modelos de la teoría de la medicina para uso de inferencias y decisiones clínicas mediante el empleo de modelos biofísicos cualitativos y de su implementación en computadoras; el empleo inverso de estos modelos permitirá conectar la teoría con la práctica médica. Estos modelos son el núcleo de 'sentido común' de la IA, que se ha empleado para construir un experto artificial de clínica cardiovascular, junto con sistemas inferenciales para bases de conocimiento de tipos de reglas de producción.