Interval mathematics for analysis of multi-level granularity

• Autorzy: Kreinovich V. , Alo R.
• Języki publikacji: EN

Abstrakty

EN

The more complex the problem, the more complex the system necessary for solving this problem. For very complex problems, it is no longer possible to design the corresponding system on a single resolution level, it becomes necessary to have multi-level, multiresolutional systems, with multi-level granulation. When analyzing such systems - e.g., when estimating their performance and/or their intelligence - it is reasonable to use the multi-level character of these systems: first, we analyze the system on the low-resolution level, and then we sharpen the results of the low-resolution analysis by considering higher-resolution representations of the analyzed system. The analysis of the low-resolution level provides us with an approximate value of the desired performance characteristic. In order to make a definite conclusion, we need to know the accuracy of this approximation. In this paper, we describe interval mathematics- a methodology for estimating such accuracy. The resulting interval approach is also extremely important for tessellating the space of search when searching for optimal control. We overview the corresponding theoretical results, and present several case studies.

Słowa kluczowe

EN

interval mathematics; multi-resolution granulation; space division methods; multi-D generalisations

• Wydawca: Polish Academy of Sciences, Committee of Automatic Control and Robotics
• Czasopismo: Archives of Control Sciences
• Rocznik: 2002
• Tom: Vol. 12, no. 4
• Strony: 323--350
• Opis fizyczny: Bibliogr. 82 poz., tab., wzory

Twórcy

autor

Kreinovich V.

• University of Texas, Computer Science, El Paso, TX 79968, USA

autor

Alo R.

• University of Houston-Downtown, Computer Science and Math, Houston, TX 77002, USA

Bibliografia

