模糊时序命题逻辑系统的语义

发布时间：2017-06-13 04:11

  本文关键词：模糊时序命题逻辑系统的语义，由笔耕文化传播整理发布。

【摘要】：时序逻辑是一种特殊的模态逻辑,　它不仅是程序语义描述的有力工具,而且在知识的形式表示方面表现出越来越多的优越性.　但遗憾的是对于时序逻辑的研究多限于赋值为0和1的经典时序逻辑,　而正如同将经典逻辑模糊化得到模糊逻辑一样,　将时序逻辑模糊化得到模糊时序逻辑也是一个值得研究的课题.　本文首先对泛代数的理论进行推广,　提出广义泛代数的概念;　将时序逻辑系统MPTL 模糊化,　定义了模糊算子□,◇和 ,　讨论了模糊时序逻辑FMPTL 的语义,　再由逻辑等价出发,　讨论一些含模态词的公式的化简问题;　然后从有限模糊时序逻辑代数及其子代数出发,　研究了有限模糊时序逻辑的广义重言式;　在此基础上进一步研究了赋值格为[0,1]的模糊时序命题系统M|-的广义重言式的性质及其分类,　得到了与王国俊教授类似的结果;　又给出了部分赋值的广义重言式的定义,　在其中讨论了重言式的类类互异定理和升级算法;　再证明了有限模糊时序逻辑系统中广义重言式的重言式表示定理;　　最后研究了系统M|-中的广义语义MP 规则和广义语义HS 规则.　并且为了简化问题,　我们只对有实际意义的模态公式进行研究.　
【关键词】：广义泛代数 模糊时序逻辑 广义重言式 广义MP 规则 广义HS规则
【学位授予单位】：辽宁师范大学
【学位级别】：硕士
【学位授予年份】：2005
【分类号】：O159;O141.1
【目录】：

• 摘要3-4
• 引言4-5
• 第一章 广义泛代数5
• 第二章 模糊时序命题逻辑系统的语义5-10
• 2.1 语义6-9
• 2.2 含有模态词的公式的简化9-10
• 第三章 有限模糊时序逻辑代数及其广义重言式10-14
• 3.1 有限模糊时序逻辑代数及其子代数11
• 3.2 有限模糊时序逻辑的广义重言式11-14
• 第四章 模糊时序命题逻辑系统M|-的广义重言式14-17
• 第五章 系统M|-中的Σ─广义重言式理论与类类互异定理17-27
• 5.1 系统M_n与部分赋值17-18
• 5.2 M_n的对称表示法18-19
• 5.3 M_(2n)与M_(2n+1)中的α─重言式19-21
• 5.4 可达α─重言式和可达α─矛盾式21-22
• 5.5 类类互异定理和升级算法(降级算法)22-25
• 5.6 有限值系统中广义重言式的重言式表示定理25-27
• 第六章 系统M|-中的广义语义MP规则和广义语义HS规则27-31
• 6.1 系统M|-中的广义语义MP规则27-29
• 6.2 系统M|-中的广义语义HS规则29-31
• 结束语31
• 致谢31-32
• Abstract32
• 参考文献32-34
• 学位论文独创性声明34
• 学位论文版权的使用授权书34

【参考文献】

中国期刊全文数据库 前6条

1 陈图云,李丽;模糊时序逻辑的语义及其广义重言式[J];辽宁师范大学学报(自然科学版);2004年02期

2 吴望名;参数Kleene系统中的广义重言式[J];模糊系统与数学;2000年01期

3 吴洪博;G銉del逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年04期

4 吴洪博;逻辑系统鄘,W,W_k中的广义语义HS规则和广义语义MP规则[J];模糊系统与数学;2003年04期

5 吴望名;关于模糊逻辑的—场争论[J];模糊系统与数学;1995年02期

6 王国俊;模糊推理与模糊逻辑[J];系统工程学报;1998年02期

  本文关键词：模糊时序命题逻辑系统的语义，，由笔耕文化传播整理发布。

本文编号：445689