模态是指事物或者认识的必然性和可能性等性质,模态逻辑(modal logic)是研究模态推理形式及其规律的逻辑,是自动推理研究领域中最具影响力的逻辑之一,它能够精确地描述在推理情况不确定的条件下,可能世...
基于6243个网页-相关网页
basic modal logic 基本模态逻辑
Handbook of Modal Logic 模态逻辑手册
Advanced Modal Logic 高级模态逻辑 ; 高等模态逻辑
modal logic D 模态逻辑D系统
first-order modal logic 一阶模态逻辑
first order modal logic D 一阶模态D逻辑
propositional modal logic 命题模态逻辑
philosophy of modal logic 模态逻辑哲学
Third, the dissertation investigates modal logic under set-theoretic semantics.
第三,在集合论语义下重新研究模态逻辑。
参考来源 - 非良基集与模态逻辑Some AI researchers introduce multiple modal operators to modal logic according to multiple mental states of Agent.
有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画。
参考来源 - 纤维逻辑 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
N the logical study of such philosophical concepts as necessity, possibility, contingency, etc 模态逻辑
When it comes to non binary logic, for example modal logic or probabilistic logic, humans often perform better.
当需要处理非二进制逻辑的时候，比方说 模态逻辑或者 机率逻辑，人会表现得更好。
Some of them, such as time Rover (see Resources for the July 2002 column), use modal logic and other logical formalisms to express deep attributes of run-time behavior.
其中一些项目，如Time Rover(见参考资料2002年7月专栏)，使用模态逻辑和其它逻辑形式来表示运行时行为的深度属性。
As soon as modal logic came into being, Quine questioned it.
模态逻辑一经产生，就遭到奎因的质疑。
应用推荐