A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
Linear Temporal Public Announcement Logic: a new perspective for reasoning the knowledge of multi-classifiers
Current applied intelligent systems have crucial shortcomings either in reasoning the gathered knowledge, or representation of comprehensive integrated information. To address these limitations, we develop a formal transition system which is applied to the common artificial intelligence (AI) systems, to reason about the findings. The developed model was created by combining the Public Announcement Logic (PAL) and the Linear Temporal Logic (LTL), which will be done to analyze both single-frameddoi:10.36227/techrxiv.12928544.v1 fatcat:xogmifj6uvak7orxaybdu3o3ea