Fuzzy时态逻辑

在现实生活中,我们日常用语具有时间性和Fuzzy性,计算机处于翻转状态时的描述,随时间的改变而变更命题真假的逻辑都具有这两个特点。大家所熟知的二值逻辑不能解决这一类问题,这里提出的Fuzzy时态逻辑,主要是研究具有这样两个特征的语句。本文针对时态语句的特点,引进了三个时态算子,并将时态语句符号化。在此基础上又引进了四个联结词和两个量词,这样就可以对语句作出全时间性(即对过去、现在、将来)的判断。在定义了广义的“历史”和“历史时刻”两个概念后,对时态语句进行了语义解释,并在各种有序的时间上进行语句赋值,从而给出了Fuzzy时态逻辑的一个极小弱谓词演算系统Jt。