Работа Андрея Родина «Knowledge Representation with HoTT» — об использовании гомотопической теории типов для представления знания. Я слабо владею теорий типов на теоретическом уровне, чтобы обсуждать специфические моменты именно предлагаемого формализма, но сам автор обращается к эпистемологии, и тут у меня есть замечания. В сообществах, связанных с KR, бытует надежда,...
ВА: ты как-то предвзят к языку. Чтобы начать говорить и тем более передавать знание (то что можно передать) его придётся упаковать. Какая разница как. В этом смысле, язык логики или алгебры, кажется, имеет сплошные преимущества, а не наоборот. Разница существенна и это один из главных вызовов. Язык человекомерен. Но мир...
Картинка из «Рубанов В.А. Семантическая топология». Наш ответ западному онтологическому методу. Я за все годы встретил, наверно, с десяток подобных отечественных попыток разработать альтернативный онтологический метод. Не считая теорий систем, которых вообще не сосчитать и которые уже давненько вышли из научной моды. То, что сегодня считается мэйнстримом онтологической...
В своих теоретических изысканиях я, как Алёнушка из сказки, «ссылка за ссылкой» в статьях, захожу в дебри, где лежат забытые и запыленные, но очень интересные артефакты знания. Археология знания, как есть. Нынче, несколько тоннелей привели меня к книге Jane Lave «Cognition in Practice. Mind, Mathematics and Culture in Everyday Life»...
«Вся аналитическая философия сознания в мире англоязычная, у нас в этой сфере работает всего около десяти серьезных специалистов, и писать сегодня на русском языке о сознании – значит плыть против течения. Аналитическая философия непереводима в социальном смысле слова. Если хотите заниматься ею профессионально, вас ждет, например, Австралия.» FAQ по аналитической...
Я нередко употребляю понятие «эпистемическая управляемость теории». В академическом обороте я оного не видел. Оно в некотором аспекте значения обобщает такие понятия, как «несогласованность», «неполнота» или «семантическая коллизия», но к ним несводимо. Используя эти термин обычно имеют ввиду логическую согласованность, однако она может свидетельствовать лишь о качестве логической управляемости теории. Логика...
Возможно, первая целостная формулировка архитектуры исполняемого знания. Клод Шеннон, Уоррен Уивер, «Математическая теория коммуникации» 1949. «Математическая» — про вычисления, «коммуникация» — про агентный подход. В сумме, имеем одно из оснований агентно-центричной вычислительной эпистемологии. «Целостная» — не столько значит «хорошая», сколько «покрывающая весь эпистемический спектр». Покрывающая только тремя уровнями (tiers) —...
Уже многие годы, прорабатывая разные проекты (и бизнес-схемы, и эпистемические модели), вою воем от досады по поводу отсутствия хороших инструментов для моделирования. Качественное схватывание и выражение сложных доменов, вроде юриспруденции, требует своего, особого выразительного подхода. Ни один из существующих сейчас и известных мне подходов к моделированию таких доменов И инструментов...
Есть гипотеза (или уж не гипотеза, а принятый факт), что разум примата развился в человеческий в значительной мере по причине наличия рук — свободных конечностей, которые предоставляют особый манипулятивный (от manus, рука) доступ к миру. То бишь, фронтальное расположение глаз, дающее особую оптику, и возможность подносить к ним предметы руками...
Из работы на тему теории прототипов, как опереть юридический язык на «prototypical perceptual semantics» (это сами переводите): «Каким-то образом требование о том, что экземпляр концепции должен быть «подобен» прототипу (своего рода «горизонтальное» ограничение), кажется, усиливает требование о том, что образец должен быть помещен на некоторый определенный уровень иерархии концепта (своего...
