
关于
BDI(信念-愿望-意图)心智状态建模技能,用于构建具有认知架构的智能代理。
name: bdi-mental-states description: 当用户要求"建模智能体心理状态"、"实现BDI架构"、"创建信念-愿望-意图模型"、"将RDF转换为信念"、"构建认知智能体",或提及BDI本体论、心理状态建模、理性代理、神经符号AI集成时,应使用此技能。 risk: unknown source: community
BDI 心理状态建模
将外部RDF上下文转换为智能体心理状态(信念、愿望、意图),使用形式化的BDI本体论模式。此技能使智能体能够通过认知架构对上下文进行推理,支持审慎推理、可解释性以及多智能体系统中的语义互操作性。
何时使用
在以下情况下激活此技能:
- 将外部RDF上下文处理为智能体对世界状态的信念
- 使用感知、审议和行动循环建模理性代理
- 通过可追溯的推理链实现可解释性
- 实现BDI框架(SEMAS、JADE、JADEX)
- 使用形式化认知结构增强LLM(逻辑增强生成)
- 跨多智能体平台协调心理状态
- 跟踪信念、愿望和意图的时间演变
- 将动机状态链接到行动计划
核心概念
心理现实架构
心理状态(持续体):持久的认知属性
Belief:智能体认为关于世界为真的内容Desire:智能体希望实现的目标Intention:智能体承诺要达成的事项
心理过程(事件体):修改心理状态的事件
BeliefProcess:从感知中形成/更新信念DesireProcess:从信念中生成愿望IntentionProcess:将愿望承诺为可执行的意图
认知链模式
:Belief_store_open a bdi:Belief ;
rdfs:comment "Store is open" ;
bdi:motivates :Desire_buy_groceries .
:Desire_buy_groceries a bdi:Desire ;
rdfs:comment "I desire to buy groceries" ;
bdi:isMotivatedBy :Belief_store_open .
:Intention_go_shopping a bdi:Intention ;
rdfs:comment "I will buy groceries" ;
bdi:fulfils :Desire_buy_groceries ;
bdi:isSupportedBy :Belief_store_open ;
bdi:specifies :Plan_shopping .
世界状态锚定
心理状态引用环境的结构化配置:
:Agent_A a bdi:Agent ;
bdi:perceives :WorldState_WS1 ;
bdi:hasMentalState :Belief_B1 .
:WorldState_WS1 a bdi:WorldState ;
rdfs:comment "Meeting scheduled at 10am in Room 5" ;
bdi:atTime :TimeInstant_10am .
:Belief_B1 a bdi:Belief ;
bdi:refersTo :WorldState_WS1 .
目标导向规划
意图指定通过任务序列实现目标的计划:
:Intention_I1 bdi:specifies :Plan_P1 .
:Plan_P1 a bdi:Plan ;
bdi:addresses :Goal_G1 ;
bdi:beginsWith :Task_T1 ;
bdi:endsWith :Task_T3 .
:Task_T1 bdi:precedes :Task_T2 .
:Task_T2 bdi:precedes :Task_T3 .
T2B2T 范式
三元组到信念再到三元组实现RDF知识图谱与内部心理状态之间的双向流动:
阶段1:三元组到信念
# 外部RDF上下文触发信念形成
:WorldState_notification a bdi:WorldState ;
rdfs:comment "Push notification: Payment request $250" ;
bdi:triggers :BeliefProcess_BP1 .
:BeliefProcess_BP1 a bdi:BeliefProcess ;
bdi:generates :Belief_payment_request .
阶段2:信念到三元组
# 心理审议产生新的RDF输出
:Intention_pay a bdi:Intention ;
bdi:specifies :Plan_payment .
:PlanExecution_PE1 a bdi:PlanExecution ;
bdi:satisfies :Plan_payment ;
bdi:bringsAbout :WorldState_payment_complete .
按层级选择表示法
| C4层级 | 表示法 | 心理状态表示 | |--------|--------|-------------| | L1 上下文 | ArchiMate | 智能体边界、外部感知源 | | L2 容器 | ArchiMate | BDI推理引擎、信念存储、计划执行器 | | L3 组件 | UML | 心理状态管理器、过程处理器 | | L4 代码 | UML/RDF | Belief/Desire/Intention类、本体实例 |
论证与可解释性
心理实体链接到支持证据以实现可追溯推理:
:Belief_B1 a bdi:Belief ;
bdi:isJustifiedBy :Justification_J1 .
:Justification_J1 a bdi:Justification ;
rdfs:comment "Official announcement received via email" .
:Intention_I1 a bdi:Intention ;
bdi:isJustifiedBy :Justification_J2 .
:Justification_J2 a bdi:Justification ;
rdfs:comment "Location precondition satisfied" .
时间维度
心理状态在有限时间段内持续存在:
:Belief_B1 a bdi:Belief ;
bdi:hasValidity :TimeInterval_TI1 .
:TimeInterval_TI1 a bdi:TimeInterval ;
bdi:hasStartTime :TimeInstant_9am ;
bdi:hasEndTime :TimeInstant_11am .
在特定时刻查询活跃的心理状态:
SELECT ?belief ?comment WHERE {
?belief a bdi:Belief ;
bdi:hasValidity ?interval ;
rdfs:comment ?comment .
?interval bdi:hasStartTime ?start ;
bdi:hasEndTime ?end .
FILTER (?queryTime >= ?start && ?queryTime <= ?end)
}
兼容工具
Claude CodeCursor
标签
AI与机器学习