语境形式化中的演绎与归纳

发布时间：2018-06-09 16:01

  本文选题：语境形式化 + 局部语义　； 参考：《科学技术哲学研究》2017年05期

【摘要】：在人工智能的语境形式化理论中,"局部原则"可以表达为"当前推理活动发生在当前语境当中",它是一条基本原则。在此原则下,语境形式化的过程理应包含两个步骤:(1)确认当前语境的生成要素;(2)建构包含全部生成要素且在演绎规则下封闭的域。显然,第一个步骤是归纳的,第二个则是演绎的。由于缺乏上述区分,造成了已有的理论适用范围受到限制。为应对这种局面而提出的"局部语义"通过将第二个步骤从形式化过程中分离出来,拓展了语境形式化的应用领域。
[Abstract]:In the formal theory of artificial intelligence context, "local principle" can be expressed as "the current reasoning activities occur in the current context", which is a basic principle. Under this principle, the formal process of context should consist of two steps: 1) confirming the generative elements of the current context and constructing a domain which contains all the elements of generation and is closed under the deductive rules. Obviously, the first step is inductive and the second is deductive. Due to the lack of these distinctions, the scope of application of existing theories is limited. The "local semantics" proposed to deal with this situation expands the application field of contextual formalization by separating the second step from the formalization process.
【作者单位】： 南开大学哲学院;
【基金】：国家社科基金重大项目“现代归纳逻辑的新发展、理论前沿与认知研究”(15ZDB018)
【分类号】：TP18-02
，

本文编号：2000316