Найти в Дзене
Тестирую способности AI решать задачи на модальную логику
Логика знаний является разновидностью модальных логик и содержит утверждения вида "Алиса знает, что Боб знает, что Алиса знает, что небо голубое". Мне кажется, способность мыслить вложенными моделями/контекстами является важной частью интеллекта как такового. Если бы я разрабатывал AI, то я бы изначально проектировал архитектуру таким образом, чтобы AI мог мыслить вложенными моделями/контекстами. Мне стало интересно, как существующие модели решают задачи на модальную логику. Для этого я решил потестировать популярные модели AI на решение подобных задач...
6 дней назад
TomEditor. Программа для решения задач на модальную логику
Меня занимает модальная логика. А именно, эпистемическая логика (логика знаний). Эпистемическая логика содержит в себе утверждения вида: и т.д. Для того, чтобы успешно взаимодействовать с миром, Алиса строит в голове модель мира. В этой модели она знает, какого цвета небо, и другую полезную информацию. Боб тоже имеет свою модель мира. И частью этой модели является Алиса с её моделью. Т.е. внутри модели Боба есть подмодель Алисы, внутри которой есть информация о том, какого цвета небо. Мне нравится...
1 неделю назад
Написал небольшую программку, которую я назвал "Топологический калькулятор". Программа позволяет строить топологические пространства с помощью базовых операций (умножение, связанная сумма, вырезание диска). Затем программа вычисляет гомологии и границу полученного пространства.
2 месяца назад
Комплексные числа | Базовые операции
Сегодня мне хочется рассказать про комплексные числа. Я не хочу перегружать статью формулами, а буду вставлять побольше анимированных картинок. Идея В комплексных числах есть своя красота и своя фишка. Чтобы мотивировать вас дочитать до конца, я хочу очень поверхностно пересказать основную идею, в чем я вишу фишку комплексных чисел. Итак, изначально у нас есть действительные числа. На действительных числах определены операции сложения и умножения. Мы берем и расширяем действительную ось до комплексной плоскости...
365 читали · 4 года назад
Проект "Редактор 3D-графов". Web-версия
Я доделал первую версию редактора, собрал web-версию и выложил на сайт. Теперь любой желающий может им пользоваться. Редактор работает прямо в браузере, а все данные сохраняются в локальном хранилище браузера. О редакторе О своем редакторе я уже писал в предыдущей статье. Web-версия редактора теперь доступна по ссылке. Редактор предназначен для создания графов в трехмерном пространстве. Он имеет необычную "цилиндрическую" систему координат. Это значит, что в центре сцены существует вертикальная ось, и вся сцена вращается вокруг этой оси...
101 читали · 4 года назад
Если нравится — подпишитесь
Так вы не пропустите новые публикации этого канала