Stability of Correct Reasoning
A note by Aizerman somewhat misrepresents the work of Smale and its implications for control theory, and calls for the creation of systems of argument ‘correct to within pathological cases’ of which, however, examples exist already (though not using fuzzy sets as Aizerman suggests).
KeywordsData Packet Fuzzy Inference System Propositional Calculus Host Computer Multiprocessor System
- 1.M. A. Aizerman, “Some Unsolved Problems in the Theory of Automatic Control and Fuzzy Proofs” IEEE Trans. on Automatic Control 116-118 (February, 1977).Google Scholar
- 3.S. Smale, “A structurally stable differentiable homeomorphism with an infinite number of periodic points” Proc. Int. Symp. on Non-linear Vibrations 1961 (Izdat. Akad. Ukrain. SSR, Kiev1963) pp. 365–366.Google Scholar