您的位置： 专家智库 > >

戴细华

作品数：4 被引量：1H指数：1
供职机构：中央财经大学文化与传媒学院现代逻辑研究所更多>>
发文基金：国家社会科学基金更多>>
相关领域：哲学宗教更多>>

文献类型

  • 2篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 4篇哲学宗教

主题

  • 2篇逻辑
  • 2篇逻辑系统
  • 2篇博弈
  • 1篇形式化
  • 1篇形式化定义
  • 1篇多值逻辑
  • 1篇ILP
  • 1篇LP

机构

  • 3篇中央财经大学
  • 1篇中山大学

作者

  • 4篇戴细华

传媒

  • 2篇天津商业大学...

年份

  • 1篇2009
  • 1篇2008
  • 1篇2007
  • 1篇2006
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
逻辑系统中的语义博弈
用博弈论方法研究逻辑是从一种动态的角度来研究逻辑的方法。目前将逻辑与博弈相结合进行研究所涉及到的问题越来越广。本文考虑的是逻辑博弈中的方法之一——语义博弈,详细介绍了一阶逻辑、命题逻辑、模态逻辑中的语义博弈。
戴细华
关键词：逻辑博弈
文献传递
逻辑系统中的语义博弈
2008年
用博弈论方法研究逻辑是从一种动态的角度来研究逻辑的方法。目前将逻辑与博弈相结合进行研究所涉及的问题越来越广。本文考虑的是逻辑博弈中的方法之一——语义博弈,我们研究了命题逻辑、谓词逻辑、模态命题逻辑中的语义博弈,并且给出了语义博弈中参与者的必胜策略与真值表语义和Kripke语义下公式真假之间的关系。
戴细华
关键词：逻辑博弈
LP和ILP中的封闭世界与开放世界假设
2009年
在逻辑程序LP、归纳逻辑程序ILP及其他系统中都涉及封闭世界假设和开放世界假设。由于学科之间的差异性,或者说侧重点不一样,假设的表述并不相同。本文给出了封闭世界假设和开放世界假设的形式化定义。在经济逻辑研究中,通过形式化描述,我们可以规范问题讨论的范围。
戴细华
关键词：形式化定义
多值逻辑语义博弈
戴细华
关键词：多值逻辑
文献传递
全选 清除 导出
共1页<1>
聚类工具0