• Askitect 프로토타입: 청사진에서 동작하는 코드로

    지난 글 Askitect를 위한 청사진: RDF로 대화 모델링하기에서 저는 LLM과 지식 그래프를 결합한 뉴로-심볼릭 대화 아키텍처의 설계도를 그려보았습니다. 사용자의 자연어를 RDF 트리플로 변환하고, 심볼릭 엔진이 누락된 정보를 감지하며, 다시 LLM이 자연스러운 질문을 생성하는 순환 루프였습니다. 설계는 제시했지만 구현체는 제시하지 못하고 있었죠. “실제로 동작하는가?”라는 질문에 답하기 위해, 이번 글을 작성하게 되었습니다....


  • [논문 리뷰] Intent-Driven UAM Scheduling: 설명 가능한 하이브리드 AI 프레임워크

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


  • 기호주의(Symbolism) 인공지능: 블랙박스를 여는 열쇠

    최근 인공지능(AI) 뉴스는 온통 딥러닝(Deep Learning)과 거대언어모델(LLM)에 대한 이야기로 가득합니다. 마치 딥러닝이 AI의 전부인 것처럼 느껴지기도 하죠. 하지만 AI의 역사를 거슬러 올라가면, 딥러닝과는 전혀 다른 철학을 가진 거대한 산맥을 만나게 됩니다. 바로 기호주의(Symbolism), 혹은 고전적 AI(GOFAI: Good Old-Fashioned AI)입니다. AI가 점점 더 강력해질수록, 역설적으로 우리는 다시 이 ‘오래된 미래’인 기호주의를...


  • ASP와 Datalog: 논리 프로그래밍의 두 가지 시선

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


  • SPARQL의 SQL 유사성이 주는 함정, 그리고 Datalog

    요즘 온톨로지와 시맨틱 웹 관련 세미나나 강연을 진행하면서 자주 느끼는 점이 하나 있습니다. 바로 SPARQL을 소개할 때 청중들의 반응입니다. SQL과 닮은 친구, SPARQL SPARQL은 문법적으로 SQL과 매우 유사합니다. SELECT, WHERE, ORDER BY 같은 키워드를 사용하기 때문에, 개발 경험이 있는 분들은 처음에 굉장히 반가워하십니다. “아, 그냥 조인(Join) 많은 SQL이구나!”라고 받아들이는 경우가...