완성도(지식기준)
Completeness (knowledge bases) |
지식기반에 적용되는 완전성이라는 용어는 두 가지 다른 개념을 가리킨다.
형식 논리학
형식논리에서 KB ⊭ α, KB ⊭ α α와 같은 공식 α가 없으면 지식기반 KB가 완성된다.
불완전한 지식이 있는 지식 기반 예:
KB := { A ∨ B }
그러면 KB ⊭ A 와 KB ⊭ ¬A가 있다.
어떤 경우에는 일관된 지식 기반이 폐쇄적인 세계 가정, 즉 모든 비고지 리터럴을 지식 기반에 부정으로 추가함으로써 완전하게 만들어질 수 있다.그러나 위의 예에서는 이것이 지식 기반을 일관성 없이 만들기 때문에 작동하지 않을 것이다.
KB' = { A ∨ B, ¬A, ¬B }
KB := {P(a), Q(b), Q(b), Q(b) }, KB ⊭ P(b) whereP(b)가 있는 경우, 따라서 폐쇄적인 세계 가정에서는 KB' = {P(a), ¬P(b), Q(a), Q(b) }, 여기서 KB'는 ⊨P(b) }.
데이터 관리
데이터 관리에서, 완전성 주장을 통해 KB의 일부에 대해 주장할 수 있는 완전성이 실현된다.[1][2]
예를 들어, 지식 기반은 술어 R과 S에 대한 완전한 정보를 포함할 수 있지만, 술어 T에 대해서는 어떤 것도 주장되지 않는다.그런 다음 다음 쿼리를 고려하십시오.
Q1 :- R(x), S(x) Q2 :- R(x), T(x)
쿼리 1의 경우, 지식 기반은 완전한 답을 반환하며, 그 자체로 완전한 술어만이 교차한다.질의 2의 경우, 술어 T가 잠재적으로 불완전하기 때문에 그러한 결론을 내릴 수 없다.
참고 항목
참조
- ^ "Integrity = Validity + Completeness". 1989.
{{cite journal}}:Cite 저널은 필요로 한다.journal=(도움말) - ^ Levy, Alon (1996). "Obtaining complete answers from incomplete databases".
{{cite journal}}:Cite 저널은 필요로 한다.journal=(도움말)
