Система описания знаний [Cyc] и язык описания [CycL]. Оно достаточно древнее, пока не взлетело, но сама концепция
завораживает. Вот бы такую штуку (или подобную) подружить с
нейросетями для фильтрации их "выхлопа", или наоборот, все
"странности" на выходе нейросети описывать потом ручками как некие
новые знания (если они таковыми являются) - вообще цены бы не было.