面向视频事件探测的动态描述逻辑系统

摘要

视频事件探测是目前的一个重要研究领域.在关于视频事件探测的研究中,如何对视频事件进行建模是一个重要的问题.本文将动态描述逻辑与线性时序逻辑结合构建了一个支持静态,动态以及时序知识表示,推理的逻辑系统LTDALCO.同时本文还提出了一个基于LTDALCO的视频事件探测框架.该视频事件探测框架通过基于LTDALCO的逻辑语义来准确地定义视频事件,并结合基于本体的计算机视觉的方法来将视频的内容的转换为基于LTDALCO的逻辑描述.然后通过LTDALCO公式的可满足性验证算法来实现视频事件的探测.