Общий сильный A(G)I должен иметь согласно Pei Wang следующие компоненты: (1) теории интеллекта, выраженной на естественном языке, (2) формальная модель теории, выраженная символическим языком, и (3) компьютерная реализация модели, выраженная на языке программирования.</b> 1. Пункт 1 по сути у меня в полной мере имеется. Причем изложено на псевдокоде позволяющем записать всё в нотации пункта 2. 2. Пункт 2 главное у меня записано. Всё основано на упорядоченных парах т.е. моделях. Формальная конструкция позволяющая формализовать всё из пункта 1, а также составляющая основу для пункта 3. 3. Пункт 3 главное понято и записано. А именно структура данных, движок и язык понятны. Сделан совсем игрушечный мини-интерпретатор. -- 1. Сила и ограничения формальных моделей. Необходимость формальных моделей для исследования AGI не является новой темой. Например,AGI-09 провел семинар под названием «На пути к серьезной вычислительной науке интеллекта»[1]. В [2] я высказал мнение, что полный A(G)I, в котором я работаю, должен состоять из (1) теории интеллекта, выраженной на естественном языке, (2) формальная модель теории, выраженная символическим языком, и (3) компьютерная реализация модели, выраженная на языке программирования. Хотя необходимость (1) и (3) очевидна, существует большое количество проектов AGI без четко определенной формальной модели. Такие проекты часто описываются и осуществляется в соответствии с обычной практикой разработки программного обеспечения. Если система AGI в конечном итоге построена как компьютерная система с программным обеспечением и аппаратные средства, зачем пытаться иметь формальную модель в качестве промежуточного шага, прежде чем между концептуальным дизайном и физической реализацией? Как я утверждал в [3] формализация улучшает теоретическую модель путем устранения неоднозначности (хотя и неполностью) его понятия и высказывания. В частности для AGI, формальная модель имеет тенденцию быть независимым от домена, с его понятиями, применимыми к различным доменам давая символы различные интерпретации. Хотя можно пропустить формализация, такая практика часто смешивает концептуальные вопросы и проблемы с дополнением, тем самым увеличивая сложность проектирования системы и развитие. 2. Ван, П .: Жесткая гибкость: логика интеллекта. Springer, Dordrecht (2006) 3. Ван П .: Теории искусственного интеллекта - мета-теоретические соображения. В Ван П., Гоерцель Б., ред .: Теоретические основы искусственного общего интеллекта. Атлантис Пресс, Париж (2012) 305–323 2. Wang, P.: Rigid Flexibility: The Logic of Intelligence. Springer, Dordrecht (2006) 3. Wang, P.: Theories of artificial intelligence – meta-theoretical considerations. In Wang, P., Goertzel, B., eds.: Theoretical Foundations of Artificial General Intelligence. Atlantis Press, Paris (2012) 305–323 https://deep-econom.livejournal.com/463354.html?thread=3333114#t3333114 коммент отсюда https://deep-econom.livejournal.com/463354.html Публикации, статьи, список работ Pei Wang (Пей Ван) --