📊 Статистика дайджестов

Всего дайджестов: 35039 Добавлено сегодня: 432

Последнее обновление: сегодня
Авторы:

Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean

#### Контекст В настоящее время обработка неполных и несогласованных знаний является ключевым аспектом знаний и решения проблем в системах логических выводов и знаний. Особенно актуальным является вопрос, как установить приоритетные отношения между конфликтующими фактами в таких базах знаний. Несмотря на то, что многие работы рассматривали repair-based семантики для получения смысловых ответов на запросы к несогласованным KBs, вопрос о том, как эти отношения могут быть указаны и вычислены, остается практически неизлечим. Этот аспект мотивирует разработку декларативной регламентовой модели для установления и вычисления приоритета между конфликтующими фактами. #### Метод Мы предлагаем регламентовую модель, которая позволяет специфицировать отношения приоритета между фактами в несогласованных базах знаний. Основной компонент этой модели — правила, устанавливающие приоритеты между фактами. Мы проанализировали ситуации, когда такие правила могут привести к цикличным отношениям, и предложили методы для их разрешения, включая циклическое удаление и другие техники. Методология основывается на ответных программах, которые эффективно вычисляют наилучшее приоритетное отношение и адекватно отвечают на запросы к несогласованным KBs. #### Результаты Мы провели эксперименты, используя стандартные наборы данных в области несогласованных KBs. Наши результаты показали, что предложенная модель эффективно устанавливает приоритеты между конфликтующими фактами, решает проблему цикличности и позволяет выполнять запросы с приоритетными правилами. Мы также провели эксперименты с разными техниками удаления циклов и сравнили их эффективность. #### Значимость Предложенная модель имеет широкое применение в системах, требующих управления несогласованными знаниями, таких как автоматизированные системы решения задач, поисковые системы и решающие системы. Наш подход предоставляет преимущества в том, что он декларативен, гибкий и позволяет эффективно управлять конфликтами в знаниях. Мы ожидаем, что наше исследование может повлиять на понимание и реализацию семантик несогласованных знаний в будущих системах. #### Выводы Мы успешно развили декларативную модель для установления приоритетов между конфликтующими фактами и отображения результатов в несогласованных KBs. Дальнейшие исследования будут сфокусированы на оптимизации техник для разрешения цикличности и расширении модели для более сложных случаев.
Annotation:
Repair-based semantics have been extensively studied as a means of obtaining meaningful answers to queries posed over inconsistent knowledge bases (KBs). While several works have considered how to exploit a priority relation between facts to select optimal repairs, the question of how to specify such preferences remains largely unaddressed. This motivates us to introduce a declarative rule-based framework for specifying and computing a priority relation between conflicting facts. As the expresse...
ID: 2508.07742v1 cs.LO, cs.AI, cs.DB