Этот подход основан на представлении информации в виде специальной миварной матрицы и отличается от традиционного логического вывода только тем, что не используется исчисление предикатов и не рассматриваются в явном виде вопросы истинности или ложности высказываний.

Более того, изменяющееся многомерное миварное информационное пространство позволяет в едином формализме описать и совместить все указанные формализмы, включая исчисление предикатов и семантические сети с онтологиями.

Там же приведено интересное и новое определение термина «интеллект», которое отличается от традиционного подхода логиков и сторонников исчисления предикатов первого порядка.

К сожалению, для достаточно большого количества учёных в нашей области исчисление предикатов так и остаётся верхом развития, что тормозит применение других более мощных и современных научных теорий.

Упомянутые выше исчисление предикатов и другие ранние фундаментальные формализмы при необходимости могут быть реализованы и в правилах (отношениях) миварных сетей.

Исчисление предикатов первого порядка обеспечивает средства автоматизации рассуждений: язык для построения выражений, теорию, позволяющую судить об их смысле, и логически безупречное исчисление для вывода новых истинных выражений.

Любители исчисления предикатов могут называть логический вывод в таких матрицах автоматическим конструированием алгоритмов, но суть от этого не изменится: линейная сложность и решение реальных задач с десятками тысяч правил и объектов, а также возможность параллельных решений и подключения новых возможностей: сервисов, правил, процедур, нейроподпрограмм, генетических и т. п.

Если вам нравится исчисление предикатов, то можете и далее продолжать «играть» в свои «игрушечные» задачи с 30 правилами и NP-полными алгоритмами.