Логический вывод
Материал из Semantic Future
Логический вывод - это принцип получения новых знаний из уже существующих путем выполнения логических умозаключений. В наиболее часто употребительном смысле считается, что знания, представленные в виде аксиомы (назовем ее X), являются логическим следствием набора существующих знаний (набора аксиом {Y}(, если X истинна во всех случаях, когда истинны все аксиомы {Y}.
Например, логическим следствием аксиом Павел человек и Все люди смертны является аксиома Павел смертен. Данная аксиома является примером логически выведенных знаний, которые следовали из исходного набора знаний, но не были представлены явно.
Подобные возможности автоматического вывода знаний, характерные для логических языков, играет важнейшую роль в Semantic Web. В частности, OWL является логическим языком, что позволяет извлекать новые аксиомы из существующих онтологий, а также проверять их согласованность (т.е. находить логические противоречия в существующих знаниях).
 |
|  |