Logic of argumentation
The logic of argumentation (LA) is a formalised description of the ways in which humans reason and argue about propositions. It is used, for example, in computer artificial intelligence systems in the fields of medical diagnosis and prognosis, and research chemistry.