论文天下|会计论文|管理论文|计算机论文|医药学论文|经济学论文|法学论文|社会学论文|文学论文|教育论文|理科论文|工科论文|艺术论文|哲学论文|文化论文|外语论文|格式论文
论文天下
计算机应用论文  计算机理论论文  计算机网络论文  电子商务论文  软件工程论文  操作系统论文  通信技术论文   
浅论智能主体的信念认知时态子结构逻辑模型

` 摘 要:智能主体获取信念的途径主要有两种:一种为他省,通过外界交互,从其他主体获取信息;另一种为自省,通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画,两种途径缺一不可,但当前的bdi理论模型中较多地为他省系统,没有做到两者相结合。其次,在当前的许多理论模型中,通常使用的是二值逻辑、经典模态逻辑或其变形系统,使得相应的逻辑系统普遍存在逻辑全知和粗精度刻画等问题。针对上述问题进行了相关研究,采用了认知时态子结构逻辑建模的方法,表达了智能主体获得“双省”信念的方式,针对其建立了相应的逻辑系统bset。
  关键词:智能主体;信念;自省;他省;认知时态子结构逻辑
   
  substrutural lgi f epistei and teprality in belief f agent
  
  liu dng-ning1,tang yng2
  (1.shl f puter, guangdng university f tehnlgy, guangzhu 510006, hina;2.shl f puter, suth hina nral university, guangzhu 510631, hina)
  abstrat:there are t kinds f apprah t get belief as an agent. ne is extrspetiveness, hih gets infratin fr ther bdy thrugh utside interatin. the ther is intrspetiveness, hih gets infratin fr n histry database. the t ays are indispensable t desribe belief f agent. hever, nadays bdi lgis stly use extrspetiveness, nt binatin f extrspetiveness and intrspetiveness. als, st bdi lgis are usually based t-value lgi, lassial dal lgi r its transutatin, hih akes any lgi systes have prbles suh as lgi nisiene and arse depitin.fr these prbles, this paper ade se researh and put frard a substrutural lgi f epistei and teprality(bset)fusing as belief f agent.
  key rds:agent; belief; intrspetiveness; extrspetiveness; substrutural lgi f epistei and teprality
  0 引言
  为适应环境变化和协作求解,智能主体(agent)必须利用知识修改内部状态,即心智状态(ental state)。主体的心智状态为主体如何行动提供了一种解释,也就是说主体的行动是由主体的心智状态驱动的,如认知、情感、意向等。逻辑是描述主体心智状态的重要工具[1]。1990年,re[2]使用形式逻辑对主体进行了建模,并主要研究了主体拥有的知识与实现的动作之间的关系;随后hen等人[3]系统地研究了信念、目标、持续目标、意图和理性的逻辑表达和演算问题,他们的工作基于线性时态逻辑,在语义上则以kripke可能世界语义学为基础,并给出了bdi形式模型;其后,ra等人[4]提出了理想agent的bdi模型,使用了三个基本的模态算符:信念(belief)、愿望(desire)和意图(intentin)建立了主体的bdi模型;jia等人[5]针对主体是在进程级运行的程序,运用π演算描述了主体的理性和行为意图,利用π演算这种刻画通信系统的进程演算表示出主体间的交互;胡山立等人[6,7]在真假子集语义基础上通过对模型的代数结构施加一定的约束,开发了双子集语义改进模型,避免了基于正规模态逻辑表示的逻辑全知问题以及由此带来的副作用等问题。此外,knlige等人[8~13]也做了相关值得肯定的工作,遍及bdi理论研究与应用的多个领域。
  尽管bdi或类bdi模型已成为研究智能主体理论模型的主要工具,但这些模型仍普遍存在下述的一些问题:
  a)主体理论模型中普遍存在逻辑全知(lgi nisiene)[1]。
  b)重视主体间知识交互,而轻视主体内部知识或状态。
  )由经典模态逻辑或二值逻辑引起的理论模型对真实世界的刻画粗精度。
  基于此,本文针对上述问题进行了相关研究,并将研究工作聚焦于智能主体的信念,针对其作出了相关逻辑模型。考虑到对于愿望和意图,不同的应用和应用观对其有不同的看法和定义,因此本文并未进行深入研究,只着重刻画了认知和决策的关键,即信念。

未完...点击下方链接下载完整文档

浅论智能主体的信念认知时态子结构逻辑模型

` 摘 要:智能主体获取信念的途径主要有两种:一种为他省,通过外界交互,从其他主体获取信息;另一种为自省,通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画,两种途径缺一不可,但当前的bdi理论模型中较多地为他省系统,没有做到两者相结合。其次,在
  • 上一篇:浅谈计算机网络应用课程中的DHCP实验教学设计
  • 下一篇:浅析复杂网络交叠团模糊分析与信息挖掘
  • 基于LabVIEW可视化数据采集处理
    基于SOA的实验教学管理原型系统
    基于PDM技术的AGC电路设计
    计算机在儿童保健系统管理中的作
    煤矿无人工作面中视频监控系统的
    高速公路机电设备管理系统的研究
    基于多智能体的用户偏好系统研究
    基于条码技术的库存管理系统设计
    电子报刊版面设计浅谈
    关于任务驱动式教学方式在计算机
    计算机病毒及防范措施
    关于电子技术应用专业课改的设想
    基于Delphi开发平台的分布
    加强基层国库业务系统应急机制建
    运用PowerShell计算行×列表χ2
    浅论电子杂志的功能性和艺术性
    智能路灯控制系统设计与应用研
    智能软化击穿仪温控系统的设计
    基于CS5460A的智能电力控制系
    智能化系统在高层写字楼中的应
    浅论中间件技术在电子商务中的
    浅论当前软件抗衰技术中存在的
    废弃矿井的再利用——智能化停
    基于串口通信的智能大厦楼宇监
    浅论项目教学法在计算机教学中
    | 设为首页 | 加入收藏 | 联系我们 | 论文发表

    Copyright 2006-2020 © 论文天下 All rights reserved 本站所有内容均由SPider自动索引,如有侵权请联系QQ:2486851删除