Рассматривается хронология создания логических машин, которые могут быть применены для решения задачи автоматизации рассуждений, для генерации новых знаний. Предлагается иной (категориальный) подход к решению задачи автоматизации рассуждений, отличный от общепринятого подхода, основанного на формализации предметной области и применении законов логики. Теоремы Гёделя и Тарского накладывают существенные ограничения на формирование формализованного языка для решения задачи автоматизации рассуждения, поэтому необходим другой аппарат моделирования объектов. В рамках теории динамических информационных систем (ДИС, ТДИС) может быть смоделирован любой объект. Язык и логико-методологическая база ТДИС могут оперировать с объектами различного типов знания, а с помощью таких процедур, как дешифровки, свертки и мутации может быть построена база для автоматизации рассуждений.