Justin Kim
Logic meets intuition
Justin Kim의 개인 블로그. 뉴로-심볼릭 AI, 온톨로지, Datalog, RDF, GStreamer 등 연구 노트와 기술 에세이.
About the author and editorial principles-
Datalog를 이야기하면 왜 고정점과 온톨로지를 만나게 될까
Datalog를 설명하다 보면 이상하게도 고정점이라는 수학 용어를 피하기 어렵습니다. 사실과 규칙으로 지식을 표현하는 언어라고 소개했을 뿐인데, 어느새 최소 고정점이라는 말까지 꺼내게 됩니다. 처음 듣는 사람에게는 쉬운 이야기를 갑자기 어렵게 만드는 것처럼 보일 수 있습니다. 고정점이 등장하는 데에는 자연스러운 이유가 있습니다. 규칙으로 새로운 사실을 알아내기 시작하면 곧 마주치는 질문, “그러면 어디까지...
-
공개된 정책 파일에 서명하기:Custodian 서명
custodian 서명을 쉬운 비유로 설명하고, Wyrelog이 Datalog 정책 템플릿과 마이그레이션을 Ed25519로 검증하는 이유와 실제 구현, 운영상의 신뢰 경계를 살펴봅니다.
-
Timely Dataflow: 루프가 있는 분산 데이터플로우는 어떻게 끝을 아는가
여러 사람이 함께 과제를 한다고 생각해 봅시다. 한 사람은 자료를 찾고, 한 사람은 표를 만들고, 다른 사람은 문장을 다듬습니다. 각자 맡은 일이 끝났다고 말해도 과제 전체가 끝난 것은 아닙니다. 표를 본 사람이 “자료가 하나 더 필요하다”며 일을 앞 단계로 돌려보낼 수 있기 때문입니다. 분산 컴퓨터도 비슷합니다. 여러 워커(worker)가 데이터를 나누어...
-
DIKW 피라미드로 읽는 그래프, 지식 그래프, 그리고 온톨로지
빅데이터와 LLM 시대에 데이터(Data)를 지식(Knowledge)과 지혜(Wisdom)로 전환하는 핵심 기술인 Graph, Knowledge Graph, Ontology의 수학적·의미론적·논리적 구조를 DIKW 프레임워크 기반으로 명확히 비교하고 정립합니다.
-
Wirelog Compound Term이 필요한 이유
wirelog의 compound term이 왜 등장했는지, PyreWire 예제와 함께 시간 변화, 모순 관계, 타입 충돌을 어떻게 구조화해 다룰 수 있는지 정리합니다.