Resolution Algorithm - No new clauses

cs.stackexchange https://cs.stackexchange.com/questions/91244

문제

Resolution algorithm from AIMA pg 255

The standard resolution algorithm returns false if no new clauses are added.

I know that if $KB \land \neg a \implies []$, it returns true by proof by contradiction, but how can I understand the false case intuitively?

올바른 솔루션이 없습니다

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 cs.stackexchange
scroll top