Goal-Driven Reasoning in DatalogMTL with Magic Sets
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866914198659792896 |
|---|---|
| author | Wang, Shaoyu Zhao, Kaiyue Wei, Dongliang Wałęga, Przemysław Andrzej Wang, Dingmin Cai, Hongming Hu, Pan |
| author_facet | Wang, Shaoyu Zhao, Kaiyue Wei, Dongliang Wałęga, Przemysław Andrzej Wang, Dingmin Cai, Hongming Hu, Pan |
| contents | DatalogMTL is a powerful rule-based language for temporal reasoning. Due to its high expressive power and flexible modeling capabilities, it is suitable for a wide range of applications, including tasks from industrial and financial sectors. However, due to its high computational complexity, practical reasoning in DatalogMTL is highly challenging. To address this difficulty, we introduce a new reasoning method for DatalogMTL which exploits the magic sets technique -- a rewriting approach developed for (non-temporal) Datalog to simulate top-down evaluation with bottom-up reasoning. We have implemented this approach and evaluated it on publicly available benchmarks, showing that the proposed approach significantly and consistently outperformed state-of-the-art reasoning techniques. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_07259 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Goal-Driven Reasoning in DatalogMTL with Magic Sets Wang, Shaoyu Zhao, Kaiyue Wei, Dongliang Wałęga, Przemysław Andrzej Wang, Dingmin Cai, Hongming Hu, Pan Artificial Intelligence DatalogMTL is a powerful rule-based language for temporal reasoning. Due to its high expressive power and flexible modeling capabilities, it is suitable for a wide range of applications, including tasks from industrial and financial sectors. However, due to its high computational complexity, practical reasoning in DatalogMTL is highly challenging. To address this difficulty, we introduce a new reasoning method for DatalogMTL which exploits the magic sets technique -- a rewriting approach developed for (non-temporal) Datalog to simulate top-down evaluation with bottom-up reasoning. We have implemented this approach and evaluated it on publicly available benchmarks, showing that the proposed approach significantly and consistently outperformed state-of-the-art reasoning techniques. |
| title | Goal-Driven Reasoning in DatalogMTL with Magic Sets |
| topic | Artificial Intelligence |
| url | https://arxiv.org/abs/2412.07259 |