Цитата: VladimirKox от 10.05.2018 08:44:32А не могли бы Вы изложить информацию в доступном для восприятия физиологами виде? (Проблема не в анг, . а в мат.)
Ну, это если Вы действительно заинтересованы в дискуссии....
Попытка формализовать рациональное мышление в форме алгебры отношений сущностей.
Логический подход восходящий к ряду Prolog, KnowledgeBase systems и ProblemSolvers.
Логический вывод в базе заданной аксиоматики.
Данный подход основывается на внешнем задании аксиоматики и потому весьма узок, так как фрагментарен ( продуктивен в очень узких полностью аксиоматически описанных областях ). Никто не смог решить задачу формализованного описания достаточно широкой области знаний чтобы можно было судить о продуктивности данного подхода и соответствующих алгоритмов.
Даже полностью формальные игровые задачи ( шашки , шахматы ) решаются специализированными стратегиями а не общим логическим выводом.
Логический подход лишен индукции, то есть самостоятельного установления отношений внешнего мира. Хотя может случиться что рациональное мышление вообще самостоятельно не продуктивно, а вторично, то есть способно лишь рационально объяснять догадки найденные другим путем ( так сказать "интуитивно" ).