原文服务方: 计算机应用研究       
摘要:
智能主体获取信念的途径主要有两种:一种为他省,通过外界交互,从其他主体获取信息;另一种为自省,通过自己的历史数据库获取相关知识.对于主体信念的描述与刻画,两种途径缺一不可,但当前的BDI理论模型中较多地为他省系统,没有做到两者相结合.其次,在当前的许多理论模型中,通常使用的是二值逻辑、经典模态逻辑或其变形系统,使得相应的逻辑系统普遍存在逻辑全知和粗精度刻画等问题.针对上述问题进行了相关研究,采用了认知时态子结构逻辑建模的方法,表达了智能主体获得"双省"信念的方式,针对其建立了相应的逻辑系统BSoET.
推荐文章
交互时态信念逻辑及其模型检测
交互时态逻辑
并发博弈结构
模型检测
知识
信念
交互时态逻辑下的三种模糊信念算子
交互时态逻辑
并发博弈结构
信念
概率时态认知逻辑模型检测中三值抽象技术的研究
三值抽象
模型检测
概率时态认知逻辑
反例
概率实时时态认知逻辑模型检测中抽象技术的研究
模型检测
概率实时时态认知逻辑
PTACTLK
状态空间爆炸
抽象
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 智能主体的信念认知时态子结构逻辑模型
来源期刊 计算机应用研究 学科
关键词 智能主体 信念 自省 他省 认知时态子结构逻辑
年,卷(期) 2010,(7) 所属期刊栏目 算法研究探讨
研究方向 页码范围 2448-2451
页数 分类号 TP393
字数 语种 中文
DOI 10.3969/j.issn.1001-3695.2010.07.012
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 汤庸 华南师范大学计算机学院 92 593 13.0 19.0
2 刘冬宁 广东工业大学计算机学院 42 183 8.0 11.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (4)
共引文献  (6)
参考文献  (4)
节点文献
引证文献  (3)
同被引文献  (10)
二级引证文献  (8)
1990(2)
  • 参考文献(1)
  • 二级参考文献(1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(2)
  • 参考文献(0)
  • 二级参考文献(2)
2006(2)
  • 参考文献(2)
  • 二级参考文献(0)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
2010(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(2)
  • 引证文献(1)
  • 二级引证文献(1)
2013(1)
  • 引证文献(0)
  • 二级引证文献(1)
2014(1)
  • 引证文献(0)
  • 二级引证文献(1)
2015(2)
  • 引证文献(0)
  • 二级引证文献(2)
2016(1)
  • 引证文献(0)
  • 二级引证文献(1)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
2019(2)
  • 引证文献(0)
  • 二级引证文献(2)
研究主题发展历程
节点文献
智能主体
信念
自省
他省
认知时态子结构逻辑
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用研究
月刊
1001-3695
51-1196/TP
大16开
1984-01-01
chi
出版文献量(篇)
21004
总下载数(次)
0
总被引数(次)
238385
论文1v1指导