Логика аргументации
Логика аргументации (ЛА) — это формализованное описание способов, которыми люди рассуждают и спорят о предложениях . Он используется, например, в компьютерных системах искусственного интеллекта в области медицинской диагностики и прогнозирования , а также научных исследований в области химии .
Происхождение термина
[ редактировать ]Краузе и др. [1] по-видимому, были первыми авторами, которые использовали термин «логика аргументации» в статье о своей модели использования аргументации для качественных рассуждений в условиях неопределенности, хотя этот подход использовался ранее в прототипах компьютерных приложений для поддержки медицинского диагноза. [2] [3] Их идеи получили дальнейшее развитие. [4] [5] в приложениях для прогнозирования химической токсичности и метаболизма ксенобиотиков . и используется , например, [6] [7]
Реализации
[ редактировать ]В ЛА аргументы за и против предложения различны; аргумент в пользу предложения ничего не дает в пользу аргумента против него, и наоборот. Помимо прочего, это означает, что ЛА может поддерживать противоречие – доказательство того, что аргумент верен и ложен. Аргументы, подтверждающие доводы «за», и аргументы, подтверждающие доводы «против», объединяются отдельно, что приводит к единой оценке доверия в пользу и единой оценке уверенности в доводах против. Затем оба решают обеспечить единую меру доверия к этому предложению.
В большинстве реализаций LA агрегированное значение по умолчанию равно самому сильному значению в наборе аргументов за или против предложения. Согласие более чем одного аргумента не увеличивает автоматически уверенность, поскольку нельзя предполагать, что аргументы независимы при рассуждениях в условиях неопределенности . Если есть доказательства того, что аргументы независимы и есть основания для повышения доверия в случае их согласия, это иногда выражается в дополнительных правилах вида «Если А и В, то…».
Процесс агрегирования и разрешения можно представить следующим образом:
T = Решить [Макс {За (Ca, x, Cb, y, ...)}, Макс {Против (Ca, x, Cb, y, ...)}]
где Т — общая оценка уверенности в предложении; Resolve[] — функция, которая возвращает единственное значение достоверности, которое является разрешением любой пары значений; «За» и «Против» — это наборы аргументов в пользу и против утверждения соответственно; Ca,x, Cb,y,... — доверительные значения для этих аргументов; Max{...} — это функция, которая возвращает самого сильного члена множества, над которым она работает (За или Против).
Аргументы могут придавать уверенность утверждениям, которые сами по себе влияют на уверенность в других аргументах, и одно правило может быть подорвано другим. Компьютерная реализация может распознавать эти взаимосвязи и автоматически строить деревья рассуждений.
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Пол Дж. Краузе, Саймон Эмблер, Мортен Эльванг-Горанссон и Джон Фокс, Логика аргументации рассуждений в условиях неопределенности, Computational Intelligence, 1995, 11 (1), 113-131.
- ^ Мортен Эльванг-Горанссон, Пол Дж. Краузе и Джон Фокс, Диалектическое рассуждение с противоречивой информацией. в «Неопределенности в искусственном интеллекте: материалы девятой конференции», под ред. Д. Хекерман и А. Мамдани, Морган Кауфманн, Сан-Франциско, 1993, стр. 114–121.
- ^ Джон Фокс, Дэвид В. Гласспул и Джонатан Бери, Количественные и качественные подходы к рассуждениям в условиях неопределенности при принятии медицинских решений, на 8-й конференции по искусственному интеллекту в медицине в Европе, AIME 2001, Кашкайш, Португалия, июль 2001 г., Труды, ред. С. Кваглини, П. Бараоне и С. Андреассен, Springer, Берлин, 2001, стр. 272–282.
- ^ Филип Н. Джадсон и Джонатан Д. Весси, Комплексный подход к аргументации, J. Chem. Инф. Вычислить. наук, 2003, 43, 1356-1363.
- ^ Лейла Амгу и Анри Прад, К логике аргументации, Конспекты лекций по вычислениям. Наука, 2012, 7520, 558-565.
- ^ Филип Н. Джадсон; Кэрол А. Марчант; Джонатан Д. Весси. Использование аргументации для абсолютных рассуждений о потенциальной токсичности химических веществ. Журнал химической информации и информатики, 2003, 43, 1364–1370.
- ^ Уильям Дж. Баттон, Филип Н. Джадсон, Энтони Лонг и Джонатан Д. Весси. Использование абсолютных и относительных рассуждений для прогнозирования потенциального метаболизма ксенобиотиков, J. Chem. Инф. Вычислить. наук, 2003, 43, 1371-1377.