查询词典 declarative statement

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.

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

Based on the mood, a sentence can be a declarative sentence, an interrogative sentence, an imperative sentence or an interjectional sentence.

eg。 在这个领域，他是专家。

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对象，等等。

Chapter 2 is no copula declarative sentence of mediaeval Chinese.

首先探讨了"为"字的系词性、"为"字产生的动因与机制。

You, our ordinary Milesian citizen, went home after having heard one simple declarative sentence from Thales, and nothing would ever be the same again. All your life you've accepted the wisdom of the priests.

你，我们的一个普通的米利都市民，从泰勒斯那里听完这句简单的断言，就回家了，而从此以后，再没有事情会一仍旧贯。

If the title has been composed as a single declarative sentence, it can often be expanded slightly, by inclusion of the purpose of the study, the methodology or the conclusion, to yield an acceptable precis.

如果标题组成了作为唯一说明句，它可能由研究、方法学或者结论的目的包括轻微地经常扩展，产生一个可接受的摘要。

Is declarative link between source of field and receiver.

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

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。