La lógica de la argumentación (LA) es una descripción formalizada de las formas en que los humanos razonan y discuten sobre proposiciones . Se utiliza, por ejemplo, en sistemas informáticos de inteligencia artificial en los campos del diagnóstico y pronóstico médico y en la investigación química .
Krause et al. [1] parecen haber sido los primeros autores en utilizar el término "lógica de la argumentación" en un artículo sobre su modelo para utilizar la argumentación para el razonamiento cualitativo en condiciones de incertidumbre, aunque el enfoque se había utilizado anteriormente en prototipos de aplicaciones informáticas para respaldar el diagnóstico médico. [2] [3] Sus ideas se han desarrollado aún más, [4] [5] y se han utilizado en aplicaciones para predecir la toxicidad química y el metabolismo xenobiótico , por ejemplo. [6] [7]
En Los Ángeles, los argumentos a favor y en contra de una proposición son distintos; un argumento a favor de una proposición no aporta nada al caso en su contra, y viceversa. Entre otras cosas, esto significa que LA puede respaldar la contradicción : prueba de que un argumento es verdadero y falso. Los argumentos que respaldan los argumentos a favor y los argumentos en contra se agregan por separado, lo que lleva a una única evaluación de confianza en los argumentos a favor y una única evaluación de confianza en los argumentos en contra. Entonces los dos están decididos a proporcionar una única medida de confianza en la proposición.
En la mayoría de las implementaciones de LA, el valor agregado predeterminado es igual al valor más fuerte en el conjunto de argumentos a favor o en contra de la proposición. Tener más de un argumento de acuerdo no aumenta automáticamente la confianza porque no se puede suponer que los argumentos sean independientes cuando se razona bajo incertidumbre . Si hay evidencia de que los argumentos son independientes y hay motivos para aumentar la confianza cuando concuerdan, esto a veces se expresa en reglas adicionales de la forma "Si A y B entonces ...".
El proceso de agregación y resolución se puede representar de la siguiente manera:
T = Resolución[Max{Para(Ca,x, Cb,y, ...)}, Max{Contra(Ca,x, Cb,y, ...)}]
donde T es la evaluación general de la confianza en una propuesta; Resolve[] es una función que devuelve el valor de confianza único que es la resolución de cualquier par de valores; A favor y en contra son los conjuntos de argumentos que apoyan y se oponen a la proposición, respectivamente; Ca,x, Cb,y, ..., son los valores de confianza para esos argumentos; Max{...} es una función que devuelve el miembro más fuerte del conjunto sobre el que opera (a favor o en contra).
Los argumentos pueden otorgar confianza a proposiciones que a su vez influyen en la confianza de otros argumentos, y una regla puede verse socavada por otra. Una implementación informática puede reconocer estas interrelaciones para construir árboles de razonamiento automáticamente.