Обсуждение:ДСМ-метод

Пример в статье

Во-первых, около выпуклого четырёхугольника можно описать окружность тогда и только тогда, когда сумма его противоположных углов равна 180°. см. Описанная окружность. Условия получаются именно "правдоподобные", а не "действительные".

Оба Ваших утверждения истинны. Однако при выбранном наборе признаков невозможно сформулировать критерий, который Вы приводите. Это сделано намеренно, так как в реальных исследованиях обычно не понятно, какие признаки существенны, а какие нет, и все ли существенные признаки учтены. Второе утверждение в самой статье многократно явно объявлялось. Можно еще упростить задачу и добавить признак "можно описать окружность" как не только целевой, но и описательный. Дмитрий Виноградов (обс) 15:34, 24 июля 2016 (UTC)

Во-вторых, из подобранных фигур и их свойств следует более простой правдоподобный критерий: c₄ или c₇. В статье говорится о c₄ или (c₇ и c₃).

Вы не поняли смысла ДСМ-рассуждений. На шаге индукции ДСМ-метод аналогичен анализу формальных понятий. При этом подходе вместо покрытия вычисляются замкнутые множества признаков, не имеющие контр-примеров. Такими множествами в обсуждаемом примере являются {c₂,c₄} и {c₂,c₃,c₇}. Дмитрий Виноградов (обс) 15:34, 24 июля 2016 (UTC)

Radixvinni (обс) 20:52, 16 июля 2016 (UTC)