标签
ITA Controlled English (CE) 是一种结构化英语语言，用于定义人类和机器可读模型，CE Store 是 IBM 提供的一个用于处理 CE 的开源环境。
本文介绍了知识卡片（Knowledge Card），这是一种结构化且经过专家验证的工件，旨在表示AI系统中的知识，特别是对于代理AI，以增强透明度和可审计性。
本文综述了计算信念改变的历史和理论基础，追溯了从Doyle的分类法到AGM框架的演变，并提供了当代方法的实现路线图。
一篇探索人工智能中知识表示的文章，区分模型知识与状态知识，并讨论让计算机理解类似地址簿中那样细微上下文的挑战。
介绍了BoardroomAI，一个通过依赖感知的演进决策图实现人类可引导的多智能体审议框架，能够在人类干预后选择性修复受影响的工件。在合成干预上进行了评估，显示了效率，同时保留了未受影响的节点。
This paper investigates how different formal knowledge representation notations affect language models' syllogistic reasoning, extending FOLIO and P-FOLIO datasets and introducing the CLGC library for generating syllogisms.
本文提出了一种基于任务的评估方法，用于测量本体学习中的语义保持，比较大型语言模型在法律领域源文档与转换表示上的表现。
本文介绍了NeurOWL，一个利用大语言模型（LLM）和本体嵌入的神经符号框架，用于对不完整的OWL本体进行包含关系验证与外展推理，从而在公理缺失的情况下实现推理。
本综合综述系统性地回顾了基于图神经网络的方法在整个知识图谱流程中的应用，提出了一种新颖的两层分类法，并讨论了挑战和未来研究方向。
Kevin Kelly 认为，AI模型中的潜空间代表所有人类知识的压缩形式，这种潜空间将成为一种新的创造性媒介，使得新颖的艺术和科学探索成为可能。
本提案引入了动态概念图（Dynamic Concept Graph, DCG），这是一种混合认知架构，结合了神经表示学习、符号知识结构、多模态感知和类比推理，为人工智能提供持久且不断进化的世界模型，以解决大型语言模型中推理不一致和缺乏因果理解等局限性。
本文提出了一种基于模糊逻辑的新的回答集编程（ASP）扩展，通过隶属函数将数值信息与定性推理相结合，并通过一个旅游推荐案例研究进行了演示。
谷歌云推出开放知识格式（Open Knowledge Format，OKF），这是一种用于在Markdown文件中表示元数据和精选知识的开放规范，以改善数据共享并为AI代理提供上下文。该格式旨在使来自碎片化内部系统的知识具有可移植性和互操作性。
Google Cloud 推出了 Open Knowledge Format (OKF)，这是一个开放规范，用于标准化 LLM-Wiki 模式，以便在 Markdown 中使用 YAML 前置元数据表示结构化知识，旨在改善 AI 代理的数据共享和互操作性。
智能体指令协议（AIP）提出将 AI 智能体技能建模为带有 schema 验证 YAML 规范的有向执行图，以取代自由形式的文本指令。实验表明，AIP 编译将 Claude Sonnet 在 27 个真实智能体任务上的平均任务奖励从 0.60 提升至 0.71，通过率从 53% 提升至 67%。
本文提出了MONIR——一种模态输出规范性中间表示，旨在桥接LLM辅助的规范提取与基于ASP的合规推理，适用于技术标准领域。该框架以中国ADAS法规为实例，结合符号推理与LLM流水线，实现可解释的合规性检查。
本文认为，在多智能体 LLM 系统中，追求共识对于涉及价值判断的任务而言是不够的，并提出一种知识表示层，将智能体推理轨迹的分歧归类为四种符号状态，以实现内容审核等系统中的策略性路由。
本文介绍了一个原型框架，用于管理虚拟实验室规划中LLM生成的程序性知识的不确定性，通过使用结构化领域表示来修复不确定的程序步骤。
本文研究了大型语言模型在其生成时间分布中已有正确答案时仍产生幻觉的现象。通过引入答案可用性的语义概念，作者表明16-47%的指令调优模型幻觉发生在正确概念已经表示的情况下，并且这一比例随着模型规模增加而上升。他们指出，指令调优强化了答案承诺，使得有用性和自信幻觉成为同一枚硬币的两面。