Aktivitäten pro Jahr
Abstract
Conflict detection is relevant in various application scenarios, ranging from interactive decision-making to the diagnosis of faulty knowledge bases. Conflicts can be regarded as sets of constraints that cause an inconsistency. In many scenarios (e.g., constraint-based configuration), conflicts are repeatedly determined for the same or similar sets of constraints. This misses out on the valuable opportunity for leveraging knowledge reuse and related potential performance improvements, which are extremely important, specifically interactive constraint-based applications. In this paper, we show how to integrate knowledge reuse concepts into non-instructive conflict detection. We introduce the InformedQX algorithm, which is a reuse-aware variant of QuickXPlain. The results of a related performance analysis with the Linux-2.6.3.33 configuration knowledge base show significant improvements in terms of runtime performance compared to QuickXPlain.
Originalsprache | englisch |
---|---|
Titel | Proceedings of the 38th AAAI Conference on Artificial Intelligence |
Untertitel | Technical Tracks 14 |
Redakteure/-innen | Michael Wooldridge, Jennifer Dy, Sriraam Natarajan |
Herausgeber (Verlag) | AAAI Press |
Seiten | 10616-10623 |
Seitenumfang | 8 |
Band | 38, 9 |
ISBN (elektronisch) | 978-1-57735-887-9, 1-57735-887-2 |
ISBN (Print) | 2159-5399 |
DOIs | |
Publikationsstatus | Veröffentlicht - 25 März 2024 |
Veranstaltung | 38th AAAI Conference on Artificial Intelligence: AAAI 2024 - Vancouver Convention Centre - West Building, Vancouver, Kanada Dauer: 20 Feb. 2024 → 27 Feb. 2024 https://aaai.org/aaai-conference/ |
Konferenz
Konferenz | 38th AAAI Conference on Artificial Intelligence |
---|---|
Kurztitel | AAAI'24 |
Land/Gebiet | Kanada |
Ort | Vancouver |
Zeitraum | 20/02/24 → 27/02/24 |
Internetadresse |
ASJC Scopus subject areas
- Artificial intelligence
Fingerprint
Untersuchen Sie die Forschungsthemen von „INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems“. Zusammen bilden sie einen einzigartigen Fingerprint.Aktivitäten
- 1 Posterpräsentation
-
INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems
Viet Man Le (Redner/in)
22 Feb. 2024Aktivität: Vortrag oder Präsentation › Posterpräsentation › Science to science