ΩTrueMagic

В детстве мы называли эту игру "семечки". Рисовали цифры на листе бумаги и вычеркивали. Я решил заменить циферки цветными квадратами. Западло как-то объяснять геймплей. Мне кажется, из видео ниже все понятно...

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

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

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