이 누리집은 대한민국 공식 전자정부 누리집입니다.
- 분야
-
『정보·통신』
- 「001」검색을 포함하는 추론 과정에서, 가설과 정당화 근거 간의 의존 관계에 따라 가설을 기각하거나 채택하는 일. 일반적으로 추론에서는 몇 개의 전제에서 결론을 도출하고 이 결론이 다시 전제로 사용되어 다른 결론을 도출하는데, 이때 전제가 되는 항목은 가설이거나 예외를 포함하는 상식일 수도 있어서 항상 참일 수는 없다. 따라서 어느 전제에서 어느 결론이 도입되었다는 의존 관계를 만들고 현재 무엇이 참이라고 생각되고 있는지를 기술해 두면 변화에 대용하여 참과 거짓을 쉽게 갱신할 수 있다. 이 방법은 상식에 근거를 두고 추론을 하는 비단조 추론에서 유효하다.
대역어
- 영어
- dependency directed backtracking
