Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
본 논문은 고전적 고차 논리(HOL) 내에서 비고전 논리를 임베딩하는 지난 20년간의 연구를 검토합니다. LogiKEy 프레임워크를 통해 대상 논리 수준의 논리적 다원주의를 옹호하며, 단일 기초 논리만을 고집하는 논리적 제국주의의 위험성을 경고합니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv cs.AI의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기본 입장 성명(position statement)은 고전적 고차 논리 (HOL) 내에서 비고전 논리 (non-classical logics)의 얕은 임베딩 (shallow embeddings)에 관한 지난 20년간의 연구를 되돌아봅니다. 이 연구 흐름은 HOL 내의 다양한 논리 임베딩 (logic embeddings)으로 확장되었으며, LogiKEy 논리적 다원주의 지식 표현 및 추론 (logic-pluralistic knowledge representation and reasoning) 방법론에 영감을 주었습니다. 본 논문은 계산 형이상학 (computational metaphysics)에 근거하여, LogiKEy와 같은 통합적인 메타 논리 프레임워크 (meta-logical framework) 내에서 대상 논리 (object-logic) 수준의 논리적 다원주의 (logical pluralism)를 옹호합니다. 더 넓게는, 현대적 증명 보조기 (proof assistants)에서 논리적 다원주의에 대한 원칙적인 지원을 주장하며, 논리적 제국주의 (logical imperialism) — 대규모 이론 개발을 위해 단일한 기초 논리를 경직되게 채택하는 것 — 에 대해 경고합니다. 이러한 제국주의는 LogiKEy가 가능하도록 설계된 학제 간 재사용 (interdisciplinary reuse)을 저해합니다.