Sergot M., A Computational Theory of Normative Positions. Логические формализмы вроде презентованного здесь читать непросто, да и не очень интересно. Интересны границы метода. Например, ввод-вывод в формализм. Приведённый ниже отрывок взят из примера практического использования логики (формализм Norman-G): Note [2]. We are supposing for the purpose of the example that if one of the...
Заметка на полях исследований стека технологий для дейцентричного процессинга. Оператор negation в спецификации SPARQL проявляет интересную проблему с интеграцией разноуровневых онтологий и эпистемических вычислений. Данные, представленные в блоке "Data"- текущая онтика, набор фактов, организованный в соответствии с какой-то онтологией (О1). По факту там несколько онтологий импортировано...
Metzinger T., Gallese V. - The emergence of a shared action ontology. Building blocks for a theory (2003) Прекрасная статья Томаса Метцингера заслуживает подробного разбора, но здесь я запишу лишь свои реакции на отдельные выдержки. Перевод "shared action ontology" на русский позволяет более одного варианта, включая "онтологию разделяемого действия", но содержательно авторы прорабатывают...
Нашел приличное количество публикаций на тему масштабирования логического и онтологического нормативного вывода. Проект MIREL из Университета Люксембурга, Университет Болоньи и прочие прорабатывают вопрос "как обрабатывать огромные количества данных с огромным количеством правил". Не нашёл пока работающих систем, хотя упоминания про то, что прототип вывели в коммерческую эксплуатацию, есть....
Рекап дискуссий на канале "Управляемая эпистемология" < Более понятные объяснения, чем в статье Транспонирование оснований и неопределённость в УЭ
Что я имею ввиду, когда говорю про снижение когнитивных затрат при использовании аппарата УЭ? Возьмём пару цитат Фуко ("Воля к истине: по ту сторону знания, власти и сексуальности"): «отношения власти не находятся во внешнем положении к другим типам отношений (экономическим процессам, отношениям познания, сексуальным отношениям), но имманентны им.. . Сетка отношений власти, в конечном счёте,...
Оттолкнёмся от простейшей архитектуры агента: [Сенсор] -> [Процессор] -> [Мотор]. Сенсорный поток обрабатывается процессором (афферентный синтез в Теории Функциональных Систем П.Анохина) и активирует моторы/эффекторы. (Схема ниже - типичное представление из ТФС, для УЭ слишком специфично, но идею отражает) Традиционно, неопределённость есть "неполнота информации" относительно некой нормативной...
Имя Д.Дойча много упоминается А.Левенчуком в связи с эпистемологическим подходом первого. Я не мог пройти мимо в книжном, купил "Начало бесконечности" и "Структура реальности" обе две. Сразу взялся за "Начало", потому как толще. И, наверное, зря. Эпистемологии тут нет. Но то, что есть, несколько удивило. "Начала" богаты на небезынтересные научные факты. Дойч часто цитирует Поппера,...
Онтика - объектный инвентарь, модель объектов-свойств-отношений обычно. Она абстрагирует практику. Первый уровень абстракции. Онтологически управляемая онтика - это когда для этой модели есть метамодель: концепты, обобщающие онтику. Второй уровень абстракции. Концепты часто представляются в виде других объектов, например, прямоугольничков на диаграммах или кластера векторных эмбеддингов. А как...
Управляемая эпистемология - инженерный протокол управления знанием о знании. Знание рассматривается, как состояние рефлексивного аппарата агента, которое обеспечивает его действие или определяет практики поведения в среде. Знание о знании - специфичные рефлексивные состояния, которые обеспечивают уже не практики действия в среде и со средой, а практики целесообразного изменения самого знания....