Нашел приличное количество публикаций на тему масштабирования логического и онтологического нормативного вывода. Проект MIREL из Университета Люксембурга, Университет Болоньи и прочие прорабатывают вопрос «как обрабатывать огромные количества данных с огромным количеством правил». Не нашёл пока работающих систем, хотя упоминания про то, что прототип вывели в коммерческую эксплуатацию, есть. Вместо заявленных...
Рекап дискуссий на канале «Управляемая эпистемология» https://t.me/anticomplexity/ Более понятные объяснения, чем в статье Транспонирование оснований и неопределённость в УЭ
Что я имею ввиду, когда говорю про снижение когнитивных затрат при использовании аппарата УЭ? Возьмём пару цитат Фуко («Воля к истине: по ту сторону знания, власти и сексуальности»): «отношения власти не находятся во внешнем положении к другим типам отношений (экономическим процессам, отношениям познания, сексуальным отношениям), но имманентны им… Сетка отношений...
когнитивные архитектуры / управляемая эпистемология
Автор: admin · Published 2021-02-16 · Last modified 2021-03-04
Оттолкнёмся от простейшей архитектуры агента: [Сенсор] -> [Процессор] -> [Мотор]. Сенсорный поток обрабатывается процессором (афферентный синтез в Теории Функциональных Систем П.Анохина) и активирует моторы/эффекторы. (Схема ниже — типичное представление из ТФС, для УЭ слишком специфично, но идею отражает) Традиционно, неопределённость есть «неполнота информации» относительно некой нормативной «полноты информации», обычно —...
ВС: В чем особенность «эпистемически управляемой онтологии»? https://t.me/anticomplexity/222 Онтика — объектный инвентарь, модель объектов-свойств-отношений обычно. Она абстрагирует практику. Первый уровень абстракции. Онтологически управляемая онтика — это когда для этой модели есть метамодель: концепты, обобщающие онтику. Второй уровень абстракции. Концепты часто представляются в виде других объектов, например, прямоугольничков на диаграммах или...
Небезынтересное видео «Битва за истину. Война эпистем» от Натальи Луковниковой и Сергея Переслегина посвящено особой ситуации противостояния знаниевых систем, разворачивающейся в США. Помимо иных замеченных дискуссионных моментов, слух резануло то, что для обозначения указанной ситуации используются термины «эпистемный конфликт», а также «эпистемический» и «эпистемологический конфликт». Термины разные, но используются они...
Определение технологии от Emmanuel Mesthene из книги «More from Less»: «организация знания для достижения практических целей». Знакомые какие обертоны. Если понятие «технология» определить через максиму управляемой эпистемологии, то определение будет звучать как «технология: структура разделяемого знания, обеспечивающая повторяемое действие». Отсюда: технологии это про структуры исполнимого знания; про повторное использование этих...
когнитивные архитектуры / управляемая эпистемология / фундаментальная теория
Автор: admin · Published 2020-09-24
1 Несмотря на броское заглавие, именно термин «сознание» в этой статье определён не будет. Уже в 2014, на излёте моих собственных исследований в рамке «теория сознания», при попытке выбора подходящего мне определения нужных понятий, я старался избавиться от него в пользу сколь-нибудь более специфичного: Определение сознания. Ряд наблюдений и выводов...
Разговоры об определении «смысла», «информации» и «сознания» в контексте ИИ-разработок всплывают регулярно, но в подавляющем большинстве случаев заканчиваются там же, где и начинались. Количество альтернативных формулировок, предлагаемых в качестве определений, может рассчитываться по формуле из анекдота: на двух исследователей 3 варианта. Ни одно определение из множества не выглядит для остальных...
Работа Андрея Родина «Knowledge Representation with HoTT» — об использовании гомотопической теории типов для представления знания. Я слабо владею теорий типов на теоретическом уровне, чтобы обсуждать специфические моменты именно предлагаемого формализма, но сам автор обращается к эпистемологии, и тут у меня есть замечания. В сообществах, связанных с KR, бытует надежда,...
