Разработка языка программирования требует также разработки по него компилятора, интерпретатора и/или виртуальной машины. Это - тривиальный факт из жизни программистов. Без строго контроля за тем, что и как язык выражает, ничего хорошего из текста программы не выйдет. У разработчиков есть своеобразное чувство юмора - создавать "эзотерические языки", такие что the worse, the better в самом...
14 октября в Минске состоялся митап с темой "Вертикальная интеграция вычислительных архитектур - проблема медиатора", на котором я представлял доклад на данную тему. Тезисы, вокруг которых строилась презентация и обсуждение: CA = connectonist architecture; SA = symbolic architecture (or approach) 1. "Вертикальная" архитектура - это про целостное решение некоторой проблемы, "сверху донизу". В...
Статья Luc Steels "The Symbol Grounding Problem has been solved. So what’s next?" меня привлекла оптимизмом в названии. Живо написано, и приводятся интересные сведения по экспериментам с символьной коммуникацией роботов. По Стилзу, проблема, в том виде, как была сформулирована Сёрлом ("Can a robot deal with grounded symbols?") решена, Shakey robot в 70ых уже демонстрировал всё необходимое. А...
Для функционирования автономных искусственных агентов или просто для развитых систем обработки информации качественное представление знания является одной из ключевых задач, определяющих общую способность системы решать задачи. Можно считать, что для широкого ряда узкоспециализированных задач наука и инженерия сумела найти достаточно успешные частные решения. Однако, и построение...
"Данные", как, как концепцию, мы отличаем от "алгоритмов обработки", от "средств хранения", от "линий передачи" - этих самых данных. Это различение, кажущееся большинству чем-то таким естественным, как восход и закат, с моей когнитивистской колокольни - не более чем регулярный конструкт со своим жизненным циклом. И, на мой взгляд, тянется такое отношение с той поры, когда мы высекали "данные"...
То, что мы рамочно называем человеческой волей или произвольным вниманием очевидным образом влияет на психические и физиологические процессы. Мы можем научиться усиливать кровоток в некоторой части тела, например, просто направляя туда своё произвольное внимание. Существуют данные по массе экспериментов по управлению и "безсознательными", физиологическими процессами, которые мы в нормальном...
Одним из фундаментальных понятий из theories of mind в аналитической философии является "супервентность". Один из лидеров и законодателей мод в западной когнитивистике, австралиец Дэвид Чалмерс, супервентность расписал в книге "Сознающий ум". Определение супервентности из статьи на стэнфордской энциклопедии Plato (McLaughlin, Bennet): Множество свойств А супервентно над другим множеством B...
Переход от геоцентричной к гелиоцентричной схеме отслеживания движения планет был антисложным манёвром: траектории вместо сложных кривых стали предаствляться набором концентрических окружностей. Разнообразие фигур и их форм радикально уменьшилось. via GIPHY
У глобальной программы создания некого интеллектуального подобия человека, то бишь - AGI, на мой взгляд, есть фундаментальная проблема, напрямую связанная с реализуемостью задачи. Если предполагать для сознания/мозга некоторую эмерджентную модель, важным требованием для неё является embodiment: прямая, сильная и неустранимая зависимость от контекста развития или обучения носителя. Есть,...
Из дискуссии у YC: "у систем, построенных на онтологиях изначально присутствует ограничение на широту понятийного охвата. Они domain-specific, найди-подай-принеси. Сомнительно, что рулы для/на upper ontologies будут иметь какую-то адекватность. Это просто не для онтологий." SG: "тезис о наличии ограничений требует доказательства. бОльшая часть ограничений все-таки находится в головах...