本文選題：語境形式化 + 局部語義��； 參考：《科學(xué)技術(shù)哲學(xué)研究》2017年05期

【摘要】：在人工智能的語境形式化理論中,"局部原則"可以表達(dá)為"當(dāng)前推理活動發(fā)生在當(dāng)前語境當(dāng)中",它是一條基本原則。在此原則下,語境形式化的過程理應(yīng)包含兩個步驟:(1)確認(rèn)當(dāng)前語境的生成要素;(2)建構(gòu)包含全部生成要素且在演繹規(guī)則下封閉的域。顯然,第一個步驟是歸納的,第二個則是演繹的。由于缺乏上述區(qū)分,造成了已有的理論適用范圍受到限制。為應(yīng)對這種局面而提出的"局部語義"通過將第二個步驟從形式化過程中分離出來,拓展了語境形式化的應(yīng)用領(lǐng)域。
[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.
【作者單位】： 南開大學(xué)哲學(xué)院;
【基金】：國家社科基金重大項目“現(xiàn)代歸納邏輯的新發(fā)展、理論前沿與認(rèn)知研究”(15ZDB018)
【分類號】：TP18-02
，

本文編號：2000316