생생한 지식

생생한 지식은 특정한 종류의 지식 표현을 말한다.

생생한 지식 기반의 개념은 그 지식 기반에서 가장 간단한 해석을 얻는 것입니다. 즉, 그 해석을 암시합니다.따라서 이러한 기술 자료에 대한 쿼리는 데이터베이스와 같은 쿼리로 축소할 수 있습니다.

제안 지식 기반

제안 지식 기반 KB는 (일부 ^[1]어휘를 통해) 완전하고 일관된 리터럴 세트인 경우 생생하다.

이러한 지식 기반은 정확히 하나의 해석으로서 고유한 해석이라는 특성을 가지고 있다.문장의 수반성 검사는 단순히 리터럴로 분류할 수 있으며 KB의 간단한 데이터베이스 같은 검사로 응답할 수 있다.

1차 기술 자료

1차 지식 기반 KB는 일부 유한 세트의 양의 함수가 없는 그라운드 리터럴⁺ KB에 대해 생생하다.

KB = KB⁺ neg 부정 domain DomainClosure unique UniqueNames,

그래서

부정 { { p p는 atomic이고 KB p p } 입니다.

DomainClosure { { ( c_i c_j c ) c_i, c는_j 고유 상수입니다.}.

UniqueNames ≔ { xx : ( x = c₁ ) ( ... 。여기서₂ c는_i KB }의⁺ 모든 상수입니다.

^[2]

생생한 1차 지식 기반에 대한 모든 해석은 ^[3]동일하다.

「 」를 참조해 주세요.

• 폐쇄적 세계 가정

레퍼런스