论文标题
线性时间公告逻辑：关于多分类商知识的推理的新观点
Linear Temporal Public Announcement Logic: a new perspective for reasoning about the knowledge of multi-classifiers
论文作者
论文摘要
在本说明中，建议在分类过程中提取知识的正式过渡系统模型。该模型结合了公共公告逻辑（PAL）和线性时间逻辑（LTL）。在模型中，首先，我们考虑捕获单框数据的分类器。接下来，我们将分类器用于数据流数据输入。最后，我们使用视频流对象检测样本将LTPAL的自然语言属性形式化。
In this note, a formal transition system model called LTPAL to extract knowledge in a classification process is suggested. The model combines the Public Announcement Logic (PAL) and the Linear Temporal Logic (LTL). In the model, first, we consider classifiers, which capture single-framed data. Next, we took classifiers for data-stream data input into consideration. Finally, we formalize natural language properties in LTPAL with a video-stream object detection sample.
