避免逻辑全知的BDI语义
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

国家自然科学基金资助项目(69773026)


BDI Semantic of Avoiding Logical Omniscience Problem
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    BDI(belief, desire, intention)是基于Agent计算的理论模型,BDI语义关系着Agent计算的发展.通过把相信划分为主观相信和客观相信,把可能世界理解为认知的不同阶段,给出具有进化特征的BDI语义.该语义既能描述Agent,又避免了"逻辑全知"问题.

    Abstract:

    BDI (belief, desire, intention) is a theoretical model based on agent computing, while its semantic is the key to the development of agent computing. The new BDI semantic is presented to have an evolution character by dividing B into subjective belief and objective belief, and by regarding possible world as a temporal stage of recognition procedure, which can describe agent and avoid the logical omniscience problem.

    参考文献
    相似文献
    引证文献
引用本文

程显毅,石纯一.避免逻辑全知的BDI语义.软件学报,2002,13(5):966-971

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2000-06-19
  • 最后修改日期:2001-05-09
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号