Механизм вывода
· Замена дедукции на аргументацию. При обосновании решения основной операцией становится поиск аргументов, подтверждающих утверждение, которое система должна доказать или опровергнуть.
· Сочетание достоверного (дедуктивного) и правдоподобного (индуктивного, по аналогии) вывода.
· Способность системы по мере необходимости ослаблять или усиливать принятые в задаче допущения.
· Присутствие немонотонных рассуждений: поступившие факты могут изменить истинность выведенных ранее заключений.
