查询词典 declarative sentence

Aimed to two major problems: one is not decidable and the other is no clear semantics. We construct a framework with explicit representation and formal semantics of goalsgoal description logics, which integrates two types of goals: declarative goals and procedural goals into one concept based on description logics. In addition, the goal plan is defined and analyzed, and some reasoning problems, such as goal consistency and goal satisfiability, are discussed. Contrary to traditional ways of goal description, GDLs can bridge the gap between theory and practice in a natural way.

针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题，在描述逻辑(description logics，DLs)上，将宣称型和过程型2种类型的目标描述有机地整合在一起，从而构建了具有清晰语义与可判定性的形式化框架--目标描述逻辑(goal description logics， GDLs)，在此基础上，定义了该框架下有关规划规则；建立了可用于判定目标一致性、目标可满足性的方法，与传统的目标描述方法相比，目标描述逻辑为主体领域模型提供了一种更有力的形式化工具，同时为智能主体的模型和设计提供了很好的理论工具。

A declarative used to make a request is an indirect speech act.

申报用于制造要求是间接言语行为。

A KBS is a software application with an explicit, declarative de script ion of knowledge for a certain application.

KBS是一个显性的，为某个特定应用知识的申明性描述的软件应用。

MetaRuby - MetaRuby contains miscellaneous libraries for a future Ruby-in-Ruby interpreter including Array/Hash/String as abstract classes, an undo queue, a statistical time-profiler, an event loop, a modular marshaller (\"ToSource\"), a specification for a modular+reflexive+homoiconic remote call system, a declarative type system, a schema for expressing Ruby source code as proper (non-special) Ruby objects, etc.

MetaRuby含有复杂库，用于未来Ruby-in-Ruby翻译器，包括作为抽象类的阵列、散列和字符串，一个撤销队列，一个统计时间配置文件，一个事件循环，一个模块整理器（\"ToSource\"），一个用于模块＋自反＋相同图标的远程访问系统的说明，一个说明型系统，一个用于把Ruby源代码表达成固有Ruby对象，等等。

MetaRuby contains miscellaneous libraries for a future Ruby-in-Ruby interpreter including Array/Hash/String as abstract classes, an undo queue, a statistical time-profiler, an event loop, a modular marshaller, a specification for a modular+reflexive+homoiconic remote call system, a declarative type system, a schema for expressing Ruby source code as proper (non-special) Ruby objects, etc.

MetaRuby含有复杂库，用于未来Ruby-in-Ruby翻译器，包括作为抽象类的阵列、散列和字符串，一个撤销队列，一个统计时间配置文件，一个事件循环，一个模块整理器，一个用于模块＋自反＋相同图标的远程访问系统的说明，一个说明型系统，一个用于把Ruby源代码表达成固有Ruby对象，等等。

Is declarative link between source of field and receiver.

接收器包括外地和接收传感器

Practice removing any traces of tentativeness from your vocabulary and be declarative when you speak.

练习在讲话时去掉那些显示不太有把握的词汇，试着更明确、干脆。

Our previous study indicates that Tob in the hippocampal CA1 region is involved in declarative learning and memories that require the hippocampus.

前面的工作表明，Tob参与海马依赖性的陈述性学习和记忆的巩固。

The present study investigates if Tob is important for non-declarative learning and memory, namely, motor learning and coordination that require the cerebellum.

本工作试图观察Tob是否参与小脑依赖性的非陈述性学习和记忆：运动学习和运动协调。

Domain is represented in a declarative formalism, the set of objects that can be represented is+ called the universe of discourse.

当某个领域的知识以声明的形式表示时，那些可以表示的对象的集合就称为universe of discourse。

The small blue capacitor has very high chances to go fully shorted compare to electrolytic capacitor which is very rare.

小蓝电容器具有很高的机会去充分地缩短了比较电解电容器，这是非常罕见的。

In the Italian campaigns of 1513 and 1515, when the Swiss won the victories of Novara and Marignan, he acted as army chaplain.

在意大利的运动， 1513年和1515年，当瑞士赢得了胜利，诺瓦拉和marignan ，他担任军队的牧师。