查非
- 作品数：5 被引量：3H指数：1
- 供职机构：南开大学哲学院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家社会科学基金高等学校全国优秀博士学位论文作者专项资金更多>>
- 相关领域：哲学宗教自然科学总论更多>>
- 状态相似性与流量限制模型
- 2011年
- 在可能世界语义中,如果根据是否含有模态算子而将一个点上为真的公式分为两类,那么可以认为不含模态算子的公式描述的是当前点的信息,其它公式描述的是其它点的信息,以及当前点与其它点的关系。通过对不同点上命题真值指派的比较,我们可以在可能世界语义模型上定义出一种状态相似性。本文构造了三类刻画状态相似性的模型,并给出了分别刻画其中两类模型的完全的系统。本文最后讨论这些模型在时态逻辑和信念逻辑中的应用。
- 查非刘虎
- 局部语言的代数结构——关于局部语义的一些一般性观察(1)被引量：2
- 2017年
- 在模态逻辑中,出于构造有穷模型这一特殊动机,用于构造过滤的公式集被设计成对所有子公式封闭的。事实上,仅就构造过滤模型而言,一个布尔代数可以经由非独立的生成子生成,因此公式集对子公式封闭是不必要的。运用子代数域的封闭算子,我们可以在命题逻辑的意义上定义一种贯彻了D.M.Armstrong的Combinatorialism本体论的可能世界模型。我们姑且称相应的理论为局部语义。不难发现,局部语义可以被应用于大多数涉及到信念状态,上下文语境的哲学逻辑领域以及人工智能领域。
- 查非
- 关键词：语境布尔代数
- 语境形式化中的演绎与归纳
- 2017年
- 在人工智能的语境形式化理论中,"局部原则"可以表达为"当前推理活动发生在当前语境当中",它是一条基本原则。在此原则下,语境形式化的过程理应包含两个步骤:(1)确认当前语境的生成要素;(2)建构包含全部生成要素且在演绎规则下封闭的域。显然,第一个步骤是归纳的,第二个则是演绎的。由于缺乏上述区分,造成了已有的理论适用范围受到限制。为应对这种局面而提出的"局部语义"通过将第二个步骤从形式化过程中分离出来,拓展了语境形式化的应用领域。
- 查非任晓明
- 刻画状态相似性的流量限制模型
- 在应用可能世界语义的各种形式化理论中，在当前状态（可能世界）上，描述当前状态本身性质的公式即是那些不带有模态算子的公式，而带有模态算子的公式则描述当前状态可达的其它状态所具有的性质。从哲学直观出发，无论形式化理论刻画了怎...
- 查非
- 关键词：逻辑学
- 人工智能和哲学逻辑视野中的局部语义被引量：1
- 2017年
- 语境与语言、推理被并列为人工智能所面临的三大挑战,涉及语词多义、领域特定话语、文本先备知识等具体的技术问题。语境在人工智能领域的形式化以语境的"命题逻辑系统"和"局部模型语义"/"多语境系统"为代表。然而,语境问题的复杂之处在于,不同的会话场景,不同的文本不能被简单地归属给一系列定制好的语境——与一个个场景和文本对应的是一个个具体的语境:它们之间既不是简单的类属关系,也不是简单的组合关系,而是呈现出明显的家族类似性。
- 查非任晓明
- 关键词：语境人工智能
