Логика аргументации (ЛА) — это формализованное описание способов, которыми люди рассуждают и спорят о предложениях . Она используется, например, в компьютерных системах искусственного интеллекта в области медицинской диагностики и прогнозирования , а также исследовательской химии .
Краузе и др. [1], по-видимому, были первыми авторами, использовавшими термин «логика аргументации» в статье о своей модели использования аргументации для качественного рассуждения в условиях неопределенности, хотя этот подход использовался ранее в прототипных компьютерных приложениях для поддержки медицинской диагностики. [2] [3] Их идеи были развиты далее, [4] [5] и использовались в приложениях для прогнозирования химической токсичности и метаболизма ксенобиотиков , например. [6] [7]
В LA аргументы за и аргументы против предложения различны; аргумент за предложение ничего не добавляет к аргументу против него, и наоборот. Среди прочего, это означает, что LA может поддерживать противоречие — доказательство того, что аргумент истинен и что он ложен. Аргументы в поддержку аргумента за и аргументы в поддержку аргумента против объединяются отдельно, что приводит к единой оценке уверенности в аргументе за и единой оценке уверенности в аргументе против. Затем эти два аргумента разрешаются, чтобы предоставить единую меру уверенности в предложении.
В большинстве реализаций LA агрегированное значение по умолчанию равно самому сильному значению в наборе аргументов за или против предложения. Наличие более чем одного согласованного аргумента не увеличивает автоматически уверенность, поскольку нельзя предположить, что аргументы независимы при рассуждениях в условиях неопределенности . Если есть доказательства того, что аргументы независимы, и есть основания для повышения уверенности при их согласовании, это иногда выражается в дополнительных правилах формы «Если A и B, то ...».
Процесс агрегации и разрешения можно представить следующим образом:
T = Решение[Макс{За(Ca,x, Cb,y, ...)}, Макс{Против(Ca,x, Cb,y, ...)}]
где T — общая оценка уверенности в предложении; Resolve[] — функция, которая возвращает единственное значение уверенности, которое является разрешением любой пары значений; For и Against — наборы аргументов, поддерживающих и опровергающих предложение соответственно; Ca,x, Cb,y, ..., — значения уверенности для этих аргументов; Max{...} — функция, которая возвращает самый сильный элемент набора, на котором она работает (For или Against).
Аргументы могут приписывать уверенность предложениям, которые сами влияют на уверенность в других аргументах, и одно правило может быть подорвано другим. Компьютерная реализация может распознавать эти взаимосвязи для автоматического построения деревьев рассуждений.