На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
16 Июня 2024

В Национальном исследовательском университете «Московский энергетический институт» проводился обзор подходов к формализации аргументации.

22.04.2015

Очень часто базы знаний, используемые в системах поддержки принятия решений, содержат противоречивую информацию. Классические методы логического вывода для них неприменимы. Одним из способов обнаружения и разрешения внутренних противоречий является аргументация. Под аргументацией обычно понимают процесс построения предположений относительно некоторой анализируемой проблемы. Как правило, этот процесс включает в себя обнаружение конфликтов и поиск путей их разрешения. В отличие от классической логики аргументация предполагает, что могут быть доводы как «за», так и «против» некого предположения. Введение степеней обоснования позволяет не только оперировать терминами «за» и «против», но и давать числовую оценку аргументам и контраргументам. Для подтверждения некоторого предположения необходимо доказать, что существует больше доводов «за» и степень их обоснования выше, чем у доводов «против». Для целостности описания разрабатываемой модели приведем основные определения и идеи, используемые в реализуемой системе аргументации, и сделаем обзор теоретических основ применения степеней обоснования.

 Подробное описание дается в статье «Программная реализация системы аргументации со степенями обоснования», авторы: Вагин В.Н., Моросин О.Л. (Национальный исследовательский университет «Московский энергетический институт», Москва).