模型检测的主要问题是处理具有量化信息的系统的验证问题,该文在量子逻辑和时序逻辑的相关理论基础上引入了可能性理论以及模糊线性时间的可能性测度,研究了线性时序逻辑在模糊时态下的模型检测方法。通过引入可能性理论以及广义可能性Kripke结构定义,对广义可能性Kripke结构中的模糊线性时间性质进行了讨论,有利于研究不确定现象。
科研之友
微信
新浪微博
Facebook
分享链接
