巧克力秋英

描述逻辑（DL）是一个形式化知识表示语言的家族。许多DL比命题逻辑的表达能力强，但比一阶逻辑的表达能力弱。与后者相比，DL的核心推理问题（通常）是可解的，并且已经为这些问题设计和实现了有效的决策程序。有一般的、空间的、时间的、时空的和模糊的描述逻辑，每一种描述逻辑的特点是通过支持不同的数学构造器集，在表达能力和推理复杂性之间取得不同的平衡。DL在人工智能中被用来描述和推理一个应用领域的相关概念（称...

在控制系统理论中，是用于分析某些非线性控制问题的近似程序。它基于准线性化，准线性化是通过依赖于输入波形幅度的线性时不变(LTI)传递函数来研究非线性系统的近似值。根据定义，真正的LTI系统的传递函数不能依赖于输入函数的幅度，因为LTI系统是线性的。因此，这种对振幅的依赖产生了一系列线性系统，这些系统被组合起来以试图捕捉非线性系统行为的显着特征。描述函数是设计非线性系统的为数不多的广泛应用的方法之一...

植物分类学是发现、识别、描述、分类和命名植物的科学。它是分类学（发现、描述、分类和命名生物的科学）的主要分支之一。 植物分类学与植物系统学密切相关，两者之间没有明显的界限。在实践中，植物系统学涉及植物与其进化之间的关系，尤其是在较高层次上，而植物分类学涉及植物标本的实际处理。然而，分类学和系统学之间的确切关系已经随着所采用的目标和方法而改变。 植物分类学以动荡着称，传统上在分类单元的范围和位置上没...

在生物学中，分类学（源自古希腊语τìξις（taxis）'arrangement'，和-νομία(-nomia)'method'）是对生物有机体的命名、定义（划界）和分类的科学研究，基于共同特征。生物体被分为分类群（单数：taxon），这些群被赋予分类等级；给定等级的群体可以聚合以形成更具包容性的更高等级的群体，从而创建分类层次结构。现代使用的主要等级是域、界、门（在植物学中有时使用分部代替门）...