A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases

#### Контекст В настоящее время обработка неполных и несогласованных знаний является ключевым аспектом знаний и решения проблем в системах логических выводов и знаний. Особенно актуальным является вопрос, как установить приоритетные отношения между конфликтующими фактами в таких базах знаний. Несмотря на то, что многие работы рассматривали repair-based семантики для получения смысловых ответов на запросы к несогласованным KBs, вопрос о том, как эти отношения могут быть указаны и вычислены, остается практически неизлечим. Этот аспект мотивирует разработку декларативной регламентовой модели для установления и вычисления приоритета между конфликтующими фактами. #### Метод Мы предлагаем регламентовую модель, которая позволяет специфицировать отношения приоритета между фактами в несогласованных базах знаний. Основной компонент этой модели — правила, устанавливающие приоритеты между фактами. Мы проанализировали ситуации, когда такие правила могут привести к цикличным отношениям, и предложили методы для их разрешения, включая циклическое удаление и другие техники. Методология основывается на ответных программах, которые эффективно вычисляют наилучшее приоритетное отношение и адекватно отвечают на запросы к несогласованным KBs. #### Результаты Мы провели эксперименты, используя стандартные наборы данных в области несогласованных KBs. Наши результаты показали, что предложенная модель эффективно устанавливает приоритеты между конфликтующими фактами, решает проблему цикличности и позволяет выполнять запросы с приоритетными правилами. Мы также провели эксперименты с разными техниками удаления циклов и сравнили их эффективность. #### Значимость Предложенная модель имеет широкое применение в системах, требующих управления несогласованными знаниями, таких как автоматизированные системы решения задач, поисковые системы и решающие системы. Наш подход предоставляет преимущества в том, что он декларативен, гибкий и позволяет эффективно управлять конфликтами в знаниях. Мы ожидаем, что наше исследование может повлиять на понимание и реализацию семантик несогласованных знаний в будущих системах. #### Выводы Мы успешно развили декларативную модель для установления приоритетов между конфликтующими фактами и отображения результатов в несогласованных KBs. Дальнейшие исследования будут сфокусированы на оптимизации техник для разрешения цикличности и расширении модели для более сложных случаев.