Scholarlink

<p>Artificial neural networks, particularly recurrent architectures like Long Short-Term Memory (LSTM) and Gated Recurrent Units (GRU), are widely used for time series prediction. However, achieving high accuracy, especially for complex industrial process data, remains challenging, as standard models may not explicitly capture local temporal trends effectively. This paper proposes a novel data inference structure based on Propositional Linear Temporal Logic (PLTL) designed to capture qualitative data trends within a sliding window. This PLTL inference structure is integrated into LSTM and GRU networks, creating two new models: L-LSTM and L-GRU. The PLTL module provides an interpretable, logic-based representation of recent data dynamics, which modulates the standard recurrent computations, enabling the networks to learn temporal dependencies more effectively, as demonstrated by empirical results. The proposed methods are evaluated on the TAIEX financial benchmark dataset and real-world data from a textile manufacturing process. Experimental results, evaluated using Root Mean Square Error (RMSE), indicate that the L-LSTM and L-GRU models demonstrate statistically significant improved prediction accuracy compared to baseline LSTM, GRU, Deep Belief Networks (DBN), and a Fuzzy Time Series-LSTM (FTS-LSTM) hybrid model on the benchmark dataset, and show strong performance on the industrial data.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

A flexible linear temporal logic-based data inference architecture for industrial process prediction

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2026年2月5日

查看全文
  • Xu Huo,
  • Ruyu Liu,
  • Haoyu Zhang,
  • Qianneng Tang,
  • Qiqi Liu,
  • Xiufeng Liu

摘要

Artificial neural networks, particularly recurrent architectures like Long Short-Term Memory (LSTM) and Gated Recurrent Units (GRU), are widely used for time series prediction. However, achieving high accuracy, especially for complex industrial process data, remains challenging, as standard models may not explicitly capture local temporal trends effectively. This paper proposes a novel data inference structure based on Propositional Linear Temporal Logic (PLTL) designed to capture qualitative data trends within a sliding window. This PLTL inference structure is integrated into LSTM and GRU networks, creating two new models: L-LSTM and L-GRU. The PLTL module provides an interpretable, logic-based representation of recent data dynamics, which modulates the standard recurrent computations, enabling the networks to learn temporal dependencies more effectively, as demonstrated by empirical results. The proposed methods are evaluated on the TAIEX financial benchmark dataset and real-world data from a textile manufacturing process. Experimental results, evaluated using Root Mean Square Error (RMSE), indicate that the L-LSTM and L-GRU models demonstrate statistically significant improved prediction accuracy compared to baseline LSTM, GRU, Deep Belief Networks (DBN), and a Fuzzy Time Series-LSTM (FTS-LSTM) hybrid model on the benchmark dataset, and show strong performance on the industrial data.