Category: архитектура

Category was added automatically. Read all entries about "архитектура".

serj-aleks08

Архитектуры среднего уровня сильного искусственного интеллекта

« ... это должно быть нечто типа синтеза/анализа систем, разбиение задачи на подзадачи, анализ подзадач, с последующим новым синтезом и т.п., холизм/редукционизм в итеративном цикле или в индуктивном/рекурсивном, всякие индукции Соломонова и т.п., всякие эвристики исходя из понятия система/подсистема/надсистема, метасистемные переходы аля Турчин и Рефал и всякое такое, абдукция/дедукция, абстрагирование/специфицирование и прочее ... »

Дж. Клир, Системология. Автоматизация решения системных задач *

serj-aleks08

HiAsm

HiAsm является практическим примером реализации подхода модель-ориентированной архитектуры, также называемого «разработкой от модели». Значимость данного подхода состоит в абстрагировании от платформ и архитектур поставщиков аппаратного и системного программного (математического) обеспечения.

При разработке от пользователя не требуются знания языков программирования [1] и особенностей функционирования операционной системы, что позволяет создавать приложения, управляя их моделью с помощью интуитивно понятного графического интерфейса. Результатом работы HiAsm является исходный код на том или ином языке (в этом смысле он сродни кодогенератору), впоследствии обрабатываемый соответствующим компилятором [2].


serj-aleks08

О метапозиции на вычислительный процесс

Постоянный обмен мнениями с deep_econom инициирует эти рассуждения. У вычислительного процесса как водится масса определений. С точки зрения моделирования к нему подходят как к общему определению алгоритма — модели вычисления. Но что не удовлетворяет. Есть процесс программирования или конструирование алгоритма, где мы абстрагируем конкретные операции с конкретными значениями, сворачивая последние в переменные. В редких случаях редуцируются и операции. Но это не вычисления! Это моделирование вычислений. Вычисления — это обратный процесс, когда мы разворачиваем состояния процесса, подставляя вместо переменных конкретные значения, чтобы получить что? Хороший пример беспокойства — это поиск, который не укладывается в привычную схему продукционных схем с одной целью или «непонятной истиной», которую мы вроде как ищем, а с другой стороны, уже подразумеваем что это такое. В реальности, мы ищем ассоциации и чаще не можем точно определить — какой уровень абстрактной структуры будет для нас удовлетворительным. Нам кажется, что мы ищем какое-то одно конкретное значение, а фактически, нас удовлетворяет структура значений. И совсем не обязательно, чтобы структура зацепляла самый нижний уровень — имена вещей. Ещё один пример с масштабированием карты. Есть о чём подумать. И это более фундаментальная проблема (определение вычислительного процесса и абстракных структур), чем относительная полнота. Попытки выйти за пределы логики предикатов, многозначные логики, темпоральные, нечетки и интервальные, да и те же статистические модели имеют природу этой проблемы. Когда мы, например, противопоставляем процедуре функцию, а в последнией конструируем прерывания промежуточными возвратами, тоже из этой оперы. Вот почему возникла концепция гомоиконичности. Прятать мощные инструменты отладки, возможность остановки процесса на любом шаге от интерпретирующего агента или как? Рекурсия без референции с взаимодействующим субъектом ради которого и всё делается. Под лозунгами безопасности, мы как в политическом процессе не можем найти баланс, между действительной конкуренцией процессов за ресурсы и скрытой коррупцией необоснованного присваивания и последующего сокрытия.

Collapse )
serj-aleks08

Три конкурирующих направления конструирования ИИ

Подсмотрел в лекции Алексея Самсоновича (Лекция здесь)

  • Вычислительная нейронаука
  • Когнитивное моделирование
  • Машины сознания

Представители этих направлений по мнению Самсоновича не замечают друг друга, хотя занимаются, фактически, одним и тем же. Но это может помочь позиционированию МЕТАМОДЕЛИРОВАНИЯ, в том же манифестирующем тексте, где должны появится разделы с формулированием отношения МЕТАМОДЕЛИРОВАНИЯ к этим дисциплинам, включая такие как AGI, Кибернетика, Логика, Семантика, Онтология, Эпистемология, Методология и т. д. и т. п. Более того, это и должно оставаться на этом уровне, а при собирании «пазлов» следует выделять конкретные тексты и концепты, которые они описывают. При этом имеет смысл сформировать список таких концептов (словарь), что-то типа базового «опорного вектора», который будет постоянно редактироваться, опять же поможет детальнее структурировать манифестирующий текст и в конце концов превратится в КОНЦЕПТУАЛЬНОЕ ПРОСТРАНСТВО МЕТАМОДЕЛИРОВАНИЯ. То есть уже было предложение о библиографии основополагающей статьи, а теперь ещё и предлагается простой «ориентирующий» список! Пример. Ещё может помочь GLOTEON, но здесь требуются, именно, концепты! Основные концепты МЕТАМОДЕЛИРОВАНИЯ! Что должно войти в структуру манифеста?

Collapse )
serj-aleks08

Нейроморфная когнитивная архитектура и мемристоры

Сосредоточившись на проекте МЕТАТРОНИКА, в ожидании «манифестирующей декларации» МЕТАМОДЕЛИРОВАНИЯ, обнаружил забойный проект и его основополагающую статью «Антихеббовские и хеббовские вычисления». Это очевидно точка отсчёта отдельного проекта, который может выкристаллизоваться в программный текст новой вычислительной парадигмы. Кажется более перспективным с точки зрения реализации, чем сомнительные квантовые вычисления и поиски «дырок от бубликов» типа квалиа. Все остальные практики могут быть переоценены в сравнении с этим и, опять же, если они хоть как-то соприкасаются. Начал собирать ссылки.

Погружение в тему можно начать со следующих текстов:

serj-aleks08

Когнитивные архитектуры

Полезная концентрация сведений (список проектов). В данном случае когнитивных архитектур. Можно будет проанализировать действительно актуальные проекты, их процессы развития. В частности, определиться с определениями таких понятий как интеллектуальный агент, когнитивная система (структура), когнитивная архитектура, когнитивное моделирование, память, язык, мышление и сознание. Последнее понятие, по-моему, буквально, содержание памяти и ничего более, а мышление — это операции с этим содержимым. 

Ну и так далее, понимание, внимание, поиск, ... к вопросу о тезаурусе проекта.