Полнота (базы знаний) - Completeness (knowledge bases)
 | Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) (Узнайте, как и когда удалить этот шаблон сообщения)
|
Период, термин полнота применительно к базы знаний относится к двум различным концепциям.
Формальная логика
В формальной логике база знаний - это полная если не существует формулы α такой, что KB ⊭ α и KB ⊭ ¬α.
Пример базы знаний с неполными знаниями:
KB: = {A ∨ B}
Тогда имеем KB ⊭ A и KB ⊭ ¬A.
В некоторых случаях последовательная база знаний может быть выполнен в комплекте с предположение о закрытом мире - то есть добавление всех неотвлекаемые литералы как отрицание базы знаний. Однако в приведенном выше примере это не сработает, потому что это сделает базу знаний несовместимой:
KB '= {A ∨ 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 потенциально неполный.
Смотрите также
Рекомендации
 | Этот логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |
 | Этот база данных -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |