FOL的意思
「FOL」經常作為「First Order Logic」的縮寫來使用,中文意思:「一階邏輯」。
FOL(一階邏輯)詳細解釋
- 英文縮寫詞:FOL
- 英文單詞:First Order Logic
- 中文簡要解釋:一階邏輯
- 流行度:2015
- 分類:Academic & Science
- 領域:Mathematics
英文縮寫FOL的擴展資料
- This paper put forward a possible method about the non-revision in the first order logic.本文提出信念非修正理論在一階邏輯(FOL)中一種新的可能的實現方法。
- This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.這一結果可以用于證明一階邏輯(FOL)形式系統和我們所提出的廣義反駁方法的完備性。
- Context fusion operation is used to implement concrete context processing, and this paper uses context knowledge share and logic inference to implement it, logic inference combines first order logic and description logic.上下文融合操作用于實現具體的上下文處理,本文使用了上下文知識共享結合邏輯推理的方法來實現,邏輯推理結合了一階邏輯(FOL)和描述邏輯。
- Interpolation theorem and preservation theorem in first order logic have determined the existence of first order formula in accordance with certain conditions, their proofs in classical model theory are fairly long and hard to tackle.一階邏輯(FOL)的內插定理和保持定理確定了符合某些條件的公式的存在性,經典模型論中對這些的證明較為繁難。
- The present paper covers the application of RUE-NRF resolution to a set of generalized clauses by proposing a generalized RUE-NRF resolution method, and a proof of the completeness of this method in first order logic.本文將RUE-NRF歸結使用在廣義子句集上,提出了廣義RUE-NRF歸結方法,并證明了這一方法對于一階邏輯(FOL)的完備性;