http://vimeo.com/730557Это работает система "доказательства теорем", движок для прикладных рассуждений.
На графе все в кучу - факты, цели, гипотезы, эвристики. Можно понимать и как активную часть нейросети, только в отличие от разных обратных распространений тут обучение, сброс и переобучение нейронов происходит многократно в процессе работы.