您的位置： 专家智库 > >

萧瑶

作品数：1 被引量：0H指数：0
供职机构：遵义师范学院政经系更多>>
相关领域：哲学宗教更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇哲学宗教

主题

  • 1篇信念
  • 1篇知识

机构

  • 1篇遵义师范学院

作者

  • 1篇萧瑶

传媒

  • 1篇毕节学院学报...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一个基于顺序条件函数的信念逻辑系统
2009年
经典的信念逻辑系统SKD45只能处理信念的表示与推理,而无法同时处理知识与信念。在对可能世界排序,给出顺序条件函数的基础上,将知识当作一种特殊的信念,建立一个新的信念逻辑系统SSBR,并给出完全性的证明。
萧瑶
关键词：知识信念
全选 清除 导出
共1页<1>
聚类工具0