이 누리집은 대한민국 공식 전자정부 누리집입니다.
- 분야
-
『정보·통신』
-
「001」
라이터 (Reiter, R.)가 제창한 예외를 포함하는 디폴트 지식을 다루는 비단조 논리의 하나. 논리식 피(p)가 공리계와 모순되지 않는 것을 엠피(Mp)라고 표현하고, 이 엠(M)을 가진 논리식을 추론 규칙을 적용하는 조건으로만 쓴다.
관련 어휘
- 비슷한말
- 암묵^논리(暗默論理)
대역어
- 영어
- default logic
어휘 지도(마우스로 어휘 지도를 이동할 수 있습니다.)이용 도움말 바로 가기새 창 보기
