KMS Chongqing Institute of Green and Intelligent Technology, CAS
| Estimating event probabilities via signal temporal logic and first occurrence distributions | |
Zhang, Siqi1,2; Qin, Xiaolin1,2; Zhang, Ju3 ; Liu, Jiang3
| |
| 2024-04-24 | |
| 摘要 | Estimating the probability of events is a significant challenge in many fields, often requiring a probabilistic model or additional labels and tasks for accurate prediction. However, those methods have limited scalability or unnecessary computational resource consumption due to predicting unrelated values. To address these issues, we propose a novel approach that estimates event probabilities based on the distributions of their first occurrence in the time domain. By using Signal Temporal Logic formulas to describe events and applying an algorithm that estimates complex events' probabilities through simple event occurrence distributions, this study presents an efficient approach that does not depend on high-precision prediction. We evaluate the performance of our method on simulated scenarios of unmanned aerial vehicle motion and autonomous driving. |
| 关键词 | event probability estimation event representation signal temporal logic first occurrence distribution probabilistic logic |
| DOI | 10.1093/logcom/exae019 |
| 发表期刊 | JOURNAL OF LOGIC AND COMPUTATION
 |
| ISSN | 0955-792X |
| 页码 | 39 |
| 通讯作者 | Liu, Jiang(liujiang@cigit.ac.cn) |
| 收录类别 | SCI |
| WOS记录号 | WOS:001207325800001 |
| 语种 | 英语 |
