查询词典 reasoning

In this paper, the descriptive semantics of class diagrams, interaction diagrams and state machine diagrams are defined by first order logic formulas. A translation tool is implemented and integrated with the theorem prover SPASS to enable automated reasoning about models.

本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义，并介绍我们实现的将UML模型转换成逻辑系统的软件工具LAMBDES，该工具集成了定理证明器SPASS，可以对模型进行自动推理。

It is the speculativeness of the scientific hypothesis that brings about more uncertainty to the scientific knowledge obtained through hypothesis,reasoning and argumentation.

显然，在结论与支持结论的假说之间要求演绎的逻辑关系，即它们之间必须符合正确推理的原则，但科学假设毕竟有猜测和信念的成分，那么，由它演绎出的结论在什么意义上是真的、确定的呢？

Take employ market for instance, many great companies like Mogen Stanly, Shell recruit their new staff by holding an examination with mathematic consequence, case reasoning and some other ways of checking a person's intellect.

例子：就业市场上很多自主招聘的试题数学推理、案例研究等思维能力测试都占了很大的比重；在中国，一些中学过度重视竞赛教育，这些学生绝大多数在中学后就不愿意再从事基础学科研究

This article introduced the fuzzy logic and the artificial neural networks elementary theory, then unifies both carries on the superiority supplementarily, has constructed the fault diagnosis method which one kind of artificial neural networks and the fuzzy reasoning technology unify.

本文介绍了模糊逻辑和人工神经网络的基本理论，然后将两者结合起来进行优势互补，构建了一种人工神经网络和模糊推理技术相结合的故障诊断方法。

In 1990s, with syncretic development of artificial neural networks and fuzzy logics, the application fuzzy reasoning systems is getting into identification field from controlling field.

步入九十年代，人工神经网络与模糊逻辑的融合发展，使得模糊推理系统的应用也从控制领域扩展到辨识领域。

Here, we test the hypothesis that the right temporoparietal junction, an area involved in mental state reasoning, is necessary for making moral judgments.

Liane Young及其同事使用经颅磁刺激干扰了大脑中已知处理关于信念的信息的一个区域的神经活动，然后要求20个受试者对一些行动评分，分数从1到7。

Here, we test the hypothesis that the right temporoparietal junction, an area involved in mental state reasoning, is necessary for making moral judgments.

根据最新一期《美国国家科学院学报》上的报告，MIT研究人员用磁场干扰右耳后上方的大脑&右颞颅结合区&活动，结果改变了测试者的道德判断。

Employing th e on-line measured data,off-line teste d data and fuzzy logic reasoning ,this model can be used to on-line evaluate the condition of equipment and estimate the value de-preciation by ageing or f.

根据设备在线测量和离线测试的数据，采用模糊逻辑推理方法，在线评估设备状态及其价值跌落。

This paper presents a N-R method of acquiring multi-level reasoning production rules automatically based on NN, so as to resolve the bottle neckproblem in building a knowledge - based system-knowledge acquisition. This methodadopts a characteristic NN structure model and corresponding learning algorithm, so thatN -R method can fix the number of hidden nodes dynamically and form new conceptswhich are not defined in the sample set in the course of learning. Having been trained, NNis transforme...

本文为解决知识系统构造过程中的瓶颈问题──知识获取，提出了一种基于神经网络NN的自动获取多级推理产生式规则的N－R方法，该方法采用了特有的NN结构模型和相应的学习算法，使得NN在学习过程中动态确定隐层节点数的同时，也产生了样例集中没有定义的新概念，学习后的NN能用本文提出的转换算法转换成推理网络，最终方便地得到产生式规则集

The whole researching process of hypo- thetical reasoning can be divided into two stages:the first stage from1960's to 1970's——the problem putted forward,the second stage from 1980's to today——the theory developing.

假言推理研究的进程大致可分为两个阶段：第一阶段是从20世纪60年代至70年代末——问题提出阶段，第二阶段是从80年代初至现在——理论发展阶段。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新