제한된 비트 예산 내에서 세계 상태에 대한 불확실성을 최소화하는 시맨틱 정보를 효율적으로 전송하는 것이 핵심 목표이다.
본 논문은 Kleene 대수 테스트(GKAT)의 결정적 프로그램 부분에 대한 완전한 대수적 공리화를 제시한다. 이를 통해 GKAT 프로그램의 등가성을 효율적으로 증명할 수 있다.
논증 프레임워크에서 논증의 발화 순서를 고려하여 논증의 수용 가능성 상태를 모델링하고 추론할 수 있는 새로운 형식화 방법을 제안한다.
o-최소 이론 T의 확장인 Tconvex에서 λ-경계 약한 즉시 구성 가능 확장은 잔류 필드 부분을 확장하지 않으며, 이러한 확장들은 서로 합성될 수 있다. 이를 통해 모든 Tconvex 모델은 유일한 λ-구면 완성체를 가진다.
본 논문은 K+ 모달 논리의 정당화 논리 대응물을 제시하고, 이들 두 체계 간의 정상적인 실현 정리를 확립한다.
대규모 언어 모델의 논리적 추론 능력을 향상시키기 위해 입력 문맥에서 논리적 정보를 추출하고 확장하여 프롬프트에 통합하는 논리 기반 사고 프롬프팅 기법을 제안한다.
선언적 의미론을 통해 선형 논리의 증명을 기하학적 공간으로 표현하고, 이의 호몰로지 특성을 연구하고자 한다.
이 논문은 최소 모델 계수를 위한 새로운 지식 컴파일러 KC-min을 제안한다. KC-min은 순환 불가능한 불린 공식에 대해 #P 복잡도의 최소 모델 계수를 달성하고, 순환 불린 공식에 대해서는 정당화 개념을 활용하여 최소 모델을 추출한다.
의도적 FOL에서 개념은 정렬된 속성 목록과 연관되어 있으며, 정렬 자체도 의도적 개념이다. 자연어가 암시적으로 다양한 정렬을 가지고 있고 의도적 FOL을 자연어 응용 프로그램에 사용하려는 것이 다양한 정렬 의도적 FOL을 확장하는 주된 이유이다.
연성 제약 기반 규범에서 새로운 정보가 등장할 때 상위 수준의 규범이 하위 수준의 규범을 대체하는 선점 현상을 이해하기 위한 논증적 접근법을 제안한다.