Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2510.25517 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866915585450835968 |
|---|---|
| author | Gentili, Elisabetta Ribeiro, Tony Riguzzi, Fabrizio Inoue, Katsumi |
| author_facet | Gentili, Elisabetta Ribeiro, Tony Riguzzi, Fabrizio Inoue, Katsumi |
| contents | In this paper, we address the problem of giving names to predicates in logic rules using Large Language Models (LLMs). In the context of Inductive Logic Programming, various rule generation methods produce rules containing unnamed predicates, with Predicate Invention being a key example. This hinders the readability, interpretability, and reusability of the logic theory. Leveraging recent advancements in LLMs development, we explore their ability to process natural language and code to provide semantically meaningful suggestions for giving a name to unnamed predicates. The evaluation of our approach on some hand-crafted logic rules indicates that LLMs hold potential for this task. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_25517 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Predicate Renaming via Large Language Models Gentili, Elisabetta Ribeiro, Tony Riguzzi, Fabrizio Inoue, Katsumi Artificial Intelligence In this paper, we address the problem of giving names to predicates in logic rules using Large Language Models (LLMs). In the context of Inductive Logic Programming, various rule generation methods produce rules containing unnamed predicates, with Predicate Invention being a key example. This hinders the readability, interpretability, and reusability of the logic theory. Leveraging recent advancements in LLMs development, we explore their ability to process natural language and code to provide semantically meaningful suggestions for giving a name to unnamed predicates. The evaluation of our approach on some hand-crafted logic rules indicates that LLMs hold potential for this task. |
| title | Predicate Renaming via Large Language Models |
| topic | Artificial Intelligence |
| url | https://arxiv.org/abs/2510.25517 |