线性时序公开宣告逻辑：关于多分类器知识推理的新视角
人工智能
2022-05-25 v3
摘要
在本札记中，提出一种称为 LTPAL 的形式化转移系统模型以提取分类过程中的知识。该模型结合了公开宣告逻辑（PAL）与线性时序逻辑（LTL）。模型中，我们首先考虑捕获单帧数据的分类器。接着，我们考虑面向数据流数据输入的分类器。最后，以一个视频流目标检测样例在 LTPAL 中形式化自然语言性质。
引用
@article{arxiv.2009.03793,
title = {Linear Temporal Public Announcement Logic: a new perspective for reasoning about the knowledge of multi-classifiers},
author = {Amirhoshang Hoseinpour Dehkordi and Majid Alizadeh and Ali Movaghar},
journal= {arXiv preprint arXiv:2009.03793},
year = {2022}
}
备注
27 pages, 1 figures