formal logic analysis

基本解釋

We extend the semantics and reasoning rules of the belief logic BAN, and formal analysis of TEENP is presented using logic BAN.
擴(kuò)充了類BAN信任邏輯的語義和邏輯推理規(guī)則，并用信任邏輯BAN對(duì)其進(jìn)行了形式化分析。
First, Fuzzy formal concept analysis introduces the fuzzy logic into formal concept analysis to construct fuzzy concept lattice.
首先，模糊形式概念分析將模糊邏輯嵌入形式概念分析以構(gòu)成模糊概念格。
But the formal logic analysis system can validate it in a credible and strict way before protocol was applied, it is one of the most promising way for protocol checking.
而形式化邏輯分析方法可以在協(xié)議實(shí)施之前就用嚴(yán)格可靠的方法對(duì)其進(jìn)行分析驗(yàn)證，是一個(gè)最有前途的研究方法。