Полнота (базы знаний)

Термин «полнота» применительно к базам знаний относится к двум различным концепциям.

Формальная логика

В формальной логике база знаний KB является полной , если не существует формулы α такой, что KB ⊭ α и KB ⊭ ¬α.

Пример базы знаний с неполными знаниями:

КБ := { А ∨ Б }

Тогда имеем KB ⊭ A и KB ⊭ ¬A.

В некоторых случаях непротиворечивая база знаний может быть дополнена предположением о закрытом мире , то есть добавлением всех невытекающих литералов в качестве отрицаний в базу знаний. Однако в приведенном выше примере это не сработает, поскольку это сделает базу знаний противоречивой:

KB' = { А ∨ B, ¬A, ¬B }

В случае, когда 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 ничего не утверждается. Затем рассмотрим следующие запросы:

 Q1 :- R(x), S(x)
 Q2 :- R(x), T(x)

Для запроса 1 база знаний вернет полный ответ, поскольку только те предикаты пересекаются , которые сами являются полными. Для запроса 2 такой вывод сделать невозможно, поскольку предикат T потенциально неполный.

См. также

Ссылки

^ «Целостность = Валидность + Полнота». 1989. {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )
^ Леви, Алон (1996). «Получение полных ответов из неполных баз данных». {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )

Эта логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее .

Эта базам данных статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее .

[Motro1989-1] «Целостность = Валидность + Полнота». 1989. {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )

[Levy1996-2] Леви, Алон (1996). «Получение полных ответов из неполных баз данных». {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )

[ 1 ]

[ 2 ]