Key points are not available for this paper at this time.
이 논문은 부사와 관련된 자연어 주장을 명확하게 표현할 수 있도록 설계된 두 가지 언어와 관련된 논리를 소개합니다: 기본 부사로 구성된 일차 논리(FOL-BA)와 범위 있는 부사로 구성된 일차 논리(FOL-SA). 이론적 사고의 핵심은 부사가 용어와 그것이 속한 명제의 나머지 부분 사이에 올 수 있어, 결과적으로 논리적으로 강한 주장을 만들어낸다는 것입니다. 이 이론을 구현하려는 과정에서 발생하는 여러 흥미로운 문제들을 설명하고, 그 중 일부는 해결책을 제공하지만 모든 문제에 대한 해결책은 아니라고 말씀드립니다. 마지막으로, 추가 연구를 위한 몇 가지 방향을 제시하며 결론을 맺습니다.
트리스탄 그뢰트베트 헤이즈(수요일)는 이 질문을 연구하였습니다.