resolution refutation 中文意思是什麼
resolution refutation
解釋
歸結反演, 分解反駁- resolution : n 1 決心，果斷；堅定，剛毅。2 （議會等的）決定，決議（案）；【法律】〈罕用語〉判決；（疑問等的）...
- refutation : n. 駁斥，駁倒。
-
Based on the principle of resolution refutation in fl, the inferring process of first order predication logic ( fopl ) is performed and sn inference based on pn is implemented
根據形式邏輯的歸結反演原理，本文給出了一階謂詞邏輯的petri網推理的方法，實現了語義網路的petri網推理。
分享友人