基于完备剩余格值逻辑的自动机理论——Ⅰ.拓扑刻画

被引：20

作者：

邱道文

机构：

[1] 中山大学计算机科学系广州

[2] 清华大学计算机科学与技术系智能技术与系统国家重点实验室

[3] 北京

来源：

中国科学E辑:技术科学 | 2003年 / 02期

基金：

国家杰出青年科学基金; 广东省自然科学基金;

关键词：

非经典逻辑; 自动机; 拓扑;

D O I：

暂无

中图分类号：

O141.4 [模型理论];

学科分类号：

摘要：

建立了基于完备剩余格值逻辑的自动机理论的基本框架.首先延拓状态转移关系,特别是得到了模糊(l值)自动机对剩余格的一个刻画;然后讨论了模糊(l值)子机, successor和source算子的基本性质及它们相互的等价关系,并由此推出这两类算子是模糊(l值)闭包算子;最后给出了模糊自动机的L双模糊拓扑刻画,从而建立了较为宽泛的模糊自动机理论。

引用

页码：137 / 146

页数：10

共 6 条

[1] 格值模型的超积基本定理 [J].

王世强 ;

卢景波 ;

不详 .

科学通报 , 1981, (02) :71-74

[2]

非经典数理逻辑与近似推理[M]. 科学出版社 , 王国俊著, 2000

[3] Automata theory based on quantum logic II [J].

Ying, MS .

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2000, 39 (11) :2545-2557

[4]

A new approach for fuzzy topology .2 Ying M S. Fuzzy Sets and Systems . 1991

[5]

Fuzzifying topology based on complete residuated lattice-valued logic(I ) .2 Ying M S. Fuzzy Sets and Systems . 1993

[6]

Many-valued logics .2 Rosser JB,Turquette AR. . 1952

← 1 →