Системы автоматического формирования понятий

- правило отбрасывания несущественных факторов

- правило замены констант переменными

R C

f(x) a1 ai an

f(ai), i=1,..n à " x Î [R,C] f(x)

- правило замыкания числовых интервалов

a b

f(a) f(b)

" x Î [a,b] f(x)

- обобщение вверх по дереву

P -//- fi – конкретные типы персональных компьютеров

Ci – персональные компьютеры

C1 C2 - имеют память P – компьютеры

f1 f2 f3 f4 - имеют память