База знаний - Упоминания в других статьях

На жаргоне ДЛ набор утверждений общего вида называется TBox, набор утверждений частного вида — ABox, а вмести они составляют так называемую базу знаний или онтологию. Многочисленные онтологии построены и строятся в самых различных предметных областях, таких как биоинформатика, генетика, медицина, химия, биология. Как только онтология построена, встает вопрос о том, как можно извлекать знания, следующие из содержащихся в онтологии знаний, можно ли это делать программно и каковы соответствующие алгоритмы. Все эти вопросы решаются теоретически в науке «дескрипционная логика», а практически уже реализовано множество программных систем (reasoners), которые и позволяют автоматизированно выводить знания из онтологий и производить другие операции с онтологиями.

Помимо того, что базы знаний формулируются в несколько другом языке, нежели базы данных, их главное отличие заключается в использовании в ДЛ при логическом выводе так называемого предположения об открытости мира, тогда как в базах данных принимается предположение о замкнутости мира. Последнее означает, что если некоторое утверждение не является истинным, то оно принимается ложным. Предположение же об открытости мира в этом случае считает такое утверждение ни истинным, ни ложным. Это кардинальным образом влияет на то, какие факты считаются логически следующими из заданной базы знаний, а значит, и на само понятие логического следования в ДЛ.

A.L.I.C.E. — виртуальный собеседник, программа, способная вести диалог с человеком на естественном языке. Она создана по подобию первой программы-собеседника, Элизы, и использует технику эвристического сопоставления фразы пользователя с образцами в базе знаний. A.L.I.C.E. — одна из лучших в своём роде, она три раза (в 2000, 2001, 2004 годах) становилась победителем премии Лёбнера. Несмотря на это, ни A.L.I.C.E., ни другие программы не могут пока пройти теста Тьюринга.