Параметрический предикат сходства УЙ(сь а/, К) становится истинным при определенном значении параметра k, который определяет необходимое число примеров, используемых для выявления сходства. Этот параметрический предикат сходства определяется следующим образом [c.187]
В записи этого предиката его начальная часть совпадает с предикатом сходства. Пояснения требует лишь последняя часть записи, начиная со скобки (z2=t 2—Сг). Знак минус, который здесь и далее используется, это знак теоретико-множественной операции, порождающей разность двух соответствующих множеств. Вся эта часть записи формализует утверждение о том, что, при исключении из [c.188]
Так как предикат различия N( i, о/, k) содержит предикат сходства М (GI, ij, k), то метод различия оказывается более сильным, чем метод сходства. Факты, устанавливаемые по методу различия, более обоснованы, чем те, которые были найдены лишь на основании выделения сходства. Подобно предикату сильного положительного сходства можно построить предикат сильного положительного различия. [c.189]
Хотя сущность процедуры, реализуемой на ЭВМ, достаточно ясна из вида записей предикатов сходства, различия и аналогий, проиллюстрируем одну из этих процедур блок-схемой программы, показанной на рис. 4.10. На нем приведена блок-схема для правила положительной аналогии версии 3. [c.193]
Схема правила вывода по методу различия такая же, как и для вывода по методу сходства. Разница состоит только в том, что вместо предиката M( I, ait k) используется предикат различия N, имеющий следующий вид [c.188]
Наконец, можно ввести еще методы сходства и различия не для множества положительных примеров, а для множества отрицательных примеров. Вид соответствующих правил вывода и предикатов отрицательного сходства и различий как в слабой, так и в сильной форме, имеет вид, подобный тем записям, которые мы уже привели. Поэтому не будем утомлять читателей. Отметим только явную связь приемов, используемых в ДСМ-методе, с теми приемами, которые встречались нам при использовании пирамидальных растущих сетей. [c.189]