论文信息 - Fuzzy machines in a category

Fuzzy machines in a category

“Fuzzy theories” and “distributive laws” are used to define “fuzzy systems” in an arbitrary category. The resulting minimal realization theory provides new insights even in classical cases (so that, for non-deterministic sequential machines, the minimal realization problem is reformulated in terms of the structure of join-irreducibles in finite lattices). The definition of “fuzzy theory” is of independent interest and meshes well with philosophical aspects of fuzzy set theory.

M. Arbib | E. Manes

[1] George N. Raney,et al. Sequential Functions , 1958, JACM.

[2] Dana S. Scott,et al. Finite Automata and Their Decision Problems , 1959, IBM J. Res. Dev..

[3] M. Schützenberger. On a Theorem of R. Jungen , 1962 .

[4] H. Kleisli,et al. Every standard construction is induced by a pair of adjoint functors , 1965 .

[5] J. Goguen. L-fuzzy sets , 1967 .

[6] S. Maclane,et al. Categories for the Working Mathematician , 1971 .

[7] E. S. Bainbridge,et al. A unified minimal realization theory with duality , 1972 .

[8] J. Goguen. Minimal realization of machines in closed categories , 1972 .

[9] Joseph A. Goguen,et al. Concept Representation in Natural and Artificial Languages: Axioms, Extensions and Applications for Fuzzy Sets , 1974, Int. J. Man Mach. Stud..

[10] Michael A. Arbib,et al. A categorist's view of automata and systems , 1974, Category Theory Applied to Computation and Control.

[11] M. Arbib,et al. MACHINES IN A CATEGORY: AN EXPOSITORY INTRODUCTION* , 1974 .

[12] M. Arbib,et al. Adjoint machines, state-behavior machines, and duality☆ , 1975 .

[13] M. Arbib,et al. Arrows, Structures, and Functors: The Categorical Imperative , 1975 .

[14] Ernest Gene Manes,et al. Category Theory Applied to Computation and Control , 1975, Lecture Notes in Computer Science.

[15] Hartmut Ehrig,et al. Universal Theory of Automata , 1976 .