modal logic

Three types of fuzzy modal logics about K;

关于K的三种模糊模态逻辑

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系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的。

In order to introduce the quantitatively analytical method into security protocol analysis, a protocol measurement method based on modal logic was defined.

为将量化分析方法引入安全协议分析中 ,以模态逻辑方法为基础定义了协议度量方法 ,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法 ,同时在此基础上 ,进一步地给出了对安全协议冗余进行度量及化简的方法 。

Exact generalized tautologies in fuzzy modal logic system M■uk

模糊模态逻辑系统M■uk中的可达广义重言式

Relationship between tautologies in fuzzy modal logic and valid formulas in basic modal logic is investigated.

研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系。

Brief Introduction on Dynamic Fuzzy Logic and its Applications;

动态模糊逻辑及其应用研究

The method of the combination of dynamic fuzzy logic and weighted fuzzy logic is mainly introduced.

根据目前医学诊断中存在的问题及不同医学诊断的各自特点,设计了基于模糊逻辑的计算机辅助医学诊断系统,主要介绍了其中采用的动态模糊逻辑和加权模糊逻辑相结合的方法。

According to the features of different medical diagnosis,we design the computer assistance medical diagnosis system based on the combination of dynamic fuzzy logic and weighted fuzzy logic.

介绍了不确定性推理技术中几种主要方法,根据不同医学诊断的特点,设计了基于动态模糊逻辑和加权模糊逻辑相结合的计算机辅助医学诊断系统,最后通过一个实例说明了该方法的有效性。

The formal reasoning of the fuzzy propositional modal logic based on plausibility degree is considered, and the description of the associated Kripke semantics is given.

探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述。

"" modal logical consequence in propositional modal logics K, K4, D, D4, T, S4.

研究了命题模态逻辑Ｋ，Ｋ４，Ｄ，Ｄ４，Ｔ，Ｓ４的“”型模态逻辑结果的自动推理。

Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science,but predicate modal logic is not.

目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是。

Tautologies and Quasi-Tautologies in Fuzzy Modal Logic

模糊模态逻辑中的永真式与准永真式

the modal logic of obligation and permissibility.

讨论义务与权容的模态逻辑。

the modal logic of belief and disbelief.

讨论信仰与非信仰的模态逻辑。

As soon as modal logic came into being, Quine questioned it.

模态逻辑一经产生,就遭到奎因的质疑。

the modal logic of knowledge and uncertainty and ignorance.

讨论知识,怀疑,与无知的模态逻辑。

On A.M.S Boethius "Modalities" Logic and God s Omens;

论波爱修斯的模态逻辑与上帝的预知

Problem of Rigid Assignment to Variables in Predicate Modal Logic

谓词模态逻辑中变量的严格指派问题

Research of the Related Issues Arising from Modality De Re in Modal Logic;

模态逻辑中事物模态引起的相关问题研究

He even thought that modal logic was surplus and should be abandoned.

他甚至认为模态逻辑是多余的,应予以抛弃。

the modal logic of necessity and possibility and contingency.

讨论必要性可能性与偶然性的模态逻辑。

Model Checking Web Services Based on Temporal Logic of Knowledge

基于时态认知逻辑的Web服务模型检测

Research on Operator Dynamic Fuzzy Logic System and Its Resolution

算子动态模糊逻辑系统及其归结研究

A Class of Monoids of Fuzzy Logic Systems and Homomorphic Mapping

一类模糊逻辑系统幺半群与同态映射

A new model for mining multiple time series based on temporal logic

基于时态逻辑的多时间序列挖掘模型

Comparison between the Classical Propositional and the Propositional Modal Systems

古典命题逻辑与模态命题逻辑的形式系统之比较

Alethic Model、Deontic Model and The Classic System Of Deontic Logic;

真性模态、道义模态和现代道义逻辑的经典系统

Reasoning Model of Agent and Verification System Based on Dynamic Fuzzy Logic(DFL);

基于动态模糊逻辑（DFL）的Agent推理模型及验证系统

Research on Mixed Logical Dynamical Model and Its Model Predictive Control;

混合逻辑动态建模及其模型预测控制研究