Are Quantified Boolean Formulas Hard for Reason-Able Embeddings?
[ 1 ] Instytut Informatyki, Wydział Informatyki i Telekomunikacji, Politechnika Poznańska | [ P ] pracownik
2023
rozdział w monografii naukowej / referat
angielski
- artificial intelligence
- neural-symbolic reasoning
- knowledge representation
- description logics
EN We aim to establish theoretical boundaries for the applicability of reason-able embeddings, a recently proposed method employing a transferable neural reasoner to shape a latent space of knowledge graph embeddings. Since reason-able embeddings rely on the ALC description logic, we construct a dataset of the hardest concepts in ALC by translating quantified boolean formulas (QBF) from QBFLIB, a benchmark for QBF solvers. We experimentally show the dataset is hard for a symbolic reasoner FaCT++, and analyze the results of reasoning with reason-able embeddings, concluding that the dataset is too hard for them.
343 - 348
dla wszystkich w zakresie dozwolonego użytku
otwarte repozytorium
ostateczna wersja opublikowana
w momencie opublikowania
20