Justin Kim

최근 제가 주저자로 작성한 논문 “Intent-Driven UAM Scheduling: An Explainable Hybrid AI Framework”가 국제 학술지인 Aerospace에 게재 승인(Accept)되었습니다. (물론 저는 이미 UAM 분야를 떠난 지 오래되었습니다만, 기록 차원에서 정리해 둡니다.) UAM(도심 항공 모빌리티) 환경에서 수많은 기체의 운항을 조율하는 스케줄링(Scheduling) 과정은 안전과 효율을 결정짓는 핵심적인 요소입니다. 본 연구는 복잡한 도심 환경...

요즘 AI 이야기는 대부분 딥러닝, 그중에서도 LLM 쪽으로 쏠려 있습니다. 그런데 AI의 역사를 조금만 거슬러 올라가 보면, 지금의 주류와는 상당히 다른 철학에서 출발한 흐름이 하나 있습니다. 기호주의(Symbolism), 혹은 흔히 GOFAI(Good Old-Fashioned AI)라고 부르는 계열입니다. 개인적으로는 LLM이 강해질수록 오히려 이쪽을 다시 들여다볼 이유가 늘어난다고 느끼고 있어서, 한 번쯤 정리해두고 싶었습니다. 기호주의란...

논리 프로그래밍(Logic Programming)이라는 거대한 숲에 들어서면, 우리는 종종 유사한 형태를 지닌 두 가지 거목을 마주하게 됩니다. 바로 Datalog와 ASP(Answer Set Programming)입니다. 둘은 모두 Prolog라는 공통된 조상에서 파생되었고, 겉보기에는 문법도 매우 유사합니다. 사실상 Datalog 프로그램은 유효한 ASP 프로그램이기도 하기 때문입니다. 이 때문에 처음 접하는 사람들은 “과연 무엇이 다른가?” 혹은 “ASP가 Datalog의...

수정 (2026-05-13): 원래는 온톨로지 교육 맥락에서 쓴 글이었는데, LLM과 함께 Datalog를 쓰다 보니 같은 문제가 다른 형태로 반복된다는 생각이 들었습니다. 그래서 “왜 Datalog인가” 섹션을 덧붙였습니다. 온톨로지나 시맨틱 웹 세미나에서 SPARQL 문법을 처음 보여주면 개발자들은 보통 반가워합니다. SELECT, WHERE, ORDER BY가 그대로 나오니 “조인 많은 SQL이네요”라는 말이 바로 나옵니다. 그런데 이...

딥러닝과 대규모 언어 모델(LLM)의 확산으로 인해 고성능 컴퓨팅의 중심이 GPU로 이동하고 있지만, RDF(Resource Description Framework) 데이터 처리와 SPARQL 쿼리 실행 영역에서는 여전히 CPU의 성능과 대규모 메모리 아키텍처가 시스템의 효율성을 결정짓는 핵심 요소입니다. 1. RDF 처리의 특성: 랜덤 액세스 패턴 GPU가 빛을 발하는 영역은 대규모 병렬 연산입니다. 정형화된 데이터를 대상으로 동일한...