по идее надо создавать модели схем рассуждений, модель анализа абстрактной схемы/модели рассуждений и согласование конкурирующих моделей или синтез новых моделей
примером такой модели может служить ТРИЗ, АРИЗ, схема "элементарной диалектической логики от Грачева"
( см. обсуждения тут
https://mp-gratchev.livejournal.com/176364.html )
также концептуальные переходы по Канке, метасистемные переходы по Турчину и т.п.
типа NARS (неаксиоматические системы рассуждений и т.п.)
я наверное создавать не буду, но коллекционировать известные вполне можно, чтобы в дальнейшем комуто пригодилось
все это пригодится для сильного искусственного интеллекта