1)Modal IF logic模态信息流逻辑
2)IF logic信息流逻辑
1.The study is conducted in two aspects: construction of IF logical systems which can represent IF inferences, and application of techniques of the IF theories to put forward a reasonable explanation for some issues in modern logic.信息流理论的逻辑研究主要包括两方面的工作:构造能够表征信息流推理的信息流逻辑系统和运用信息流理论的技术手段为现代逻辑研究领域中的相关问题提出合理解释。
3)Idealized IF logic理想信息流逻辑
4)logical information逻辑信息
5)modal logic模态逻辑
1.Three types of fuzzy modal logics about K;关于K的三种模糊模态逻辑
2.According to the real meaning of applying epistemic or modal logic to theoretical study on agent or multi-agent system,through detailed and strict analysis of the two basic premises upon which scholars draw their assertion of logical omniscience problem,it was argued clearly that neither of their two premises can stand.从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的。
3.In order to introduce the quantitatively analytical method into security protocol analysis, a protocol measurement method based on modal logic was defined.为将量化分析方法引入安全协议分析中 ,以模态逻辑方法为基础定义了协议度量方法 ,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法 ,同时在此基础上 ,进一步地给出了对安全协议冗余进行度量及化简的方法 。
英文短句/例句
1.Tautologies and Quasi-Tautologies in Fuzzy Modal Logic模糊模态逻辑中的永真式与准永真式
2.the modal logic of obligation and permissibility.讨论义务与权容的模态逻辑。
3.the modal logic of belief and disbelief.讨论信仰与非信仰的模态逻辑。
4.As soon as modal logic came into being, Quine questioned it.模态逻辑一经产生,就遭到奎因的质疑。
5.the modal logic of knowledge and uncertainty and ignorance.讨论知识,怀疑,与无知的模态逻辑。
6.On A.M.S Boethius "Modalities" Logic and God s Omens;论波爱修斯的模态逻辑与上帝的预知
7.Problem of Rigid Assignment to Variables in Predicate Modal Logic谓词模态逻辑中变量的严格指派问题
8.Research of the Related Issues Arising from Modality De Re in Modal Logic;模态逻辑中事物模态引起的相关问题研究
9.He even thought that modal logic was surplus and should be abandoned.他甚至认为模态逻辑是多余的,应予以抛弃。
10.the modal logic of necessity and possibility and contingency.讨论必要性可能性与偶然性的模态逻辑。
11.Model Checking Web Services Based on Temporal Logic of Knowledge基于时态认知逻辑的Web服务模型检测
12.Research on Operator Dynamic Fuzzy Logic System and Its Resolution算子动态模糊逻辑系统及其归结研究
13.A Class of Monoids of Fuzzy Logic Systems and Homomorphic Mapping一类模糊逻辑系统幺半群与同态映射
14.A new model for mining multiple time series based on temporal logic基于时态逻辑的多时间序列挖掘模型
15.Comparison between the Classical Propositional and the Propositional Modal Systems古典命题逻辑与模态命题逻辑的形式系统之比较
16.Alethic Model、Deontic Model and The Classic System Of Deontic Logic;真性模态、道义模态和现代道义逻辑的经典系统
17.Reasoning Model of Agent and Verification System Based on Dynamic Fuzzy Logic(DFL);基于动态模糊逻辑（DFL）的Agent推理模型及验证系统
18.Research on Mixed Logical Dynamical Model and Its Model Predictive Control;混合逻辑动态建模及其模型预测控制研究
相关短句/例句
IF logic信息流逻辑
1.The study is conducted in two aspects: construction of IF logical systems which can represent IF inferences, and application of techniques of the IF theories to put forward a reasonable explanation for some issues in modern logic.信息流理论的逻辑研究主要包括两方面的工作:构造能够表征信息流推理的信息流逻辑系统和运用信息流理论的技术手段为现代逻辑研究领域中的相关问题提出合理解释。
3)Idealized IF logic理想信息流逻辑
4)logical information逻辑信息
5)modal logic模态逻辑
1.Three types of fuzzy modal logics about K;关于K的三种模糊模态逻辑
2.According to the real meaning of applying epistemic or modal logic to theoretical study on agent or multi-agent system,through detailed and strict analysis of the two basic premises upon which scholars draw their assertion of logical omniscience problem,it was argued clearly that neither of their two premises can stand.从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的。
3.In order to introduce the quantitatively analytical method into security protocol analysis, a protocol measurement method based on modal logic was defined.为将量化分析方法引入安全协议分析中 ,以模态逻辑方法为基础定义了协议度量方法 ,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法 ,同时在此基础上 ,进一步地给出了对安全协议冗余进行度量及化简的方法 。
6)infological信息逻辑的
延伸阅读
模态模态modality 模态[确喊叨勿;。~OcT‘I 逻辑判断的一个性质，用以刻画该判断的确定程度.模态逻辑(确习al logiC)即是研究不同模态及它们之间的关系.Aristotie(公元前4世纪)早就研究过模态“必须”及“可能”，但他没有赋予它们一个准确的含义.该二模态被称为基本(n抑龙~扭1)模态并分别以口和今记之(或者L及M).基本模态口，今及否定，的各种组合也称为模态.如果将一个模态Q中的每一个口都改成今，又将Q中的每一个令都改成口，就得到另一个模态，记为亘，称为模态Q的对偶(d回of a nx刁aJ盛妙).在大部分模型逻辑系统中，对任一模态Q及其对偶叠，下式: Q二A<二:》，QA(，)成立. 原则上，口，令及门可以有无穷种组合;但在一个具体的模态逻辑系统中，两两不相等价的模态个数往往是有界的(因为上面的等价式(*)起作用，同时该系统中的公理也将简化某些模态，或者将某一个模态归结到另一个模态).例如，在模态逻辑系统S3中，有且仅有40个不同的模态.在S4中，仅有12个: 口A，口令A，口令口A，门口A， ，口令A，7口令口A以及它们的对偶.在55中，仅有4个模态:口A，令A，二口A，，今A.另一方面，在模态逻辑系统T，以及sl和52中，都存在无穷个模态.更有甚之，在这些系统中，不可能进行模态的归结;即，任两个正模态(不含门)Q，与QZ是等价的，当且仅当Q，=QZ· 有时，“模态”这一术语也指在不同的理论中形式化了的概念，如“真”，“可证性”，“不可证性”，有时也和时序逻辑中“将是”，“过去总是”等等联结词联系起来. 读者可参阅模态逻辑(Inodal fogic). C.K.Co6侧le。撰王驹译
