• Proposes an agent intention theory based on nonstandard modal logic.

    构造一种基于非常规模逻辑理论描述主体意图

    youdao

  • Quantified modal logic based on free logic improves classic quantified modal logic.

    自由逻辑为基础谓词逻辑是对经典模态谓词逻辑的改造。

    youdao

  • Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.

    讨论了三种时间逻辑方法:一阶谓词演算模态逻辑具体化逻辑。

    youdao

  • It relates to action logic, modal logic and other branches of logic, and makes a notable impact on them.

    涉及行动逻辑模态逻辑逻辑分枝领域产生重要影响

    youdao

  • When it comes to non binary logic, for example modal logic or probabilistic logic, humans often perform better.

    需要处理非二进制逻辑的时候,比方模态逻辑或者机率逻辑,表现得更好

    youdao

  • Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.

    其目的就是要这种模型中,态逻辑形式推理系统公理进行语义分析

    youdao

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

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

    youdao

  • As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.

    作为模态逻辑继承数理逻辑的又一外延时态逻辑断言推理则有效地解决方面出现的难题。

    youdao

  • Modal logic is quite mature at its formal technique, but its possible world semantics has many difficult in philosophical interpretations.

    建立模型对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具

    youdao

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

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

    youdao

  • A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

    对于DTMADTMA模态逻辑子集给出了一个模型验证算法证明了验证算法的可判定性。

    youdao

  • Secondly, a new semantics of pbl-normal probabilistic modal semantics is given, which is a new semantics suited for modeling probabilistic modal logic.

    其次PBL建立了正规概率语义一种适于刻画概率模态逻辑语义模型

    youdao

  • So again we have a deductively valid argument but it's not deductively valid in actually we're a lot further on in modal logical then we are in deontic logic.

    所以我们一个演绎有效论点,但是不是演绎有效的,实际上我们逻辑很多要讲的,然后我们道义逻辑。

    youdao

  • This paper also explores some rules of inference in classical logic and modal logic, and discusses the validity of these rules of inference in daily life.

    相关,考察经典逻辑和模态逻辑中的某些推理规则讨论这些推理规则日常推理中的有效性问题,是十分必要的。

    youdao

  • The present paper introduces the modal logic, and presents a new Information filtering algorithm based the study of formalization of knowledge and belief.

    本文在介绍逻辑基础上,提出了一种知识和信念进行形式化研究的汉语信息过滤算法。

    youdao

  • Accordingly, the dissertation discusses essentialism problems of modal logic in two main aspects, i. e. doctrine of possible worlds and scheme of essentialism.

    据此文章两个主要方面讨论模态逻辑中的本质主义问题可能世界学说本质主义方案

    youdao

  • With the wide application of knowledge representation and knowledge inference in Fuzzy Modal Logic, more and more people put emphasis on the study of modal logic.

    随着逻辑知识表示知识推理中的广泛应用关于模态逻辑研究越来越引起人们重视

    youdao

  • 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.

    其中一些项目,TimeRover(参考资料2002年7月专栏),使用模态逻辑和其它逻辑形式表示运行时行为深度属性

    youdao

  • The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operator set, and some corollaries are given.

    探讨了模态逻辑系统s5运算子性质进而证明关于本原运算子集的一个定理给出一些推论

    youdao

  • Back and forth method is a new tool in study of model theory and its application. This paper construct short proofs for two theorems in modal logic by back and forth method.

    向前向后方法模型及其应用研究中的新的工具本文使用向前向后方法,对模态逻辑两个定理构造了一种简单证明

    youdao

  • Because the concept of bisimulations has emerged almost at the same time in computer science, modal logic and set theory, this paper attempts to give a general definition on this concept.

    由于互模拟概念几乎同时计算机科学逻辑和集合产生本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义

    youdao

  • Then, how contemporary logic looks upon the reduction of Aristotelian modal syllogism ?

    那么现代逻辑如何看待亚式模态三段论化归呢?。

    youdao

  • Then, how contemporary logic looks upon the reduction of Aristotelian modal syllogism?

    那么现代逻辑如何看待亚式模态三段论化归呢?。

    youdao

  • This paper introduces the automatic control and modal analysis diagnostic system of a large horizontal snail machine. It includes the realization of control logic, data monitor and alarm functions.

    介绍大型自动控制模态分析诊断系统包括控制逻辑实现、完备的数据监测报警等功能。

    youdao

  • Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.

    完美信息流推理涉及模态概念理想信息逻辑类似经典命题逻辑。

    youdao

  • Constrained modal IF logic and constrained IF implication logic can both represent fallible IF inferences.

    限定态信息流逻辑系统限定信息流蕴涵逻辑能够表征容错性信息流推理

    youdao

  • Constrained modal IF logic and constrained IF implication logic can both represent fallible IF inferences.

    限定态信息流逻辑系统限定信息流蕴涵逻辑能够表征容错性信息流推理

    youdao

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定