Abstract
The world of matter was understood clearly only by finding its invariants such as mass and energy. From the invariants, physics has derived theories to govern the whole material world as variants. Cyberworlds are information worlds. Hence, finding the invariants of information worlds is the key to the success. The laws of information worlds as the discipline belong to what we call mathematics. Mathematical invariants are, in most general cases, equivalence relations. The intelligent parts of cognition for conceptualization rely on induction of concepts from cumulative knowledge gathered ubiquitously on the Web from cyberworlds and also physical devices ubiquitously in the real world. Induction and deduction based on traditional logic are found to be too limited in their capability, and they are becoming topological, algebraic topological in particular to compute. Autonomy is achieved by integrating all the cyberworlds by attaching functions based on invariants autonomously, and by deducing rapidly evolving variants from invariants also autonomously, to make the results trusted. Autonomous visual computing based on differential topology, Morse theory in particular, for autonomous digital contents generation is of increasing interest in the ubiquitous information communication community.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Kunii, T.L.: Invitation to System Sciences – Poetry, Philosophy and Science in the Computer Age (in Japanese), October 1969. Mathematical Sciences, pp. 54–56. Science Publishing, Tokyo, Japan (1969)
Peirce, C.S.: Existential Graphs, MS 514 with Commentary by Sowa, J.F., http://www.jfsowa.com/peirce/ms514.htm
Kunii, T.L., Harada, M.: SID: A System for Interactive Design. In: Proceedings of National Computer Conference 1980, AFIPS Conference Proceedings, vol. 49, pp. 33–40. AFIPS Press, Arlington, Virginia (1980)
Harada, M., Kunii, T. L.: A Design Process Formalization. In: Proceedings of the IEEE Computer Societys Third International Computer Software and Applications Conference, November 1979, Chicago, pp. 367–373 (1979)
Harada, M., Kunii, T.L., Saito, M.: RGT: The Recursive Graph Theory as a Theoretical Basis of a System Design Tool DESIGN-TOOL- With an Application to Medical Information System Design. In: Proceedings of the International Symposium on Medical Information System, Osaka, Japan, October 1978, pp. 503–507 (1978)
Kunii, T. L., Weyl, S. and Tenenbaum, J.M.: A Relational Data Base Schema for Describing Complex Pictures with Color and Texture. In: Proceedings of the Second International Joint Conference on Pattern Recognition, Lyngby-Copenhagen, August 1974, pp. 310–316 (1974)
Buchmann, A.P., Kunii, T.L.: Evolutionary Drawing Formalization in an Engineering Database Environment. In: Proceedings of the IEEE Computer Society’s Third International Computer Software and Applications Conference, Chicago, November 1979, pp. 732–737 (1979)
Spencer-Brown, G.: Laws of Form, Crown Pub (September 1972) ISBN-10: 0517527766
Sowa, J.F.: Knowledge Representation. In: Logical, Philosophical, and Computational Foundations, 2000, Brooks Cole Publishing Co, Pacific Grove, CA (2000)
Feldbau, J.: Sur la loi de composition entre éléments des groupes dhomotopie, Séminaire Ehresmann. Topologie et géométrie différentielle, tome 2 (1958–960), exp. no 11, p. 017, Doctoral Dissertation (1958–1960), http://www.numdam.org/item?id=SE_1958-1960_2__A11_0
Morse, M.: The Calculus of Variations in the Large. American Mathematical Society Colloquium Publication 18, New York (1934)
Shinagawa, Y., Kunii, T.L., Fomenko, A.T., Takahashi, S.: Coding of Object Surfaces Using Atoms. In: L.,, Earnshaw, R.A., Encarnacao, J., Hagen, H., Kaufman, A., Klimenko, S., Nielson, G., Post, F., Thalmann, D. (eds.) Scientific Visualization: Advances and Challenges. Proc. Office of Naval Research Data Visualization Workshop, Darmstadt, Germany, July 6-8, 1993, pp. 309–322. Rosenblum, Academic Press, London (1994)
Kunii, T.L.: Topological Graphics. In: SCCG 2001. Proceedings of Spring Conference on Computer Graphics, Budmerice, Slovakia, April 25-28, 2001, pp. 2–9. IEEE Computer Society Press, Los Alamitos, California, USA (2001)
Guillemin, V., Pollack, A.: Differential Topology (1974)
Reeb, B.v.G.: Sur les points singuliers d’une forme de Pfaff completement integrable ou d’une fonction numérique. Comptes Rendus Acad. Sciences 222, 847–849 (1946)
Kergosien, Y.L.: Generic Sign Systems in Medical Imaging. IEEE Computer Graphics and Applications 11(5), 46–65 (1991)
Shinagawa, Y., Kunii, T.L., Kergosien, Y.L.: Surface Coding Based on Morse Theory. IEEE Computer Graphics & Applications 66–78 (1991)
Shinagawa, Y., Kunii, T.L.: Unconstrained Automatic Image Matching Using Multiresolutional Critical-Point Filters. IEEE Trans Pattern Analysis and Machine Intelligence 20(9), 994–1010 (1998)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kunii, T.L. (2007). Autonomic and Trusted Computing for Ubiquitous Intelligence. In: Indulska, J., Ma, J., Yang, L.T., Ungerer, T., Cao, J. (eds) Ubiquitous Intelligence and Computing. UIC 2007. Lecture Notes in Computer Science, vol 4611. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73549-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-73549-6_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73548-9
Online ISBN: 978-3-540-73549-6
eBook Packages: Computer ScienceComputer Science (R0)