Синтезом познавательных процедур, объединяющим правила правдоподобного вывода, порождающие гипотезы о причинах, правила вывода по аналогии, абдуктивный вывод и индуктивные обобщения, является JSM-рассуждение. Как и в логике аргументации, в JSM-рассуждении высказывания оцениваются посредством сопоставления аргументов «за» и «против» [16]. На расширенной логике аргументации реализованы такие JSM-рассуждения, что [13]: 1) условия их применимости могут быть точно определены (и даже аксиоматизированы); 2) состоят из последовательной рекуррентной реализации двух типов правил правдоподобного вывода, которые применяются к начальному состоянию данных и к последующим состояниям данных, порожденных применением этих правил; 3) подразделяются на правила порождения гипотез о причинах эффектов (множеств свойств объектов) и на правила прогнозирования наличия или отсутствия свойств у объектов (правила вывода по аналогии); 4) множество порожденных гипотез принимается лишь в силу выполнимости критерия достаточного основания, формулируемого как специальная аксиома, регулирующая и принятие гипотез и расширение исходной выборки (начального состояния базы данных – БД); 5) заключительным этапом является порождение индуктивных обобщений.
При проведении консилиума аргументы отражают частные мнения специалистов и могут иметь различную истинностную оценку для его участников. Поэтому формализм для построения логического вывода на основе аргументации должен учитывать структуру множества аргументов, в частности, возможность существования отношения порядка на множествах аргументов [10], что определяется диагностической значимостью привлекаемых в качестве аргументов признаков. Это могут быть патогномоничные (однозначно характеризующие заболевание), обязательные (встречающиеся с частотой 80 – 90% при данной патологии), главные (встречающиеся с частотой 50 – 60%) и сопутствующие или второстепенные признаки.