Обсуждение

Не заметил упоминания идей из доклада Нариньяни А.С. Между Знанием и Незнанием – Наивная Топография (есть статья Наивная Топография - 2) моя оценка предлагаемых шкал: 1. Достоверность - логарифмическое убывание 2. Полнота - логарифмическое убывание 3. Истинность - сигмоида Основная ветвь эволюции фактов - "ересь-гипотеза-теория-истина-предрассудок"

Правильно не заметили. Их там и нет. Если уж и говорить про определённость-неопределённость, то это про байесовскую вероятность. Например, http://mlg.eng.cam.ac.uk/yarin/blog_3d801aa532c1ce.html#disqus_thread -- как работать с неопределённостью в нейронных сетках.

Вы пишите - "В работе со знаниями сейчас ровно такой момент, переустройство всего." Вот как раз про динамику переустройства, но в приложении к знаниям, Нариньяни и писал. Онтология - не статическая картинка, она должна поддерживать описание своего изменения, иначе можно получить MYCIN, которая не сможет поддерживать собственную актуальность :) Вариант тезиса про знание: мир не предсказуем и не познаваем до конца, но знание заключается в максимальной определенности предсказаний, т.е. максимально соответствующем будущему мысленном эксперименте - и с ограничениями ресурсов на предсказание.

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

Вот подход «спрашивать у сети, что она знает» чреват тем, что сеть врать начнёт. Правильнее говорить, наверно, об анализе содержимого сети, вычислении следствий из её содержимого.

Вот кстати да, процесс конденсации распределенных знаний в слова и символы, трудоёмкий и энергозатратный. Спасибо за мысль.

Да, тензорные представления и вообще применение теории представлений к логическому знанию - выглядят очень круто. Интересно, что там современная математика думает про теорию представлений. Лет 20 назад, мне казалось, именно теория представлений была передним краем математики, в каком-то смысле.