Sep, 2023

知识图谱中的可推翻推理

TL;DR人类知识存在不确定性、不精确性、不完整性和不一致性,这对语义网络构成了巨大的挑战。本文介绍了关于与不完美知识有关的直观符号和模型的研究,并将其与关于论证理论的先前工作联系起来。进一步的工作需要从 AIF 本体中汲取灵感,用直观的语法描述推理策略和战术。文章最后对于大语言模型时代的符号性方法进行了观察。