商超中ETP，ALC是什么意思啊？

ETP：培训计划

描述逻辑
描述逻辑(DescriptionLogic)是基于对象的知识表示的形式化，它吸取了KL-ONE的主要思想，是一阶谓词逻辑的一个可判定子集。它与一阶谓词逻辑不同的是，描述逻辑系统能提供可判定的推理服务。除了知识表示以外，描述逻辑还用在其它许多领域，它被认为是以对象为中心的表示语言的最为重要的归一形式。描述逻辑的重要特征是很强的表达能力和可判定性，它能保证推理算法总能停止，并返回正确的结果。在众多知识表示的形式化方法中，描述逻辑在十多年来受到人们的特别关注，主要原因在于：它们有清晰的模型-理论机制；很适合于通过概念分类学来表示应用领域；并提供了很用的推理服务。

由于描述逻辑在很多不同应用领域中都有较好的应用，这使得描述逻辑的结果变得越来越重要。实际上描述逻辑在许多领域中被作为知识表示的工具，如信息系统（Catarci,1993）,数据库（Borgida,1995;Bergamaschi1992;Sheth,1993）软件工程(Devambu,1991)，网络智能访问（Levy，1996；Blanco，1994）和规划（Seida,1992）。上述的许多文章中都指出，对许多相应的应用领域通常需要DL的整体能力。（Doyle1991）

描述逻辑最开始只是用来表示静态知识的。为了考虑在时间上的变化，或者在一定动作下的变化，以及保持其语言的相对简单性，很自然地我们需要通过相应的模态算子来扩展它，以保留其命题模态状态。众所周知，即使只是对简单的模态系统的综合，也可能会导致很复杂的系统。Schild，Schmiedel等人最初所构造的时序描述逻辑和认知逻辑要么就是因为表达能力太强而导致不可判定性，要么就是太弱（时态算子仅仅对公式或者概念是可用的）。Baader和Laux[2]则进行了折中，将描述逻辑ALC与多态K相结合，允许将模态算子使用到公式和概念上，并证明在扩展领域模型中的结果语言的满足性问题是可判定的。Wolter等对具有模态算子的描述逻辑进行了深入系统的调查分析，并证明在恒定的领域假设下多种认知和时序描述逻辑是可判定的。他将将描述逻辑和命题动态逻辑PDL相结合，提出了动态描述逻辑。

为了对动作和规划能在统一的框架下进行表示和推理，A.Artal