现实世界是一个变化的世界.不同的时间下，世界呈现不同的状态.在任何领域，变化是一个永恒的主题。如何在计算机中表示动态变化的过程是一个复杂并且值得深入研究的问题.本文主要研究由Frank Wolter和Michael Zakharyaschev提出的动态描述逻辑对动态信息的表示，并对该动态描述逻辑加以应用和扩展。　　 在研究动作的表示时，本文结合描述逻辑与动态描述逻辑表示动作的优点提出使用三层模型的思想表示动作的方法。三层模型思想将对动作的表示和对对象的表示分开，分为动作层，对象层和中间层三层。在动作层中使用描述逻辑中具体化方法描述动作。在对象层中使用描述逻辑描述对象，表示领域在某一时候状态的静态信息。中间层用来联系动作层与对象层。中间层将动作层中的动作看做一个模态词作用于对象层上形成动态信息，表示领域动态变化的过程。本文根据该思想建立了图书馆的概念模型，给出了其语法和语义，表示出其通过借书还书的动态变化过程。　　 除了将三层模型的思想应用到图书馆的概念模型上，本文还基于该思想扩展现有的动态描述逻辑，使得三层模型的思想可以应用到一般模型上。扩展后的动态描述逻辑将语法和语义都分为动作层，中间层和对象层三层。本文还提出将动作的约束条件转化为模型的可达关系的限制，对每个具体的动作都存在一个约束公式集合，公式集合限制了状态之间的可达关系。本文给出了扩展后的动态描述逻辑的语法和语义。　　 本文的主要成果是：一.提出在动态描述逻辑中将动作和对象分别在不同的层次中用描述逻辑进行描述的思想，并且将具体化后的动作作用在普通对象上的过程用模态词来表示；二.用三层模型的思想表示描述逻辑手册第十章中的图书馆借书和还书的动态过程；三.给出基于三层模型的动态描述逻辑的形式语言，语法和语义。