.png){kind=icon}
返回
Generalized possibility computation tree logic with frequency and its model checking
.png){kind=icon}
PRE
AI
DOI：10.1016/j.ijar.2024.109249.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In recent years, there has been significant research in the field of possibilistic temporal logic. However, existing works have not yet addressed the issue of frequency, which is a common form of uncertainty in the real world. This article aims to fill this gap by incorporating frequency information into possibilistic temporal logic and focusing on the model-checking problem of generalized possibility computation tree logic (GPoCTL) with frequency information. Specifically, we introduce generalized possibility computation tree logic with frequency (GPoCTLF). F ). Although its syntax can be considered as an extension of frequency constraints of the always operator (square) in GPoCTL, they are fundamentally different in semantics and model-checking methods. To facilitate this extension, useful frequency words such as always, usually, often, sometimes, occasionally, rarely, hardly ever and never are defined as fuzzy frequency operators in this article. Therefore, this article focuses on investigating the model-checking problem of the frequency-constrained always operator. In addition, we analyze the relationship between some GPoCTLF F path formulas and GPoCTL path formulas. Then, we provide a model-checking algorithm for GPoCTLF F and analyze its time complexity. Finally, an example of a social network is used to illustrate the calculation process of the proposed method and its potential applications.
Keyword:
Generalized possibility computation tree logic
Possibility theory
Fuzzy temporal operator
Frequency
Model checking
期刊
IF:
3
论文数:
3.0K
被引数:
5.1K
机构
引用论文
Synthesis, Characterisation and Catalytic Application of Oxidorhenium Complexes Bearing H‐Spirophosphorane Ligands含h-螺膦配体的氧化铼配合物的合成，表征及催化应用
.png){kind=icon}
PREAI
分享收藏分享收藏A Review of Relationships Between Possibility and Probability Representations of Uncertainty in Measurement测量不确定度的可能性和概率表示之间的关系综述
PREAI
分享收藏Nondeterministic fuzzy automata with membership values in complete residuated lattices在完整剩余格中具有隶属度值的非确定性模糊自动机
OAAI
OAAI分享收藏Facile synthesis of ZnO nanoflowers/reduced graphene oxide nanocomposite using zinc hexacyanoferrate for supercapacitor applications使用六氰合铁酸锌简便合成ZnO纳米花/还原氧化石墨烯纳米复合材料用于超级电容器应用
PREAI
分享收藏
查看更多内容