logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

Predicate Renaming via Large Language Models

delete2026-05-23
delete0
delete
OA
AI
E
Elisabetta Gentili *
T
Tony Ribeiro
F
Fabrizio Riguzzi
K
Katsumi Inoue
DOI：10.1007/s10994-026-07075-1delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

En 中文
本文针对在逻辑规则中为谓词命名的问题，使用大型语言模型（LLMs）进行研究。在归纳逻辑编程的背景下，各种规则生成方法产生的规则包含未命名的谓词，谓词发明（Predicate Invention）是一个关键示例。这阻碍了逻辑理论的可读性、可解释性和可重用性。利用LLMs发展的最新进展，我们探索其处理自然语言和代码的能力，以提供语义上有意义的建议来为未命名的谓词命名。通过对手工制作的逻辑规则的评估表明，LLMs在该任务中具有潜力。
Keyword:
Large language models
Inductive logic programming
Predicate invention
Code refactoring
AI总结

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Machine Learning 封面图
Machine Learning
IF:
2.9
论文数:
2.7K
被引数:
3.4W

机构

T
the instruction says to extract only the core institution name, but here the input is just "department of mathematics and computer science" with no higher-level institution. in such a case, there is no institution to extract. output: (empty)
学者数:
11
论文数: 8
被引数: 0
E
engineering
学者数:
1.4K
论文数: 766
被引数: 0
N
nantes universite
学者数:
1.7W
论文数: 1.2W
被引数: 125
N
national institute of informatics
学者数:
45
论文数: 43
被引数: 0
学者 查看更多机构
引用论文

引用论文

Exploring ChatGPT Capabilities and Limitations: A Survey探索ChatGPT的功能和局限性: 一项调查
errIEEE ACCESS
IF3.6
err2023-01-01
err25
errOAAI
errKoubaa, Anis; Boulila, Wadii; Ghouti, Lahouari; Alzahem, Ayyub; Latif, Shahid
err分享
err收藏
Automating string processing in spreadsheets using input-output examples
errACM SIGPLAN Notices
IF0
err2011-01-26
err0
PREAI
errSumit Gulwani
err分享
err收藏
The Appropriateness of Predicate Invention as Bias Shift Operation in ILP谓词发明的适宜性作为ILP中偏差转移操作
errMachine Learning
IF0
err1995-07-01
err0
PREAI
errStahl,Irene
err分享
err收藏
Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
errMACHINE LEARNING
IF2.9
err2015-03-12
err116
errOAAI
errMuggleton, Stephen H.; Lin, Dianhuan; Tamaddoni-Nezhad, Alireza
err分享
err收藏
Inductive logic programming
errNew Generation Computing
IF0
err1991-02-01
err0
PREAI
errStephen Muggleton
err分享
err收藏
Abductive Logic Programming
errJournal of Logic and Computation
IF0
err1992-01-01
err0
PREAI
errA. C. KAKAS; R. A. KOWALSKI; F. TONI
err分享
err收藏
Learning from interpretation transition
errMACHINE LEARNING
IF2.9
err2013-05-01
err50
errOAAI
errInoue, Katsumi; Ribeiro, Tony; Sakama, Chiaki
err分享
err收藏
THE EARLY YEARS OF LOGIC PROGRAMMING
errCOMMUNICATIONS OF THE ACM
IF12.2
err1988-01-01
err56
errOAAI
errKOWALSKI, RA
err分享
err收藏
Learning hierarchical probabilistic logic programs学习分层概率逻辑程序
errMACHINE LEARNING
IF2.9
err2021-06-15
err3
errOAAI
errFadja, Arnaud Nguembang; Riguzzi, Fabrizio; Lamma, Evelina
err分享
err收藏
Inductive reasoning in humans and large language models
errCognitive Systems Research
IF0
err2024-01-01
err0
errOAAI
errSimon Jerome Han; Keith J. Ransom; Andrew Perfors; Charles Kemp
err分享
err收藏
学者 查看更多内容