25.14 한정 논리(Circumscription)의 정의와 최소 모델 선택 원리