25.12 비단조 논리(Non-Monotonic Logic)의 정의와 기본 원리