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

Но ключевое-то — это как раз введение новых объектов, на которых можно минимизировать количество объясняющих структур для больших предметных областей. А на той же онтологии, конечно, можно "подбирать модельки". Так сказать, поиск не новых объяснений, а поиск приемлемых объяснений. Но эти все алгоритмы вроде как с ассоциациями работают (то есть не могут сказать, солнце встаёт из-за того, что петух крикнул, или наоборот, петух крикнул, потому как солнце встало, или есть что-то третье, что и солнце заставило встать, и петуха крикнуть).