Семантическая алгебра – это фундаментальное исследование (поиск Бога и поиск Истины) в области семантики русского языка с использованием аналогов линейной алгебры, информатики, философии и теологии. Проекту скоро 15 лет. Ведёт его – Владимир Евгеньевич Липатов. ( woldemar1974lve@yandex.ru )
Скачать книгу «Семантическая Алгебра»
ИСТОРИЯ ВОПРОСА

История моей работы с семантической алгеброй началась в 2002 году. В то время я - программист, увлёкся иконописью и богословием. Меня потрясла икона 'Неопалимая Купина'. В таких иконах есть признаки симметрии, многомерности и фрактальности. При этом существует великое множество интерпретаций. Это признаки системного уровня. Тогда я понял, что в иконописи и богословии отражена суть и устройство мироздания. Я считаю, что Богословие намного ближе к математике, чем современная физика. Догматы богословия схожи с математическими аксиомами. Большинство христианских догм устанавливалось столетиями размышлений и споров на Вселенских Соборах. Сложность восприятия догматических истин в уровне владения языком. Потому что язык (как Бог-Слово, как Логос) является частью Истины. Истина содержит язык, а язык может проецировать Истину. Появился вопрос, - как передавать знания с минимальными искажениями? Мне попались работы по Соционике, которая активно использует математику и имеет свои аксиомы, свой базис. Из базиса соционики очень красиво выводятся типы личности, типы их отношений и признаки Рейнина. Там практически одни таблицы. Нет накладных расходов на сюжет и стилистику. А значит, меньше искажений. Элементы в таких таблицах можно изучать в любой последовательности. Нет условия на плетение последовательной нити повествования. Иконопись, богословие и соционика мне очень понравились и я постепенно начал сопоставлять их со знаниями о семантических сетях из области баз знаний и искусственного интеллекта. Эти теории были разработаны в 70-х годах. Они опирались на теорию графов, и это было главной ошибкой. Использование значащих вершин и значащих рёбер, сильно усложняли модель. Возможность для построения семантических сетей произвольной топологии открывала простор для фантазии в организации знаний. Поэтому такие инструменты требовали пересмотра. Мне нужен был строгий критерий для построения семантического базиса. И тут помогла линейная алгебра. Всякое понятие с антонимом, соответствовали вектору. Позже я научился перемножать семантические вектора, получая матрицы и тензоры. Применяя этот подход к разным знаниям, я стал проверять справедливость теории. Так стала вырисовываться семантическая алгебра. По ходу развития этой темы мне рассказали о работах Геделя, Осгуда и прочих исследователях, которые использовали антонимы. Думаю, что такие прикладные применения, - это только один шаг в нужном направлении. Однако, чтобы поднять семантическую алгебру на самостоятельный системный уровень, мне потребовалось оттолкнуться от теологических представлений об Истине. Считаю, что философия не может дать такой точки опоры. Потому что философия является инструментом опровержения любых утверждений. Она не признаёт догматов и аксиом, пытаясь их доказывать. Поэтому философия постоянно путается в терминах и определениях.