用途:将外部RDF上下文转化为智能体的心理状态(信念、欲望、意图),用形式化BDI本体模式支持审慎推理、可解释性与多智能体系统中的语义互操作。官方描述称其适用于处理RDF上下文为信念、建模感知-审慎-行动循环、实现BDI框架(SEMAS、JADE、JADEX)、以及用逻辑增强生成(LAG)为LLM补充形式化认知结构。
主要能力:区分持续存在的心理状态(信念、欲望、意图)与产生或修改状态的心理过程(BeliefProcess、DesireProcess、IntentionProcess);用motivates/isMotivatedBy、fulfils/isFulfilledBy等双向属性构成认知链;通过WorldState grounding心理状态;用bdi:specifies连接意图与计划,用bdi:precedes排序任务;提供T2B2T(Triples-to-Beliefs-to-Triples)双向流水线;用Justification做可追溯论证;用hasValidity与TimeInterval界定时间有效性并配合SPARQL时态过滤;用hasPart实现可局部更新的组合式信念。
使用方式:资料给出六步流程——先建模世界状态,再创建信念实例,从信念派生欲望,审慎地承诺意图与计划,执行后把结果投影回RDF,最后用能力问题(competency questions)验证。资料还给出LAG提示词增强与一致校验的伪代码,以及SEMAS HEAD/CONDITIONALS/TAIL规则翻译示例。以上代码与查询示例属资料原文,实际部署需自行验证。
适用场景:需要可解释能动性、溯源推理链、多智能体心理状态协调,或需要追踪信念、欲望、意图时间演化的系统。
限制与注意:不应把它用于通用上下文窗口解释(属context-fundamentals)、纯持久记忆(属memory-systems)、多智能体拓扑决策(属multi-agent-patterns)或通用评估(属evaluation)。资料提醒避免把心理状态与世界状态混同、缺失时间边界、扁平信念结构、隐式论证、意图直接映射行动、本体过度复杂(建议从5-10个核心类开始)以及推理链超过三层。具体安装命令、价格与平台支持情况暂未提供。