통합검색

새 사실을 알게 되면, 결론을 철회할 수 있을까요?

존 매카시의 「Circumscription—A Form of Non-Monotonic Reasoning」(1980)을 따라, 특정 술어를 사실이 요구하는 만큼만 최소화하고 새 정보에 따라 잠정 결론을 철회하는 비단조 추론을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

John McCarthy, Circumscription—A Form of Non-Monotonic Reasoning (1980)

잠정 48건과 확정 52건, 어느 값을 언제 써야 할까?

잠정값·확정값·공개 단계·보고 목적을 바꾸어 현재 보고값, 변경 폭, 빠진 상태 표지와 허용 문장을 함께 고칩니다.

Provisional Data Statement

보통 그렇다는 규칙은 예외 정보가 오면 멈춘다

일반적으로 성립하는 경향은 개별 사례의 잠정 판단을 돕지만, 관련된 예외 정보가 들어오면 그 판단을 중단하고 다시 확인해야 한다.

‘일단 해보자’는 최종 결정일까, 시험 운영 합의일까?

근거 단계·결정 권한·남은 이견·재검토 일정을 바꾸어 제안, 잠정 합의, 최종 결정과 안전한 회의 기록 문장을 구분합니다.

Sharing the Care Plan: Brief

새로운 예외가 들어오면 결론을 거둘 수 있는 논리가 필요할까?

Reiter의 기본 논리를 바탕으로, 정보가 부족할 때 내린 잠정 결론을 예외 정보가 들어오면 철회하는 비단조 추론을 살펴봅니다.

A Logic for Default Reasoning