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

从方法论的角度看动态认知逻辑的研究 被引量：3

原文传递
导出
摘要 本文主要探讨动态认知逻辑技术结果背后的思想,着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论,重点考察了归约公理的意义,揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例,说明了并非所有的逻辑算子都能找到归约公理,有时候我们需要丰富基本语言的表达力。而且,我们从如何给出一个逻辑的角度提出,动态认知逻辑实际上是在"动态化"认知逻辑,这种动态化的方法可以应用在其他静态的逻辑系统中。我们以动态偏好逻辑为例,说明了这一过程是如何实现的。
作者 刘奋荣
机构地区 清华大学哲学系
出处 《世界哲学》 CSSCI 北大核心 2010年第3期35-43,共9页 World Philosophy
基金 教育部人文社科基金青年项目<动态认知逻辑的基本理论及应用研究>(项目编号:08JC72040002) 国家社科基金青年项目<面向知识更新和信念修正的动态逻辑研究>(项目编号:09CZX033)的资助
关键词 动态认知逻辑 动态偏好逻辑 公开宣告逻辑 归约公理 动态化
分类号 B815.3 [哲学宗教—逻辑学]
  • 相关文献

参考文献20

  • 1C. Alchourron, P. Gardenfors, and D. Makinson, "On the Logic of Theory Change: Partial Meet Contraction and Revision Functions", in Journal of Symbolic Logic, 50:510 -530, 1985.
  • 2S. O. Hansson, "Changes in Preference", in Theory and Decision, 38:1 -28, 1995.
  • 3A. Baltag, L S. Moss, and S. Solecki, "The Logic of Common Knowledge, Public Announcements, and Private Suspicions", in I. Gilboa, editor, Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge ( TARK 98), pages 43 -56, 1998.
  • 4H. van Ditmarsch, W. van aer Hoek, and B. Kooi, Dynamic Epistemic Logic, Berlin: Springer, 2007.
  • 5J. van Benthem, Logical Dynamics of Information Flow, Cambridge University Press, Cambridge (to appear ) , 2009.
  • 6J. van Benthem, "Dynamic Logic for Belief Revision", in Journal of Applied Non-Classical Logic, 17 : 129 - 156, 2007.
  • 7A. Baltag and S. Smets, "Dynamic Belief Revision over Multi-agent Plausibility Models", in Proceedings of the 7th Conference on Logic and the Foundations of C, ame and Decision Theory ( LOFT 06), Liverpool, 2006.
  • 8F. Liu: Changing for the Better: Preference Dynamics and Agent Diversity, Ph. D dissertation, ILLC, University of Amsterdam. 2008.
  • 9T. Yamada, "Logical Dynamics of Some Speech Acts That Affect Obligations and Preferences", in J. van Benthem, S. Ju, and F. Veltman, editors, A Meeting of the Minds-Proceedings of the Workshop on Logic, Rationality and Interaction, pages 275 - 289, King's College Publications, 2007.
  • 10R. Fagin, J.Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, The MIT Press, 1995.

二级参考文献16

  • 1郭佳宏.研究主体信念修正的不同路径[J].暨南学报（哲学社会科学版）,2008,30(3):148-149. 被引量：1
  • 2ALCHOURRON C E, GARDENFORS P. and MAK- INSON D. On the logic of theory change: Partial meet contraction and revision functions[J]. J. Symbolic Logic 50 (1985), 510--530.
  • 3HANSSON S O. A Textbook of Belief Dynamics: Theory Change and Database Updating [M]. Kluwer Aca demic Publishers, 1999.
  • 4GILLIES A S. A New Solution to Moore Paradox[J]. Philosophical Studies 105: 237--250, Kluwer Academic Publishers, 2001.
  • 5STALNAKER R C. A Note on Nonmonotonic Modal Logic [J]. Artificial Intelligence, 1993, (64) : 183-- 196.
  • 6MOORE R C. Semantical Considerations on Nonmonotonic Logic[J]. Artificial Intelligence, 1985, (25) : 75 -- 94.
  • 7KONOLIG K. On the Relation between Default Logic and Autoepistemic Logic [J]. Artificial Intelligence, 1993,35(3) :343--354.
  • 8MAREK W, TRUSZCZYNSKI M. Nonmonotonie Logic: Context-- dependent Reasoning[M]. Springer 1993.
  • 9ARLo COSTA H. Qualitative and Probability Models of Full Belief [C]. Logic Colloquium' 98, Lecture Notes on Logic 13, S. Buss, P. Hajek, P. Pudlak (eds.), ASL, A. K. Peters, 25--43, 1999.
  • 10GUO J. Revision on Stable Sets [J]. Logic and Cognition of Online Journals, Information Network of Humanities & Social Sciences in Chinese Universities, 2006, (2) :107--132.

同被引文献63

  • 1王乃弋,李红,高山.评执行功能的问题解决理论[J].心理科学进展,2004,12(5):706-713. 被引量：15
  • 2辛自强.问题解决研究的一个世纪:回顾与前瞻[J].首都师范大学学报（社会科学版）,2004(6):101-107. 被引量：27
  • 3王庭照,张凤琴,方俊明.现代认知心理学的应用认知转向[J].陕西师范大学学报（哲学社会科学版）,2007,36(4):124-128. 被引量：7
  • 4J.-J.Ch. Meyer,W. van der Hoek. Epistemic Logic for Computer Science and Artificial Intelligence. Cambridge: Cambridge University Press, 1995.
  • 5J. Lang, L. van der Torre, E. Weydert. Hidden Uncertainty in the Logical Representation of Desires. Proceedings of the 18th Interna- tional Joint Conference on Artificial Intelligence, 2003:189-231.
  • 6李金田.《伤寒论》奠定了中医学辨证论治的基础学报,2009,26(2):5-7.
  • 7刘虎,鞠实儿.信念逻辑的逻辑全知问题[J].求是学刊,2007,34(6):31-34. 被引量：2
  • 8BENTHEM J. Semantic Parallels in Natural Language and Computation[M]. In H. D. Ebbinghaus, J. Femandez- Prida, M. Garrido, D. Lascar, and M. R. Artalejo, edi- tors, Logic Colloquium 87. North- Holland. Amsterdam. 1989 : 366 - 370.
  • 9DITMARSCH H P. The logic of knowledge games: showing acard[M].In E. Postma and M. Gyssens, editors, Pro- ceedings of BNAIC 99, pages 35 - 42.
  • 10Maastricht Universi- ty, 1999. DITMARSCH H P. Knowledge games [ D ]. Ph. D. thesis, University of Groningen,2000.

引证文献3

二级引证文献4

世界哲学
2010年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部