기본 논리 기본 논리는 Raymond Reiter가 기본 추측으로 추론을 공식화하기 위해 제안한 비 단조 적 논리입니다. 기본 논리는 “기본적으로 어떤 것이 사실”과 같은 사실을 나타낼 수 있습니다. 반대로 표준 논리는 무언가가 사실이거나 무언가가 거짓임을 표현할 수 있습니다. 추론은 대개의 경우 사실이지만 항상 그런 것은 아니기 때문에 종종 문제가됩니다. 전형적인 예는 “새들이 일반적으로 날다”입니다. 이 규칙은 펭귄이… 기본 논리