AB
Если совсем общО, то любое изменение состояния мы можем назвать вычислением или элементарной алгоритмической операцией.
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2021 December 07
AB
А любое состояние мы можем рассматривать как символ.
AB
Но это не про бредни Тегмарка или всякие символьные вселенные и симуляции, вычислительные вселенные и прочее.
VK
Первый раз встречаю этот термин ("гетерархия"). Но в общем да, для качественных таксономий требуется DAG, деревьев/иерархий недостаточно.
AB
Ну да, направленный граф.
AB
На самом деле, если еще более общО, то псевдограф должен быть, ну типа множественность вершин, помеченные ребра, множественность ребер и т.п.
VK
Гиперграф, так как "is" может находиться под условием и быть истинным только в части рассматриваемых возможных миров.
AB
Гиперграф это несколько иное.
Но в этом смысле, терминология по графам не совсем устоявшаяся.
Но в этом смысле, терминология по графам не совсем устоявшаяся.
AB
Под псевдографом неформально понимаю, и гиперграф и систему стрелок как в теории категорий... и т.п.
Неформально - много стрелок и никаких аксиом. )
Когда устанавливаем некоторые аксиомы, то получаем конкретные теории. Например, теорию категорий.
Неформально - много стрелок и никаких аксиом. )
Когда устанавливаем некоторые аксиомы, то получаем конкретные теории. Например, теорию категорий.
ПС
не говоря уже о том, что "is" и "extends/implements" — разные вещи
E
метаграф -- это гиперграф, в котором некоторые его ребра, участвуют как вершины в других ребрах. вроде бы самое сильное обобщение графа. в проекте opencog используется в таком виде в их базе данных atom-space
VK
Гиперграф это возможный минимум boilerplate. А если совсем без boilerplate, то получается более хитрая структура, выходящая за рамки сложившейся терминологии.
AB
Ну потому и говорю, псевдограф.
VK
Extends/implements это обкусанное is под поля и методы в самом простом (и быстром) варианте memory layout. Не под задачи представления знаний, а под "как-нибудь впихнуть".
E
аж прослезился. это как ncatlab но для детского сада
ПС
а ncatlab — это как pco.iis.nsk.ru, но для сумасшедшего дома?
E
ох уж эти нормисы )))
VK
Возможно именно оно. Чтобы работать работать с OWA и CWA утверждениями нужны конечные множества рёбер в качестве "вершин".
ПС
Тип T имеет гомотопический уровень n+1, если для любых a, a' : T тип равенства a = a' имеет гомотопический уровень n
Я заработал шиз-word pass обратно?
Я заработал шиз-word pass обратно?