Без заголовка

Привёл не для игры слов. В тех же беседах отметили, что текущие концепции диамата трудно понять и формализовать из-за их невнятности (противоречие, противоположность, отрицание). Диалект-для-домена не может не быть предметным, и соответственно оперировать предметными противоречиями, которые уже можно формализовать, например, по классу на элементы задачи, по оператору с модификаторами для метода разрешения противоречия. В итоге получается диалект формального языка, который можно использовать для описания и решения конструкторской задачи. Цикл обобщения в язык - конкретизации диалекта (ещё одна высокоуровневая эвристика) будет стимулировать развитие и общего языка, и конкретных диалектов. Мне кажется, что такой аналитический подход противоестественен традиционному Востоку, может поэтому ничего и не происходило. ТРИЗ же мне кажется наиболее адекватным вариантом диамата, ибо внутриконцептуальной парадигмы наиболее чисто и правильно выражает использование эвристик для решения задач, -- иное использование эвристик неадекватно. Гипотетически рассуждая, создание диалектов можно частично автоматизировать. Для артефактов внутри домена создаётся морфология, это решается онтологией домена. Собирается корпус описаний. С помощью NLP и подобных средств корпус переводится в модели артефактов внутри морфологии. Для оценки проводится имитационное моделирование. Может с помощью NN или других алгоритмов категоризации вычленяются общие конструкционные элементы, качественная оценка которых основана на результатах моделирования. Из конструкционных элементов собирается диалект. Альтернативный вариант заключается в замене корпуса на генератор конструкционных решений и их проверку внутри модели; генератор может быть построен на разных технологиях, тех же NN. > Так же диалектика (но это слово будет притянуто за уши -- обычный приём для философов: приходят к удачному решению, обзывают своим словом и потом говорят, что это они придумали. Похоже это характерная особенность. Приведу пример: "Все открытия, сделанные хоть с применением формальной логики, хоть вообще без применения логики - по факту сделаны с применением диалектической логики (те из них, которые действительно оказались научными). Просто с её интуитивным использованием."