自动理论修复中的签名固化与概念变更

人类信念会变，支撑它们的概念也会变。近期的溯因、信念修正与概念变更（ABC）修复系统结合了自动理论修复的若干方法，以扩展、收缩或改革表示人工智能体概念知识的逻辑结构。本文聚焦概念变更：不仅修复逻辑概念（如哪些动物会飞）的成员关系，也修复概念本身，例如通过改变用于表示它们的逻辑理论的签名，将鸟划分为不会飞与会飞的鸟。我们给出一种自动评估 Datalog 理论签名中固化程度的方法，以将自动理论修复约束为简洁且直观的结果。形式上，签名固化度量用于表达概念知识的每个逻辑语言元素（即谓词与论元）的推断贡献，对可能修复排序以保留有价值逻辑概念并拒绝冗余或不可信的替代。这一签名固化的定量度量提供了概念变更可信度的指引，我们旨在未来工作中将其与人类的概念固化判断相对比。