Определенный ответ

В теории баз данных и представлении знаний один из определенных ответов — это набор ответов на заданный запрос , состоящий из пересечения всех полных баз данных , соответствующих данной базе знаний. Понятие определенного ответа, изучаемое в теории баз данных с 1970-х годов, действительно определяется в контексте предположения об открытом мире , где данная база знаний считается неполной.

Интуитивно, определенные ответы — это ответы, которые всегда возвращаются при запросе к данной базе знаний , учитывая как расширенные знания, так и возможные последствия, выведенные автоматическим рассуждением , независимо от конкретной интерпретации .

Определение

В литературе совокупность тех или иных ответов обычно определяют следующим образом:

$cert_{\cap }(Q,D)=\bigcap \left\{Q(D')|D'\!\in [\![D]\!]\right\}$

где:

• $Q$ это запрос
• $D$ это неполная база данных
• $D'$ совместима ли любая полная база данных с $D$
• $[\![D]\!]$ это семантика $D$

В логике описания такой набор может быть определен аналогичным образом следующим образом:

Учитывая онтологию ${\mathcal {K}}=\langle {\mathcal {T}},{\mathcal {A}}\rangle$ и запрос $q({\vec {x}})$ на ${\mathcal {K}}$, $cert(q,{\mathcal {K}})$ это набор кортежей ${\vec {a}}\subseteq \Gamma$ так, что для каждой модели ${\mathcal {I}}$ из ${\mathcal {K}}$, у нас это есть ${\mathcal {I}}\models q[{\vec {a}}]$.

Где:

• ${\mathcal {T}}$ и ${\mathcal {A}}$ являются соответственно Tbox и Abox ;
• $\Gamma$ – алфавит констант (индивидов или значений) онтологии;
• $q[{\vec {a}}]$ получается заменой всех свободных переменных в $q({\vec {x}})$ с константами ${\vec {a}}$.

См. также

• Предположение об открытом мире
• Предположение о закрытом мире
• Полнота (базы знаний)

Дальнейшее чтение

• Поджи, Антонелла; Лембо, Доменико; Кальванезе, Диего; Де Джакомо, Джузеппе; Лензерини, Маурицио; Розати, Риккардо (2008). «Связывание данных с онтологиями» (PDF) . J. О семантике данных . Конспекты лекций по информатике. 10 : 133–173. дои : 10.1007/978-3-540-77688-8_5 . ISBN  978-3-540-77687-1 .
• Кончаков Р.; Лутц, К.; Томан, Д.; Уолтер, Ф.; Захарьящев, М. (2011). Комбинированный подход к доступу к данным на основе онтологий (PDF) . Материалы 22-й Международной совместной конференции по искусственному интеллекту (IJCAI 2011). Барселона: AAAI Press. стр. 2656–2661.
• Либкин, Леонид (январь 2011 г.). Неполная информация и некоторые ответы в общих моделях данных (PDF) . Материалы симпозиума ACM SIGACT-SIGMOD-SIGART по принципам систем баз данных. стр. 59–70. дои : 10.1145/1989284.1989294 .
• Ортис, Магдалена (январь 2013 г.). Ответы на запросы на основе онтологий: история на данный момент (PDF) . Материалы семинара CEUR. Том. 1087.
• Либкин, Леонид (2015). Как определить определенные ответы (PDF) . Материалы 24-й Международной совместной конференции по искусственному интеллекту (IJCAI 2015). Пресса АААИ. стр. 4282–4288.