본 논문은 AGM 신념 변화 패러다임을 유한 논리 너머로 확장하려는 상당한 노력에도 불구하고, AGM의 계산적 측면은 거의 다루어지지 않았다는 점을 지적합니다. 무한 논리에서 AGM 축소의 계산 가능성을 조사하여 흥미로운 부정적 결과를 보여줍니다. 즉, 이러한 논리에는 무한히 많은 계산 불가능한 AGM 축소 함수가 존재한다는 것입니다. 더욱 극적으로, 지식 상태 공간을 제한하는 것에 의존하는 현재의 사실상 표준 계산 가능성 제어 전략은 실패하며, 모든 무한 경우에서 계산 불가능성이 유지됨을 보여줍니다. 이러한 파괴적인 결과에 따라, 유한 영역을 넘어 계산 가능성을 제어하기 위한 새로운 접근 방식을 제안합니다. 선형 시간 논리(LTL)를 사례 연구로 사용하여 설계상 계산 가능한 무한한 클래스의 완전 합리적인 AGM 축소 함수를 식별합니다. Büchi 오토마타를 사용하여 이러한 함수를 구성하고 LTL 신념을 나타내고 추론합니다.
