决策逻辑的图论模型

通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。     

有限自动机的等价性与路代数

定义了有限自动机路代数的一个右理想,用以判断有限自动机状态的等价性及判断两个有限自动机之间的等价性, 进而讨论循环有限自动机的等价性.     

决策逻辑的图论模型

通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。