Proceedings 21st International Symposium on Logical and Semantic Frameworks with Applications

컴퓨터 과학의 세계를 거대하고 북적이는 도시라고 상상해 보십시오. 이 도시에는 보통 서로 거의 대화하지 않는 두 개의 주요 구역이 있습니다. 한쪽에는 수학 방정식이나 엄격한 문법처럼 완벽하고 깨지지 않는 규칙 위에 거리가 조성된 '논리 구역(Logic District)'이 있습니다. 이곳은 도시의 토대가 놓이는 곳으로, 설계도의 사소한 실수 때문에 다리가 무너지지 않도록 보장합니다. 다른 한쪽에는 컴퓨터가 수백만 개의 사례를 살펴보며 무언가를 알아내려고 노력하는, 마치 아이가 수천 장의 고양이 사진을 보고 고양이를 인식하는 법을 배우는 것과 같은 혼란스럽고 흥미진진한 '학습 구역(Learning District)'이 있습니다.

오랫동안 이 두 구역은 별개로 운영되었습니다. 논리 구역은 학습 구역이 너무 무질서하고 예측 불가능하다고 걱정했고, 학습 구역은 논리 구역이 너무 경직되고 느리다고 생각했습니다. 하지만 최근 도시 계획가들은 이 도시의 미래가 이 두 이웃이 협력하는 데 달려 있다는 것을 깨달았습니다. 그들은 학습 구역만큼 똑똑하면서도 논리 구역만큼 신뢰할 수 있는 시스템을 구축하고자 합니다. 이것이 바로 컴퓨터 과학자들을 밤잠 설치게 하는 커다란 질문입니다. 어떻게 하면 '완벽한 규칙'과 '영리한 추측'을 결합하여 강력하면서도 안전한 기술을 만들 수 있을까요?

이 논문은 본질적으로 2026년 7월 포르투갈 리스본에서 이틀간 열린 LSFA 2026이라는 최근의 도시 계획 회의에 대한 보고서입니다. 이 회의에는 엄격한 논리의 규칙과 현대 머신러닝의 유연한 특성 사이의 간극을 메우려는 전문가 그룹이 모였습니다. 이 전문가들을 강철처럼 단단하면서도 점토처럼 적응력이 뛰어난 새로운 종류의 건축 자재를 설계하려는 건축가와 엔지니어로 생각하십시오.

이 논문은 단 하나의 완성된 마천루나 모든 것을 하룻밤 사이에 해결할 마법 같은 해결책을 제시하지 않습니다. 대신, 이는 두 세계를 연결하는 다양한 방법들을 테스트하는 연구자들이 공유한 청사진, 스케치, 그리고 실험들의 모음입니다. 논의된 아이디어 중 일부는 컴퓨터가 사고하는 방식에 대한 기존의 잘 알려진 규칙들(예를 들어, 함수가 작동하는 방식을 설명하는 멋진 표현인 '람다 계산법'의 규칙들)을 가져와서, 이를 머신러닝의 새로운 복잡한 데이터들을 처리할 수 있도록 업데이트하는 방법을 포함합니다.

이 모임의 주요 시사점은 작업이 여전히 진행 중이라는 것입니다. 연구자들은 이러한 방법들을 통합하기 위해 활발히 탐구하고 있으며, 무엇이 작동하고 무엇이 작동하지 않는지 확인하기 위해 시뮬레이션을 실행하고 이론을 테스트하고 있습니다. 그들은 '잘 확립된' 기법들과 '최첨단' 머신러닝을 결합함으로써 더 나은 도구들을 만들 수 있을지도 모른다고 제안합니다. 그러나 이 논문은 이것이 목적지에 도달한 것이 아니라 발견의 여정임을 명확히 합니다. 그들은 이러한 혼합된 방법들을 실제 세상에서 어떻게 실제로 사용할 수 있는지에 대한 피드백을 수집하고 있으며, 이론은 유망해 보이지만 실질적인 적용은 여전히 파악 중이라는 점을 인정하고 있습니다. 이것은 오래된 논리의 법칙을 존중하면서도 새로운 학습의 힘을 수용하는, 새로운 종류의 지능형 기술을 위한 규칙을 쓰고자 노력하는 호기심 많은 정신들의 스냅샷입니다.