• [1] G. Alefeld and J. Herzberger: Einführung in die Intervallrechnung. Bibliographisches Institut, Mannheim, Wien, Zürich, 1974.
• [2] R. Al-Jamal, S. Manoli, A. E. Brito and O. Kosheleva: Interval + Communications = Walsh: For Signal Multiplexing Under Interval Uncertainty, Walsh Functions are Optimal. Proc. Joint 9th World Congress of the Int. Fuzzy Systems Association and 20th Int. Conf. of the North American Fuzzy Information Processing Soc., Vancouver, Canada, (2001), 1677-1681.
• [3] A. Bargiela: Interval and ellipsoidal uncertainty models. In: W. Pedrycz (Ed.), Granular Computing: An Emerging Paradigm. Springer-Verlag, Heidelberg, 2001, 23-57.
• [4] J. Beck, V. Kreinovich and B. Penn: Geombinatoric aspects of processing large images and large spatial databases. Geombinatorics, 11(4), (2001), 6-12.
• [5] B. Bouchon-Meunier, H. T. Nguyen and V. Kreinovich: Discrete (set) derivatives and ‘algebraic’ fuzzy logic operations. Proc. FUZZ-IEEE’2001, Melbourne, Australia, (2001).
• [6] A. E. Brito and O. Kosheleva: Interval + Image = Wavelet: For Image Processing under Interval Uncertainty, Wavelets are Optimal. Reliable Computing, 4(3), (1998), 291-301.
• [7] A. E. Brito, O. M. Kosheleva and S. D. Cabrera: Multi-Resolution Data Processing is Optimal: Case Study of Detecting Surface Mounted Devices. Proc. Int. Conf. on Intelligent Systems and Semiotics, National Institute of Standards and Technology Publ., Gaithersburg, MD, (1997), 157-161.
• [8] D. D. Coblentz, V. Kreinovich, B. S. Penn and S. A. Starks: Towards Reliable Sub-Division of Geological Areas: Interval Approach. Proc. 19th Int. Conf. of the North American Fuzzy Information Society, Atlanta, Georgia, (2000), 368-372.
• [9] D. D. Coblentz, V. Kreinovich, B. S. Penn and S. A. Starks: Towards Reliable Sub-Division of Geological Areas: Interval Approach. In: L. Reznik and V. Kreinovich (Eds.), Soft Computing in Measurements and Information Acquisition. Springer-Verlag, (2002), (to appear).
• [10] L. O. Fuentes and V. Kreinovich: Towards Intelligent Virtual Environment for Teaching Telemanipulation Operators: Virtual Tool Approach and its Interval-Based Justification. Proc. 2nd Int. Workshop on Intelligent Virtual Environments, Xalapa, Veracruz, Mexico, (1998), 8-11.
• [11] F. Garcia, R. Araiza and B. Rzycki: Towards Optimal Mosaicking of Multi-Spectral Images. Proc. 2nd Nat. NASA Student Conf. on Earth Sciences, Aero-Space Technology, Human Exploration and Development of Space, Space Science, and Crosscutting Technologies, Nashville, Tennessee, (2000), 261-266.
• [12] O. N. Garcia, V. Kreinovich, L. Longpré and H. T. Nguyen: Complex problems: granularity is necessary, granularity helps. In: Nguyen Hoang Phuong and A. Ohsato (Eds.), Proc. Vietnam-Japan Bilateral Symp. on Fuzzy Systems and Applications, HaLong Bay, Vietnam, (1998), 449-455.
• [13] S. Gibson: An optimal FFT-based algorithm for mosaicking images. Master Thesis, Department of Computer Science, University of Texas at El Paso, 1999.
• [14] S. Gibson, O. Kosheleva, L. Longpre, B. Penn and S. A. Starks: An Optimal FFT-Based Algorithm for Mosaicking Images, With Applications to Satellite Imaging and Web Search. Proc. Joint Conf. in Information Sciences, Atlantic City, NJ, I (2000), 248-251.
• [15] S. Gibson, V. Kreinovich, L. Longpré, B. Penn and S. A. Starks: Intelligent Mining in Image Databases, With Applications to Satellite Imaging and to Web Search. In: A. Kandel, H. Bunke, and M. Last (Eds.), Data Mining and Computational Intelligence. Springer-Verlag, Berlin, 2001, 309-336.
• [16] I. R. Goodman, R. A. Trejo, V. Kreinovich, J. Martinez and R. Gonzalez: An even more realistic (non-associative) interval logic and its relation to psychology of human reasoning. Proc. Joint 9th World Congress of the International Fuzzy Systems Association and 20th International Conference of the North American Fuzzy Information Processing Society, Vancouver, Canada, (2001), 1586-1591.
• [17] R. Hammer, M. Hocks, U. Kulisch and D. Ratz: Numerical toolbox for verified computing. I. Basic numerical problems. Springer Verlag, Heidelberg, N.Y., 1993.
• [18] E. R. Hansen: Global optimization using interval analysis. Marcel Dekker, N.Y., 1992.
• [19] J. R. Hobbs and V. Kreinovich: Optimal Choice of Granularity In Commonsense Estimation: Why Half-Orders of Magnitude. Proc. Joint 9th World Congress of the International Fuzzy Systems Association and 20th International Conference of the North American Fuzzy Information Processing Society, Vancouver, Canada, (2001), 1343-1348.
• [20] R. B. Kearfott: Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht, 1996.
• [21] R. B. Kearfott and V. Kreinovich (EDS.): Applications of Interval Computations. Kluwer, Dordrecht, 1996.
• [22] R. B. Kearfott and V. Kreinovich: Where to Bisect a Box? A Theoretical Explanation of the Experimental Results. In: Goetz Alefeld and Raul A. Trejo (Eds.), Interval Computations and its Applications to Reasoning Under Uncertainty, Knowledge Representation, and Control Theory. Proc.Workshop on Interval Computations, 4th World Congress on Expert Systems, México City, México, (1998).
• [23] G. Klir and B. Yuan: Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice Hall, Upper Saddle River, NJ, 1995.
• [24] O. Kosheleva, V. Kreinovich and Y. Yam: On the optimal choice of quality metric in image compression. Proc. Int. Symp. on Smart Structures and Microsystems, Hong Kong, (2000), C3-3.
• [25] V. Kreinovich: A simplified version of the tomography problem can help to estimate the errors of indirect measurements. In: A. Mohamad-Djafari (Ed.), Bayesian Inference for Inverse Problems. Proc. SPIE/Int. Soc. for Optical Engineering, 3459, San Diego, CA, (1998), 106-115.
• [26] V. Kreinovich and R. Aló: Interval Mathematics for Analysis of Multiresolutional Systems. Proc. Int. Workshop on Measuring Performance and Intelligence of Intelligent Systems, Mexico City, (2001).
• [27] V. Kreinovich and L. O. Fuentes: Telemanipulation: The Virtual Tool Approach and Its Interval-Based Justification. In: G. Alefeld and R. A. Trejo (Eds.), Interval Computations and its Applications to Reasoning Under Uncertainty, Knowledge Representation, and Control Theory. Proc.Workshop on Interval Computations, 4th World Congress on Expert Systems, México City, México, (1998).
• [28] V. Kreinovich, A. Lakeyev, J. Rohn and P. Kahl: Computational complexity and feasibility of data processing and interval computations. Kluwer, Dordrecht, 1998.
• [29] V. Kreinovich and M. Mukaidono: Intervals (Pairs of Fuzzy Values), Triples, etc.: Can We Thus Get an Arbitrary Ordering? Proc. 9th IEEE Int. Conf. on Fuzzy Systems, San Antonio, Texas, 1 (2000), 234-238.
• [30] V. Kreinovich, M. Mukaidono and K. Atanassov: From Fuzzy Values To Intuitionistic Fuzzy Values To Intuitionistic Fuzzy Intervals etc.: Can We Get an Arbitrary Ordering? Notes on Intuitionistic Fuzzy Sets, 5(3), (1999), 11-18.
• [31] V. Kreinovich and H. T. Nguyen: Granularity as an Optimal Approach to Uncertainty - A General Mathematical Idea With Applications to Sleep, Consumption, Traffic Control, Learning, etc. Proc. 19th Int. Conf. of the North American Fuzzy Information Society, Atlanta, Georgia, (2000), 316-320.
• [32] V. Kreinovich and H. T. Nguyen: 1st Order, 2nd Order, What Next? Do We Really Need Third-Order Descriptions: A View From A Realistic (Granular) Viewpoint. Proc. Joint 9th World Congress of the Int. Fuzzy Systems Association and 20th Int. Conf. of the North American Fuzzy Information Processing Society, Vancouver, Canada, (2001), 1908-1913.
• [33] V. Kreinovich, H. T. Nguyen and W. Pedrycz: How to Make Sure That “(…)" + 1 Is (…) in Fuzzy Arithmetic: Solution and Its (Inevitable) Drawbacks. Proc. Joint 9th World Congress of the Int. Fuzzy Systems Association and 20th Int. Conf. of the North American Fuzzy Information Processing Society, Vancouver, Canada, (2001), 1653-1658.
• [34] V. Kreinovich and J. Wolff Von Gudenberg: Arithmetic of complex sets: Nickel’s classical paper revisited from a geometric viewpoint. Geombinatorics, 9(1), (1999), 21-26.
• [35] V. Kreinovich and J. Wolff Von Gudenberg: An optimality criterion for arithmetic of complex sets. Geombinatorics, 10(1), (2000), 31-37.
• [36] V. Kreinovich and Y. Yam: Why Clustering in Function Approximation? Theoretical Explanation. Int. J. of Intelligent Systems, (2002) (to appear).
• [37] M. Krishna: Using symmetries to reduce the size of a fuzzy knowledge base, with an application to fault detection. Master Thesis, Department of Computer Science, University of Texas at El Paso, 1999.
• [38] M. Krishna, V. Kreinovich and R. Osegueda: Fuzzy Logic in Non-Destructive Testing of Aerospace Structures. In: Jaime Ramirez-Angulo (Ed.), Proc. the 1999 IEEE Midwest Symp. on Circuits and Systems, Las Cruces, New Mexico, 1 (1999), 431-434.
• [39] C. Langrand, V. Kreinovich and H. T. Nguyen: Two-dimensional fuzzy logic for expert systems. Sixth Int. Fuzzy Systems Association World Congress, San Paulo, Brazil, 1 (1995), 221-224.
• [40] J. Martinez, L. Macias, A. Esper, J. Chaparro, V. Alvarado, S. A. Starks and V. Kreinovich: Towards more realistic (e.g., non-associative) and-and or-operations in fuzzy logic. Proc. of the 2001 IEEE Systems, Man, and Cybernetics Conference, Tucson, Arizona, (2001), 2187-2192.
• [41] N. J. McMillan: Temporal and spatial magmatic evolution of the Rio Grande rift. New Mexico Geological Survey Guidebook, 49th Field Conference, Las Cruces County, (1998), 107-116.
• [42] A. Meystel: Planning in a hierarchical nested controller for autonomous robots. Proc. IEEE 25th Conf. on Decision and Control, Athens, Greece, (1986), 1237-1249.
• [43] A. Meystel: Theoretical Foundations of Planning and Navigation for Autonomous Mobile Systems. Int. J. of Intelligent Systems, bf 2(2), (1987), 73-128.
• [44] G. A. Miller: The magical number seven plus or minus two: some limits on our capacity for processing information. Psychological Review, 63 (1956), 81-97.
• [45] P. M. Milner: Physiological psychology. Holt, NY, 1970.
• [46] R. Moore: Methods and Applications of Interval Analysis. SIAM, Philadelphia, 1979.
• [47] M. Mukaidono, Y. Yam and V. Kreinovich: Intervals is All We Need: An Argument. Proc. 8th Int. Fuzzy Systems Association World Congress, Taipei, Taiwan, (1999), 147-150.
• [48] Hoang Phuong Nguyen, S. Starks and V. Kreinovich: Towards foundations for traditional oriental medicine’. In: Nguyen Hoang Phuong and A. Ohsato (Eds.), Proc. Vietnam-Japan Bilateral Symp. on Fuzzy Systems and Applications, Ha-Long Bay, Vietnam, (1998), 704-708.
• [49] H. T. Nguyen and V. Kreinovich: Applications of continuous mathematics to computer science. Kluwer, Dordrecht, 1997.
• [50] H. T. Nguyen, V. Kreinovich and Q. Zuo: Interval-valued degrees of belief: applications of interval computations to expert systems and intelligent control. Int. J. of Uncertainty, Fuzziness, and Knowledge-Based Systems, 5(3), (1997), 317-358.
• [51] H. T. Nguyen, O. Kosheleva, V. Kreinovich and L. Ding: On the Optimal Choice of Quality Metric In Image Compression: A Soft Computing Approach. Proc. of the 6th Int. Conf. on Control, Automation, Robotics and Vision, Singapore, (2000).
• [52] H. T. Nguyen and V. Kreinovich: Nested Intervals and Sets: Concepts, Relations to Fuzzy Sets, and Applications. In: R. B. Kearfott et. al. (Eds.), Applications of Interval Computations. Kluwer, Dordrecht, 1996, 245-290.
• [53] H. T. Nguyen, V. Kreinovich and I. R. Goodman: Why Unary and Binary Operations in Logic: General Result Motivated by Interval-Valued Logics. Proc. J. 9th World Congress of the Int. Fuzzy Systems Association and 20th Int. Conf. of the North American Fuzzy Information Processing Society, Vancouver, Canada, (2001), 1991-1996.
• [54] H. T. Nguyen, V. Kreinovich, G. N. Solopchenko and C.-W. Tao: Why Two Sigma? A Theoretical Justification. In: L. Reznik and V. Kreinovich (Eds.), Soft Computing in Measurements and Information Acquisition. Springer-Verlag, 2002 (to appear).
• [55] H. T. Nguyen, V. Kreinovich and C.-W. Tao Why 95% and Two Sigma? A Theoretical Justification for an Empirical Measurement Practice. Proc. Int. Workshop on Intelligent Systems Resolutions: The 8th Bellman Continuum, Taipei, Taiwan, (2000), 358-362.
• [56] H. T. Nguyen, V. Kreinovich and B. Wu: Fuzzy/probability_fractal/smooth. Int. J. of Uncertainty, Fuzziness, and Knowledge-Based Systems, 7(4), (1999), 363-370.
• [57] H. T. Nguyen, N. R. Prasad, V. Kreinovich and H. Gassoumi: Some Practical Applications of Soft Computing and Data Mining. In: A. Kandel, H. Bunke, and M. Last (Eds.), Data Mining and Computational Intelligence. Springer-Verlag, Berlin, (2001), 273-307.
• [58] H. T. Nguyen and E. A. Walker: First Course in Fuzzy Logic. CRC Press, Boca Raton, FL, 1999.
• [59] N. J. Nilsson: Probabilistic logic. Artificial Intelligence, 28 (1986), 71-87.
• [60] R. A. Osegueda, C. Ferregut, V. Kreinovich, S. Seetharami and H. Schulte: Fuzzy (Granular) Levels of Quality, With Applications to Data Mining and to Structural Integrity of Aerospace Structures. Proc. 19th Int. Conf. of the North American Fuzzy Information Society, Atlanta, Georgia, (2000), 348-352.
• [61] R. A. Osegueda, S. R. Seelam, A. C. Holguin, V. Kreinovich and C.-W. Tao: Statistical and Dempster-Shafer Techniques in Testing Structural Integrity of Aerospace Structures. Proc. Int. Conf. on Intelligent Technologies, Bangkok, Thailand, (2000), 383-389.
• [62] P. Santiprabhob, H. T. Nguyen, W. Pedrycz and V. Kreinovich: Logicmotivated choice of fuzzy logic operators. Proc. FUZZ-IEEE’2001, Melbourne, Australia, (2001).
• [63] M. Siddaiah, M. A. Lieberman, N. R. Prasad and V. Kreinovich: A geometric approach to classification of trash in ginned cotton. Geombinatorics, 10(2), (2000), 77-82.
• [64] S. Srikrishnan, R. Araiza, H. Xie, S. A. Starks and V. Kreinovich: Automatic referencing of satellite and radar images. Proc. IEEE Systems, Man, and Cybernetics Conference, Tucson, Arizona, (2001), 2176-2181.
• [65] S. A. Starks and V. Kreinovich: Multi-spectral inverse problems in satellite image processing. In: A. Mohamad-Djafari (Ed.), Bayesian Inference for Inverse Problems. Proc. SPIE/Int. Society for Optical Engineering, 3459, San Diego, CA, (1998), 138-146.
• [66] S. A. Starks and V. Kreinovich: Locating the whole pattern is better than locating its pieces: a geometric explanation of an empirical phenomenon. Geombinatorics, 8(4), (1999), 116-121.
• [67] S. A. Starks and V. Kreinovich: Aerospace applications of soft computing and interval computations (with an emphasis on multi-spectral satellite imaging). In: M. Jamshidi, M. Fathi, and T. Furunashi (Eds.), Soft Computing, Multimedia, and Image Processing. Proc. World Automation Congress, Maui, Hawaii, (2000), 644-651.
• [68] S. Subbaramu, A. Q. Gates and V. Kreinovich: Application of Kolmogorov complexity to image processing: it is possible to have a better compression, but it is not possible to have the best one. Bulletin of the European Association for Theoretical Computer Science, 69 (1999), 145-150.
• [69] R. Trejo and Vladik Kreinovich: Error Estimations for Indirect Measurements: Randomized vs. Deterministic Algorithms For ‘Black-Box’ Programs. S. Rajasekaran, P. Pardalos, J. Reif, and J. Rolim (Eds.), Handbook on Randomized Computing. Kluwer, 2001.
• [70] R. Trejo, V. Kreinovich, I. R. Goodman, J.Martinez And R. Gonzalez: A Realistic (Non-Associative) Logic And a Possible Explanations of 7+-2 Law. Int. J. of Approximate Reasoning, 29 (2002) 235-266.
• [71] K. Villaverde and V. Kreinovich: A linear-time algorithm that locates local extrema of a function of one variable from interval measurement results. Interval Computations, 4 (1993), 176-194.
• [72] K. Villaverde and V. Kreinovich: Parallel algorithm that locates local extrema of a function of one variable from interval measurement results. Reliable Computing, Supplement (Extended Abstracts of Int.Workshop on Applications of Interval Computations, El Paso, TX, (1995), 212-219.
• [73] Q. Wen, A. Q. Gates, J. Beck, V. Kreinovich and G. R. Keller: Towards automatic detection of erroneous measurement results in a gravity database. Proc. IEEE Systems, Man, and Cybernetics Conference, Tucson, Arizona, (2001), 2170-2175.
• [74] J. Wolff Von Gudenberg and V. Kreinovich Candidate Sets for Complex Interval Arithmetic. In: Hrushikesha Mohanty and Chitta Baral (Eds.), Trends in Information Technology. Proc. of the Int. Conf. on Information Technology. Bhubaneswar, India, (1999), 230-233.
• [75] K. Worden, R. Osegueda, C. Ferregut, S. Nazarian, D. L. George, M. J. George, V. Kreinovich, O. Kosheleva and S. Cabrera: Interval Methods in Non-Destructive Testing of Aerospace Structures and in Mammography. Int. Conf. on Interval Methods and their Application in Global Optimization, Nanjing, China, (1998), abstract: 152-154.
• [76] K. Worden, R. Osegueda, C. Ferregut, S. Nazarian, E. Rodriguez, D. L. George, M. J. George, V. Kreinovich, O. Kosheleva and S. Cabrera: Interval Approach to Non-Destructive Testing of Aerospace Structures and to Mammography. In: Goetz Alefeld and Raul A. Trejo (Eds.), Interval Computations and its Applications to Reasoning Under Uncertainty, Knowledge Representation, and Control Theory. Proc. Workshop on Interval Computations, 4th World Congress on Expert Systems, México City, México, (1998).
• [77] K. Worden, R. Osegueda, C. Ferregut, S. Nazarian, D. L. George, M. J. George, V. Kreinovich, O. Kosheleva And S. Cabrera: Interval Methods in Non-Destructive Testing of Material Structures. Reliable Computing, 7(4), (2001), 341-352.
• [78] website on interval computations http://www.cs.utep.edu/interval-comp
• [79] Y. Yam, M. Mukaidono and V. Kreinovich: Beyond [0,1] to Intervals and Further: Do We Need All New Fuzzy Values? Proc. 8th Int. Fuzzy Systems Association World Congress, Taipei, Taiwan, (1999), 143-146.
• [80] Y. Yam, H. T. Nguyen and V. Kreinovich: Multi-Resolution Techniques in the Rules-Based Intelligent Control Systems: A Universal Approximation Result. Proc. 14th IEEE Int. Symp. on Intelligent Control/Intelligent Systems and Semiotics, Cambridge, Massachusetts, (1999), 213-218.
• [81] H. Xie, N. Hicks, G. R. Keller, H. Huang and V. Kreinovich: Automatic image registration based on a FFT algorithm and IDL/ENVI. Proc. Int. Conf. On Remote Sensing and GIS/GPS, Hyderabad, India, (2000).
• [82] L. A. Zadeh: Fuzzy sets and information granularity. In: M. Gupta, R. Ragade, and R. Yager (Eds.), Advances in Fuzzy Set Theory and Application. North Holland, Amsterdam, (1979), 3-18.