Development of Temporal Logic in Computer Science Based on Data Mining Technology

Temporal logic is a branch of formal logic and a simple extension of classical logic. Temporal logic can not only be used as a useful tool for philosophical analysis, but also has important implications for other disciplines such as linguistics, mathematics, and computer science. This article aims to study the development of temporal logic based on data mining technology in computer science. First, it conducts in-depth research on the origin and development of data mining technology, so as to fully understand the development status and application background of data mining technology. Then explore the conversion problem from the temporal logic formula to its equivalent Büchi automata, and propose a new conversion algorithm, and finally compare the algorithm with the SPOT tool through experiments. The experimental results show that the results generated by the algorithm proposed in this paper are better than the other in certain circumstances, which proves the effectiveness of the algorithm in this paper.