江苏省青年科技基金(BQ98028)
- 作品数:2 被引量:6H指数:1
- 相关作者:李斌朱梧槚朱朝晖张东摩更多>>
- 相关机构:南京航空航天大学更多>>
- 发文基金:江苏省青年科技基金中国航空科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于行动理论的智能体模型被引量:5
- 1999年
- 结合BDI模型和情境演算的优点构造了一个agent模型。在agent模型中,agent的心智状态由状态信念集、效应规则集、可行规则集、策略规则集和意向集组成。如果agent的心智状态是信息完全的且在流中添加情境变元,则它将成为Reiter提出的基于情境演算的行动理论,所以此agent模型既能表示agent的心智状态又能进行行动推理和规划,最后。
- 李斌张东摩朱朝晖朱梧槚
- 关键词:智能体模型情境演算
- 知识表示的F-K系统被引量:1
- 2000年
- 对经典知识表示系统 (多系统 )进行了扩充 ,引入一个刻划“大概知道”的模态词“F”,并建立了相应的公理系统 F- K,该公理系统除包含“F”外也包含经典模态词“K”。同时 ,基于滤子对经典 Kripke框架及模型进行了扩充 ,从而给出了“F”的语义 ,并证明了该语义下 F-
- 梁彦彬
- 关键词:人工智能模态逻辑知识表示