AL
Тут без grounding не прорвёшься, разговор про Is слишком абстрактный, а предметную область computational ontologies из программистов мало кто знает. Единственный способ договориться — это примеры. Даже абстрактная wite paper не поможет, увы.
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2021 December 12
VK
Разговор про "is" достаточно конкретный, но зависит от набора известных собеседнику решений по "is". :)
AC
Так что насчёт https://t.me/typeslife/14548 ? Чтобы ближе к конкретным примерам? 😊
ПС
Ну нельзя так, в итоге просто ещё один язык программирования получим, а там же -- онтологии!
А не наша процедурщина вроде Хаскеля и F#
А не наша процедурщина вроде Хаскеля и F#
AB
в машине Тьюринга тоже онтологии?
ПС
ну конечно, ведь мы же, видимо, не можем строить абстракции, а значит, в машине Тьюринга должны быть онтологии, если мы можем их промоделировать (RDF, OWL)
AB
т.е. в изменении состояний некоторой физической системы заложены онтологии?
ПС
что ж, видимо, не всё есть синтаксис, а всё есть онтология
AB
в изменении состояний любого конечного автомата реализованного физически заложены онтологии?
AB
получается, что онтология порождение синтаксиса, не так ли? )
ПС
раз по-вашему (A -> B) -> (B -> A), то конечно
AB
AB
но морфизмы морфизмов я уважаю )
K
(A -> B) -> (B -> A)
A -> B, B
———--
A
A = False, B = True
A -> B = True (ex falso)
B = True
=> A = True
Contradiction.
A -> B, B
———--
A
A = False, B = True
A -> B = True (ex falso)
B = True
=> A = True
Contradiction.
K
По-моему, это утверждение верно не для всех B и A
AB
ПРоблема в следующем.
На самом деле под вычислением мы можем понимать любую смену состояния, любой процесс.
А коль скоро это так, то любая онтология, любой смысл есть порождение синтаксиса.
На самом деле под вычислением мы можем понимать любую смену состояния, любой процесс.
А коль скоро это так, то любая онтология, любой смысл есть порождение синтаксиса.
AB
Об этом мудрые ничего не говорили, эта истина так проста, что они, вероятно, проглядели ее.
AC
"Ещё один язык программирования" можно сказать почти про всё. Если в этом "ещё одном ЯП" абстрагированы и автоматизированы какие-то часто используемые понятия и/или механизмы -- это потенциально годный ЯП.