WikiEdge:ArXiv-2408.12212/terms

编辑

这篇文章的术语表如下：

• 程序合成（Program Synthesis）：程序合成的目标是根据一组输入输出示例自动生成计算机程序。
• 归纳逻辑编程（Inductive Logic Programming, ILP）：归纳逻辑编程是一种程序合成方法，它使用逻辑程序来表示数据和学习到的程序，通过归纳推理来找出能够泛化示例的程序。
• 关系表示（Relational Representation）：关系表示是一种将数据和程序表示为逻辑关系的方法，与函数式表示相对，它强调实体之间的关系而非单个实体的状态。
• 抽象和推理数据集（Abstraction and Reasoning Corpus, ARC）：抽象和推理数据集是一个用于评估学习系统进行抽象推理和问题解决能力的基准测试，包含多种任务，如模式识别、几何变换、颜色操作或计数。
• 列表函数（List Functions）：列表函数是一类程序合成任务，目标是识别一个函数，该函数能够将输入列表映射到输出列表，列表元素为自然数。
• 关系分解（Relational Decomposition）：关系分解是一种方法，它将复杂的功能合成任务分解为更简单的关系合成子任务。
• 逻辑程序（Logic Program）：逻辑程序是一组具有最小Herbrand模型语义的确定性子句集合，用于表示背景知识和程序。
• 合成任务（Synthesis Task）：合成任务是一个元组 (E, H)，其中 E 是示例集合，H 是程序集合，目标是找到一个程序 p 满足所有 E 中的示例。
• ILP 任务（ILP Task）：ILP 任务是一个元组 (E+, E−, B, H)，其中 E+ 和 E− 分别是正例和反例的集合，B 是背景知识，H 是假设空间。