Евгений Витяев "Компьютерное познание"

[serj_aleks]

Тема в рамках проекта «Картина мира», имеющее непосредственное отношение к процессу конструирования этой самой «Картины мира» или её элементам.

КОМПЬЮТЕРНОЕ ПОЗНАНИЕ  :  Компьютерная реализация научного метода познания, которая включает в себя также компьютерную реализацию человеческих методов познания (Computational Cognition) - обнаружения логики

Comments

[serj_aleks]

О попытках "гнать волну" ... :)

Кардинальный прорыв к вычислительным искусственным живым машинам
Базальное (базовое, фундаментальное) познание
https://evan-gcrm.livejournal.com/1491345.html

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

Ещё из области якобы "сенсаций" ...

Теория категорий позволяет математике отказаться от равенств
https://habr.com/ru/post/476372
Сила адъюнктов
https://bartoszmilewski.com/2019/09/20/the-power-of-adjunctions

[deep_econom]

Сила адъюнктов
https://bartoszmilewski.com/2019/09/20/the-power-of-adjunctions

угу, любопытная статейка

ps
и коммент там от автора )))

24 сентября 2019 года в 10:50
Монада - это не продукт, а продукт после дельты. Таким образом, объединение имеет подпись
join :: ((c, c), (c, c)) -> (c, c) и реализацию join = bimap fst snd(оно должно соответствовать единичным законам).

прям моя любимая конструкция модель )
((c, c), (c, c)) -> (c, c)

[deep_econom]

это тоже интересно
https://bartoszmilewski.com/2016/04/18/adjunctions/

особенно картинка )

[serj_aleks]

Тут перевод (в процессе) на русский
https://henrychern.wordpress.com