"事件"是比"概念"粒度更大的人类知识表示单元，更接近于人类的认知过程，更符合客观实际。事件反映了现实世界中物质的运动和变化。动作作为事件的一个重要要素，表示着事件中对象的状态的变化过程。在状态的变化过程中加入时间信息，将动作表示为对象的状态随时间变化而变化的过程，使得动作描述的更加具体。运用事件中的动作、对象和时间要素构建了一个动作形式化体系，研究了事件知识中确定性动作和不确定性动作的语法表示和语义解释。该形式化体系将扩展的带时间维的描述逻辑T-ALC和逻辑程序设计进行整合，增强了动作的表达能力；在动作的推理中，将确定性动作转化为逻辑程序Datalog规则实现动态推理，将不确定性动作转化为Datalog规则实现不确定推理。分别讨论了动作的执行结果、可执行性和可投影性等几类推理问题。最后通过银行服务系统实例对动作的形式化表示和推理进行了验证。