  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.
