В формальной логике база знаний KB считается полной , если не существует формулы α, такой что KB ⊭ α и KB ⊭ ¬α.
В некоторых случаях непротиворечивая база знаний может быть дополнена допущением о закрытом мире , то есть добавлением в базу знаний всех не связанных литералов в качестве отрицаний. Однако в приведенном выше примере это не сработает, потому что это сделает базу знаний несогласованной:
В случае, когда KB := { P(a), Q(a), Q(b) }, KB ⊭ P(b) и KB ⊭ ¬P(b), то в предположении замкнутости мира KB' = { P(a), ¬P(b), Q(a), Q(b) }, где KB' ⊨ ¬P(b).
В управлении данными полнота — это метазнание , которое может быть подтверждено для частей базы знаний посредством утверждений о полноте. [1] [2]
Например, база знаний может содержать полную информацию для предикатов R и S, в то время как для предиката T ничего не утверждается. Затем рассмотрим следующие запросы:
Для запроса 1 база знаний вернет полный ответ, поскольку пересекаются только предикаты , которые сами являются полными. Для запроса 2 такой вывод сделать нельзя, так как предикат T потенциально неполный.