Обсуждение

"Лет тридцать назад" было невозможно представить себе реальность практического использования на компьютере наборов из сотен тысяч онтологических фактов a la Gellish. Сейчас теоретически представить себе возможность переборного решения соответствующих задач уже можно, но, как я понимаю, пока что нельзя нигде увидеть живого примера восстановления по геллиш-описанию 3Д модельки какого-нибудь простенького агрегата из 1000 узлов и деталей. Кроме того, я теоретически с большим трудом могу себе представить решение задачи отождествления через шаблоны и паттенны двух геллиш-описаний процесса или объекта, необходимого для решения задачи интеграции.

Насколько я понимаю, геллиш-модельки предлагаются именно для восстановления подобных описаний. Другое дело, что вместо одной цифры в сам момент передачи информации из одной системы в другую нужно передать еще и то, к чему эта цифра относится -- а это еще ряд цифр. Факт кодируется тремя числами (все, что на языке -- это отдельные таблицы, с ними манипуляций не происходит, разве что в момент выдачи именно на Gellish. Об этом можно забыть, это как в XML -- заглядывают туда в крайнем случае). Поэтому один факт -- 3*32бита=12байт с бооольшим запасом. 1 миллион фактов -- 12Мбайт. Другое время, сколько времени над этим будут работать переборные алгоритмы. Но дело не в памяти, это точно. Насчет отождествления через шаблоны и паттерны геллиш-описаний я вообще не понял. Отождествление сегодня делают люди, как это делать описано в методологии. После того, как отождествление произошло, данные двух разных приложений отображаются друг в друга (иногда с использованием простейших вычислений типа "радиус X = диаметр Y пополам").

конечно вопрос не в объёме передаваемой инфомации, а объёме вычислений на основе полученной информации и сущетствующих таблиц. проблема в скорости, а не в памяти. отождествления делают люди до какого-то предела. а потом уже компьютер должен получить чертежи с указанными радиусами и сам сделать вывод о том, что для той же самой детали смежник указал диамерт. ещё надо будет найти факт "радиус X = диаметр Y пополам", но это уже будет просто.