배변 논리학
Defeasible logic배변논리는 도날드 누테가 배변논리를 공식화하기 위해 제안한 비단조적 논리다.배변 논리학에는 다음과 같은 세 가지 종류의 명제가 있다.
- 엄격한 규칙
- 사실이 항상 다른 사실의 결과라는 것을 명시한다.
- 배변할 수 없는 규칙
- 일반적으로 사실이 다른 사실의 결과라는 것을 명시한다.
- 과소평가된 패배자들
- 배변할 수 있는 규칙에 대한 예외를 명시한다.
배변 가능한 규칙과 패배자보다 우선 순위를 정할 수 있다.공제 과정에서 엄격한 규칙이 항상 적용되는 반면, 배변은 우선 순위가 높은 배변자가 없어야 한다고 명시하는 경우에만 적용할 수 있다.
참고 항목
참조
- D. 누트(1994년).배변 가능한 논리.인공지능과 논리 프로그래밍의 논리학 핸드북에서 제3권: 비단조적 추론과 불확실한 추론, 353~395페이지.옥스퍼드 대학 출판부
- G. 안토니우, D.빌링턴, G. 노게토리, M.마허(2001년).배변 가능한 논리에 대한 표현 결과.계산논리에 관한 ACM 거래, 2:255–287.
