Justin Kim
Logic meets intuition
Justin Kim의 개인 블로그. 뉴로-심볼릭 AI, 온톨로지, Datalog, RDF, GStreamer 등 연구 노트와 기술 에세이.
About the author and editorial principles-
ASP와 Datalog: 논리 프로그래밍의 두 가지 시선
논리 프로그래밍(Logic Programming)이라는 거대한 숲에 들어서면, 우리는 종종 유사한 형태를 지닌 두 가지 거목을 마주하게 됩니다. 바로 Datalog와 ASP(Answer Set Programming)입니다. 둘은 모두 Prolog라는 공통된 조상에서 파생되었고, 겉보기에는 문법도 매우 유사합니다. 사실상 Datalog 프로그램은 유효한 ASP 프로그램이기도 하기 때문입니다. 이 때문에 처음 접하는 사람들은 “과연 무엇이 다른가?” 혹은 “ASP가 Datalog의...
-
SPARQL의 SQL 유사성이 주는 함정, 그리고 Datalog
수정 (2026-05-13): 원래는 온톨로지 교육 맥락에서 쓴 글이었는데, LLM과 함께 Datalog를 쓰다 보니 같은 문제가 다른 형태로 반복된다는 생각이 들었습니다. 그래서 “왜 Datalog인가” 섹션을 덧붙였습니다. 온톨로지나 시맨틱 웹 세미나에서 SPARQL 문법을 처음 보여주면 개발자들은 보통 반가워합니다. SELECT, WHERE, ORDER BY가 그대로 나오니 “조인 많은 SQL이네요”라는 말이 바로 나옵니다. 그런데 이...
-
RDF 처리에 CPU와 메모리가 중요한 이유
딥러닝과 대규모 언어 모델(LLM)의 확산으로 인해 고성능 컴퓨팅의 중심이 GPU로 이동하고 있지만, RDF(Resource Description Framework) 데이터 처리와 SPARQL 쿼리 실행 영역에서는 여전히 CPU의 성능과 대규모 메모리 아키텍처가 시스템의 효율성을 결정짓는 핵심 요소입니다. 1. RDF 처리의 특성: 랜덤 액세스 패턴 GPU가 빛을 발하는 영역은 대규모 병렬 연산입니다. 정형화된 데이터를 대상으로 동일한...
-
쉐비 콜로라도 배터리 자가 교체를 위한 시뮬레이션
현재 제가 운행 중인 쉐보레 콜로라도는 덩치도 크고 공간도 넓어서 다방면으로 정말 유용하게 잘 활용하고 있는 차량입니다. 특히 요즘에는 출퇴근용으로 매일같이 운행하고 있는데, 최근 들어 부쩍 배터리 방전이 잦아졌습니다. 아침마다 출근하려는데 시동이 걸리지 않아 직접 점프 스타트 장비를 연결해 시동을 거는 일이 반복되다 보니, 여간 번거로운 것이 아니었습니다. 이제 4년...
-
S-P-O 분해 연습문제 풀이: 전력 모듈-센서 노이즈 간섭
패스트캠퍼스 오프라인 강좌에서 출제한 S-P-O 분해 연습문제의 풀이입니다. 자율주행 로봇 시나리오를 주어-술어-목적어로 분해하고, 관측 사실과 가설을 분리하는 과정을 단계별로 살펴봅니다.