Без заголовка

Да, на вчерашнем совещании я именно про этот пост говорил "John Sowa снова пишет наиболее толковое из всей рассылки". Аккуратно определять близкие образы - полезно, а вот наслоение ограничений даёт стройные абстрактные преставления, которые быстро теряют связь с реальным миром. И в Cyc ограничения вынесены в микротеории, где такая связь может сохраняться и использоваться длительное время, не выходя за пределы соответствующих предметных областей. Хороший пример - образы "собачка Aibo" или "Кот в сапогах" никак не помещаются в биологическую онтологию (и ограничения), но могут быть связаны определёнными отношениями с её понятиями.