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 是假設空間。