Найти в Дзене
5 месяцев назад
 • Вы подписаны

Тестирую способности AI решать задачи на модальную логику

Логика знаний является разновидностью модальных логик и содержит утверждения вида "Алиса знает, что Боб знает, что Алиса знает, что небо голубое". Мне кажется, способность мыслить вложенными моделями/контекстами является важной частью интеллекта как такового. Если бы я разрабатывал AI, то я бы изначально проектировал архитектуру таким образом, чтобы AI мог мыслить вложенными моделями/контекстами. Мне стало интересно, как существующие модели решают задачи на модальную логику. Для этого я решил потестировать популярные модели AI на решение подобных задач...

5 месяцев назад
 • Вы подписаны

TomEditor. Программа для решения задач на модальную логику

Меня занимает модальная логика. А именно, эпистемическая логика (логика знаний). Эпистемическая логика содержит в себе утверждения вида: и т.д. Для того, чтобы успешно взаимодействовать с миром, Алиса строит в голове модель мира. В этой модели она знает, какого цвета небо, и другую полезную информацию. Боб тоже имеет свою модель мира. И частью этой модели является Алиса с её моделью. Т.е. внутри модели Боба есть подмодель Алисы, внутри которой есть информация о том, какого цвета небо. Мне нравится...

8 месяцев назад
 • Вы подписаны

Написал небольшую программку, которую я назвал "Топологический калькулятор". Программа позволяет строить топологические пространства с помощью базовых операций (умножение, связанная сумма, вырезание диска). Затем программа вычисляет гомологии и границу полученного пространства.

4 года назад
 • Вы подписаны

Комплексные числа | Базовые операции

Сегодня мне хочется рассказать про комплексные числа. Я не хочу перегружать статью формулами, а буду вставлять побольше анимированных картинок. Идея В комплексных числах есть своя красота и своя фишка. Чтобы мотивировать вас дочитать до конца, я хочу очень поверхностно пересказать основную идею, в чем я вишу фишку комплексных чисел. Итак, изначально у нас есть действительные числа. На действительных числах определены операции сложения и умножения. Мы берем и расширяем действительную ось до комплексной плоскости...

4 года назад
 • Вы подписаны

Проект "Редактор 3D-графов". Web-версия

Я доделал первую версию редактора, собрал web-версию и выложил на сайт. Теперь любой желающий может им пользоваться. Редактор работает прямо в браузере, а все данные сохраняются в локальном хранилище браузера. О редакторе О своем редакторе я уже писал в предыдущей статье. Web-версия редактора теперь доступна по ссылке. Редактор предназначен для создания графов в трехмерном пространстве. Он имеет необычную "цилиндрическую" систему координат. Это значит, что в центре сцены существует вертикальная ось, и вся сцена вращается вокруг этой оси...

Если нравится — подпишитесь
Так вы не пропустите новые публикации этого канала
Покупайте СтеллыИ дарите их за контент