Логика экзистенциализма

Тема представления фиктивных или несуществующих объектов в системах представления знаний достаточно актуальна, поскольку универсального решения для всех возникающих проблем не существует. Наша глобальная цель - сделать семантическую интерпретацию естественного языка настолько точной, насколько это возможно, и интерпретация несуществующих в реальности терминов, безусловно, является частью этого процесса. В этой статье дается полный обзор проблемы представления вымышленных и несуществующих объектов в области представления знаний. Мы анализируем существующие подходы к проблеме, как философские, так и существующие логические модели. Автор отмечает наиболее важные проблемные случаи и утверждения для каждого подхода, и нашей целью является поиск или создание модели, которая позволит нам выразить все эти предложения без нарушения целостности языка. Рассматривалась модальная логика первого порядка с добавлением оператора действительности. Дана модель двухсортного языка, которая позволила выразить все ранее собранные проблематичные предложения, не выходя полностью из диапазона первого порядка. Помимо этого была представлена еще одна модель, основанная на гибридном модальном языке, которая также служила решением, и было косвенно показано, что она при этом менее выразительна, чем другие существующие решения. В связи с тем, что реализовать полученную модель в системах представления знаний на основе AI не представляется возможным, мы используем язык OWL для создания набора утверждений и ограничений, которые формируют базовую структуру для работы с вымышленными объектами.