查询词典 logic

It's all deductive logic.

它的所有逻辑演绎。

This paper presents the abstract model and logic semantics of two-level deductive database.

本文给出了二级推理数据库的抽象模型及逻辑语义。

Your logic deductive strong, fast and smooth communication, and eloquence is very good.

你的逻辑推理性很强，交流顺畅、快速、而且口才很好。

Defeasible is mainly used in philosophy, legal philosophy , moral philosophy and logic etc.

可辩驳一词主要用在哲学、法哲学、道德哲学和逻辑学等学科。

Aiming at the dynamics and enormous incomplete information,defeasible logic that if of flexibility and robustness is proposed as negotiation language and Protocol Operation Semantic is utilized in the system as communication protocol to meet with the requirement of sequence information exchange.

针对合约市场协商的动态性和信息量大且不完全等特点，设计了灵活、鲁棒性强的可废止逻辑作为协商语言，并采用满足序列信息交换要求的POS语义作为智能体平台的通信协议。

In this study will using Defeasible Logic to observe upstream and downstream traffic flow changes of arterials and replace signal-coordination and off-set to adjust the green time.

在本研究中亦利用权衡性逻辑观察干道上下游车流量之变化，调整绿灯时间取代一般道路使用号志时差与号志连锁纾解车流之观念。

The paper presents a flexible and effective method of development of negotiating agents. A strategy specification, which is specified by a state chart and defeasible rules, can be dynamically plugged into an agent shell incorporating a state chart interpreter and a defeasible logic inference engine, in order to yield a desirable age.

智能代理技术是实现自动谈判的有效途径，本文提供灵活有效的谈判代理开发方法，使用状态图和可废止逻辑规则说明谈判策略，动态地插入到一个集状态解释器和可废止逻辑推理引擎于一体的代理壳中，就可以获得所需要的自动谈判代理nt

A strategy specification, which is specified by a state chart and defeasible rules, can be dynamically plugged into an agent shell incorporating a state chart interpreter and a defeasible logic inference engine, in order to yield a desirable agent.

使用状态图和可废止逻辑规则说明谈判策略，将其动态地插入到一个集状态解释器和可废止逻辑推理引擎于一体的代理壳中，就可以获得所需要的自动谈判代理。

The paper introduces the Points of Knowledge Inaugurated on the contribution of 《Groundwork of ZiBenWei and Chinese Information Processing》,namely: the Definiens and Taxonomy of Information,and that of Intelligence, the Rationale on Chinese, the Principle of Memory Coordinated Bilingually in Cognitive Psychology, the Principle Restricted on the Formal Theory, the Principle on Logic with Bit-List Tool,the Universal Arithmetic and Measure for language and knowledge,the Producing Teaching cooperated with the training system as Man-Com-Net, the Integrative[1] Management (of knowledge, information and data).

本文介绍《字本位与中文信息处理的基础》[3]贡献的十个知识创新点，即：信息和智的本质定义及基本分类，汉语及中文的基本原理，认知心理学双语协同存储原理，形式理论的受限原理，序位逻辑原理及工具，语言和知识的通用算法和量具，生产式教学及协同智能训练体系，（产、学、研、教、用、算）一体化管理。

The paper introduces the Points of Knowledge Inaugurated on the contribution of 《Groundwork of ZiBenWei and Chinese Information Processing》,namely: the Definiens and Taxonomy of Information,and that of Intelligence, the Rationale on Chinese, the Principle of Memory Coordinated Bilingually in Cognitive Psychology, the Principle Restricted on the Formal Theory, the Principle on Logic with Bit-List Tool,the Universal Arithmetic and Measure for language and knowledge,the Producing Teaching cooperated with the training system as Man-Com-Net, the Integrative Management (of knowledge, information and data).

本文介绍《字本位与中文信息处理的基础》贡献的十个知识创新点，即：信息和智的本质定义及基本分类，汉语及中文的基本原理，认知心理学双语协同存储原理，形式理论的受限原理，序位逻辑原理及工具，语言和知识的通用计算方法和量具，生产式教学及协同智能训练体系，（产、学、研、教、用、算）一体化管理。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。