25.13 기본 논리(Default Logic)의 형식적 정의와 확장(Extension) 개념