期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

隐式愿望及其形式化 被引量：1

Implicit Desire and Its Formalization
在线阅读 下载PDF
导出
摘要 “隐式愿望”的刻画是Agent理论研究中的一个重要课题.首先分析现有工作存在的问题,然后用逻辑语义学方法严格定义一种新的隐式愿望——pm-愿望后承,研究其主要性质并与相关工作进行比较,进而论证其合理性,包括符合直觉。 The study of Implicit Desire is essential to agent theory. This paper first analyzes insufficiency and inadequacy of the existing theories of implicit desire. Then logical semantics is employed to define a new kind of implicit desire-pm-desire consequence, to investigate its main properties, to compare it with the relevant work, and thereby to argue its rationality such as its accordance with intuitions and ability to improve the autonomy intelligent-agents, etc.
作者 周熠 陈小平
机构地区 中国科学技术大学计算机科学与技术系
出处 《软件学报》 EI CSCD 北大核心 2005年第5期771-778,共8页 Journal of Software
基金 国家自然科学基金~~
关键词 智能主体 隐式愿望 形式化 BDI模型 非标准逻辑 Artificial intelligence Formal logic
分类号 TP18 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献12

  • 1胡山立,fzu.edu.cn,石纯一.Agent的意图模型[J].软件学报,2000,11(7):965-970. 被引量：24
  • 2毛新军,王怀民,陈火旺,刘凤歧.Agent在多Agent系统中计算的意愿理论[J].软件学报,1999,10(1):43-48. 被引量：9
  • 3王文杰,田启家,史忠植.多主体系统中对其它主体的研究[J].计算机研究与发展,1998,35(11):971-974. 被引量：7
  • 4Rao AS, Georgeff MP. Modeling rational agents within a BDI-architecture. In: Allen J, et al, eds. Proc. of the 2nd Int'l Conf.(KR'91). San Mareo: Morgan Kaufmann Publishers, Inc., 1991. 473-484.
  • 5Herzig A, Longin D. C & L intention revised. In: Dubois D, et al. eds. Proc. of the 9th Int'l Conf (KR 2004). Menlo Park: AAAI Press, 2004. 527-535.
  • 6Chen XP, Liu GQ. A logic of intention. In: Dean T, ed. Proc. of the IJCAI'99. San Mateo: Morgan Kaufmann Publishers, Inc., 1999172-177.
  • 7Georgeff M, Pell B, Pollack M, Tambe M, Wooldridge M. The belief desire intention model of agency. In: Muller J, et al, eds. Proc.of the Agents, Theories, Architectures and Languages (ATAL'98). Heidelberg: Springer-Verlag, 1998. 1-10.
  • 8朱紫汝,陈小平,周熠.一个新的意图后承形式系统L_(m5c)[J].软件学报,2002,13(7):1271-1277. 被引量：3
  • 9Weld. DS. Recent advances in AI planning. AI Magazine, 1999,20(2):93-123.
  • 10Zhou Y, Chen XP. Partial implications semantics for desirable propositions. In: Dubois D, et al. eds. Proc. of the 9th Int'l Conf.(KR 2004). Menlo Park: AAAI Press, 2004. 606-611.

二级参考文献9

共引文献38

同被引文献12

  • 1Rao A S, Georgeff M P. Modeling Rational Agents within a BDI-Architecture// Proc of the 2nd International Conference on Principles of Knowledge Representation and Reasoning. San Mateo, USA: Morgan Kaufmann, 1991:473-484.
  • 2Zhao Xinyu, Lin Zuoquan. Modeling Belief, Capability and Promise for Cognitive Agents-A Modal Logic Approach // Proc of the 1st International Conference on Natural Computation. Changsha, China, 2005:825-834.
  • 3Lang J, l.iberatore P, Marquis P. Propositional Independence - Formula-Variable Independence and Forgetting. Journal of Artificial Intelligence Research. 2003, 18:391-443.
  • 4Lakemeyer G. Relevance from an Epistemic Perspective. Artificial Intelligence, 1997, 97(1/2): 137-167.
  • 5Marquis P. Novelty Revisited // Proc of the 6th International Symposium on Methodologies for Intelligent System. Charlotte, USA, 1991:550-559.
  • 6Eiter T, Gottlob G. The Complexity of Logic-Based Abduction. Journal of ACM, 1995, 42(1): 3-42.
  • 7Zhou Yi, Chen Xiaoping. Partial Implication Semantics for Desirable Propositions // Proc of the 9th International Conference on Principles of Knowledge Representation and Reasoning. Whistler, Canada, 2004:606-611.
  • 8Papadimitriou C H. Computational Complexity. New York, USA: Addison-Wesley, 1994.
  • 9van der Hoek W, Wooldrige W. Towards a Logic of Rational Agency. Logic Journal of the IGPL, 2003, 11(2): 133-157.
  • 10毛新军,王怀民,陈火旺,刘凤歧.Agent在多Agent系统中计算的意愿理论[J].软件学报,1999,10(1):43-48. 被引量：9

引证文献1

软件学报
2005年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部