- 更多网络例句与非逻辑的相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.
经典逻辑中,Horn子句逻辑理论具有广泛的应用,因而,本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑,并证明了可靠性和完备性定理,这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。
-
To process multi-dimensional discrete data,formal concept of meta-rule including connective "AND""OR" or "NOT" was proposed.
为实现对多维离散数据的挖掘,提出了包含"与"、"或"、"非"逻辑的元规则概念模型,定义了元规则实例及相应的支持度和置信度概念。
-
There are more situations like this where Norton behaves illogically.
诺顿防火墙还有很多类似的非逻辑的情况。
-
The invention relates to NOT gate and AND gate is optical logic operation.
本发明涉及光逻辑运算的非门和与门,它们是用于实现光逻辑的"非"和"与"运算的全光器件。
-
National domestic trouble and foreign invasion facilitated the precocity of culture nationalist thought, what also caused their culture orientaton and political orientaton is alien, their thought is logic of and rather than.
国家的内忧外患促成了文化民族主义者思想的早熟,也造成了他们的文化取向和政治取向的相异,他们的思想是历史的而非逻辑的。
-
Based on our former work on agent BDI logic, multi-agent cooperation logics and multi-agent cooperative problem solving process modeling, as well as the work of Baral et al. on non-monotonic temporal logics, strong and weak exceptions were introduced to Alternating-time Temporal Logic that was the primogenitor of multi-agent cooperation logics. As a result, non-monotonic alternating-time temporal logic was developed, and its syntax and semantics were proposed.
在前期关于Agent BDI逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上,借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术,利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑进行拓展,建立非单调交互时态逻辑NATL,给出其语法和语义。
-
From the point of modern logic, the logic developed from traditional logic to classical symbolic logic then to non-classical logic.
从现代逻辑学的视野来看,逻辑学从古至今经历着从传统逻辑到经典逻辑再到非经典逻辑的发展过程。20世纪80年代以来,非经典逻辑在计算机科学和人工智能领域获得了基础性的地位。
-
The truth is, we could not say of an "unlogical" world how it would look.
也就是说,我们不能说一个&非逻辑的&世界会是什么样子。
-
The monists maintain that some content of traditional logic, dialectical logic and induction should be excluded from the field of logic, and that traditional logic should be replaced by modern logic in logic teaching.
在传统与现代之争中,不再有人对传统逻辑持诸如&传统逻辑不是逻辑&的观点,对传统逻辑加以批评的学者都是从其不科学、不严密、包含有非逻辑的内容等方面入手。
-
The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.
基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域,因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。
- 更多网络解释与非逻辑的相关的网络解释 [注:此内容来源于网络,仅供参考]
-
alogical:非逻辑的
alogia 失语症 | alogical 非逻辑的 | aloha shirt 夏威夷衬衫
-
equivocal:不明确的
它关联于是或否,而不关联于不明确的(equivocal)的意义的多元性. 我们这里所谈论的是一种逻辑行为,或者回应韩波,一种逻辑的反叛. 事件决定,为了真理,或为了显赫的(eminent)化合价,以前的逻辑将其限定在不确定的或非-化合价的领域中.
-
illegitimate:非法的/非正统的
illegal非法的 | illegitimate非法的/非正统的 | illogical不符合逻辑的
-
illogical:非逻辑的
illogic 不合逻辑 | illogical 非逻辑的 | illuminance 照度
-
immaterial:非物质的
后来的研究者为了使该名称"名副其实",试图找出这两者之间内在的逻辑联系,就将其解释为"超越自然界的科学",即关于非物质的(immaterial)科学,或者将其理解为"在掌握了有关物理世界的科学之后再学习的科学".
-
metalogic:元逻辑
至于专门讨论二者的关系的学问,殷海光认为则应当是"关于逻辑的哲学"( on the philosophy) ,但它却是"元逻辑"(metalogic) ,而非逻辑本身. 殷海光认为,如不能作这种划界,那么就势必会导致研究哲学与逻辑的关联,总是在研究哲学而不是在研究纯逻辑.
-
non sequitur:不合逻辑的推论
non compos mentis 精神不正常的 | non sequitur 不合逻辑的推论 | non verbal 非用言语的
-
NOR:或非
得到了任意斜入射双光束和三光束相互作用的精确解析解.强非局域空间光孤子的相互作用过程是其特殊情况.基于强非局域空间光孤子的相互作用原理,提出了实现光子开关、光子"同"(XNOR)和"或非"(NOR)逻辑的新理论方案,
-
NOT gate:非门
.可靠性编码:奇偶校验码,海明码,循环冗余(CRC)码(1)定义:"或"门(OR Gate)是一种能够实现"或"运算的逻辑电路. (1)定义:"与"门(AND Gate)是一种能够实现"与"运算的逻辑电路. (1)定义:"非"门(NOT Gate)是一种能够实现"非"运算的逻辑电路
-
unsocial:非社会的
在马克思看来, 这恰恰是"通过非社会的( unsocial) 、个别的利益来建立社会",在逻辑上是说不过去的,其实质是反社会的,"人的本质不是单个人( single individual)所固有的抽象物,在其现实性上, 它是一切社会关系的总和( ensemble of social relations) .