Abstract
Consideration was given to an extension of the continuous logic to uncertainty where the logic operations are performed over the intervals of possible values of real numbers and not over their precisely known values from a certain continuous set. Basic laws of the algebra of this logic were formulated. A possible application of the interval continuous logic to some problems of control was demonstrated.
Similar content being viewed by others
REFERENCES
McNaughton, R., A Theorem about Infinite-valued Sentential Logic, J. Symb. Logic, 1951, vol. 16, no.1. Translated in Kibern Sb., 1961, no. 3.
Schaefer, D.H., A Rectifier Algebra, Trans. Am. Inst. Electrical Eng., 1955, vol. 73, no.1, pp. 679-682.
Ginzburg, S.A., Matematicheskaya nepreryvnaya logika i izobrazhenie funktsii (Mathematical Continuous Logic and Representation of Functions), Moscow: Energiya, 1968.
Ivanov, L.L., Fundamentals of the Analytical Theory of Discontinuous Functions and Calculation of Nonlinear Circuits, Elektrichestvo, 1960, no. 9, pp. 23-29.
Ginzburg, S.A., Continuous Logic and its Applications, Avtom. Telemekh., 1967, no. 2, pp. 115-132.
Rvachev, V.L., Geometricheskie prilozheniya algebry logiki (Geometrical Applications of Logic Algebra), Kiev: Tekhnika, 1967.
Ginzburg, S.A. and Lyubarskii, Yu.Ya., Funktsional'nye preobrazovateli s analogovo-tsifrovym predstavleniem informatsii (Functional Transformers with Analog-Digital Representation of Information), Moscow: Energiya, 1973.
Levin, V.I., Dinamika logicheskikh ustroistv i sistem (Dynamics of Logic Devices and Systems), Moscow: Energiya, 1980.
Kaufmann, A., Introduction a la théorie des sous-ensembles ous, Paris: Masson, 1977. Translated under the title Vvedenie v teoriyu nechetkikh mnozhestv, Moscow: Radio i svyaz', 1982.
Levin, V.I., Beskonechnoznachnaya logika v zadachakh kibernetiki (Infinite-valued Logic in Cybernetic Problems), Moscow: Radio i svyaz', 1982.
Levin, V.I., Logicheskaya teoriya nadezhnosti slozhnykh sistem (Logic Theory of Reliability of Complex Systems), Moscow: Energoatomizdat, 1985.
Zolotova, T.M., Kerbnikov, F.I., and Rozenblat, M.A., Rezervirovanie analogovykh ustroistv avtomatiki (Redundatization of Analog Automatic Devices), Moscow: Energoatomizdat, 1986.
Levin V.I., Strukturno-logicheskie metody issledovaniya slozhnykh sistem (Structural Logic Methods of Studying Complex Systems), Moscow: Nauka, 1987.
Berkovich, E.I., Continuous-valied Logic in Microelectronics, in Opyt, rezul'taty, problemy. Povyshenie konkurentosposobnosti radioelektronnoi apparatury (Experience, Results, Problems. Improving Competitiveness of Radioelectronic Equipment), Tallinn: Valgus, 1988.
Volgin, L.I., Sintez ustroistv dlya obrabotki i preobrazovaniya informatsii v elementnom bazise relyatorov (Design of Relator-Based Information Processors and Transformers), Tallinn: Valgus, 1989.
Shimbirev, P.N., Gibridnye nepreryvno-logicheskie ustroistva Teoriya i primeneniya (Hybrid Continuous Logic Devices), Moscow: Energoatomizdat, 1990.
Volgin, L.I. and Levin, V.I., Nepreryvnaya logika: teoriya i primeneniya (Continuous Logic: Theory and Applications), Tallinn: Est. Akad. Nauk, 1990.
Levin, V.I., Teoriya dinamicheskikh avtomatov (Theory of Dynamic Automata), Penza: Penz. Gos. Tekhn. Univ., 1995.
Alefeld, H. and Herzberger, J., Introduction to Interval Computations, New York: Academic, 1983. Translated under the title Vvedenie v interval'nye vychisleniya, Moscow: Mir, 1987.
Levin V.I., Discrete Optimization under Interval Uncertainty, Avtom. Telemekh., 1992, no. 7, pp. 97-107.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Levin, V.I. Extending the Continuous Logic to Uncertain Variables. Automation and Remote Control 64, 331–342 (2003). https://doi.org/10.1023/A:1022227501331
Issue Date:
DOI: https://doi.org/10.1023/A:1022227501331