Abstract
Whereas set theory is generally treated as a foundation of mathematics (sometimes said “logical foundation”), and this permits to formulate all mathematical results in a few precise set-theoretic terms, there is no such theory for the intelligence - human, artificial, or natural, like the intelligence of evolutionary mechanisms. AI, thus, remains an engineering discipline, without a mathematical framework for unifying various approaches to explicating or modeling intelligence. Development of a foundational theory for AI, primarily one focused on “mental content”, sounds like a high priority collective task for the AI research community. Such theory could be named idea theory by the pattern “set theory”. In this paper, the features of an algebraic idea theory are proposed; one with three primitive operations originating in the algebraic approach to data earlier proposed by the author and named “A3”: aggregation, association, atomification. This theory is supposed to be an extension of a set theory built upon ground mereology, i.e., upon a set theory with inclusion rather than membership as primitive relation. Idea theory is believed to be sufficient for describing and generating all structures built by mind. A virtual machine for generating ideas is described.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Genesereth, M.R., Nilsson, J.B.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann (1987)
Drugus, I.: A Whole brain Approach to the web. In: 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops, Silicon Valley, CA, USA (2007)
Drugus, I.: Universics: a common formalization framework for brain informatics and semantic web. In: Web Intelligence and Intelligent Agents, pp. 55–78. InTech Publishers, Vucovar (2010)
Drugus, I., Universics: an axiomatic theory of universes for the foundations (in two parts). In: Proceedings of the Workshop on Foundations of Informatics, 24–29 August 2015, Chisinau, Republic of Moldova, pp. 118–153 (2015)
Drugus, I.: Metalingua: a language to mediate communication with semantic web in natural languages. In: Thaung, K.S. (ed.) Advanced Information Technology in Education, AISC 126, 2011, pp. 109–115. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-25908-1_16
Drugus, I.: Generalized Boolean algebras as single composition systems for measure theory. In: Proceedings of the 4th Conference of Mathematical Society of Moldova (CMSM4 2017), 28 June–2 July 2017, Chisinau, Republic of Moldova, pp. 75–78 (2017)
Drugus, I.: A universal algebraic set theory built on mereology with applications. Logica Universalis 16, 253–283 (2022)
Drugus, I., Skobelev, V.G.: Imbrication algebras – algebraic structures of nesting order. CSJM 78(3), 233–250 (2018)
Locke, J.: An Essay Concerning Humane Understanding 1st edn. Thomas Basset. London (1690)
Fejer, P.A., Simovici, D.A.: Elementary set theory. In: Mathematical Foundations of Computer Science. Texts and Monographs in Computer Science. Springer, New York. (1991). https://doi.org/10.1007/978-1-4612-3086-1_1
Garrido, A.: Logical foundations of artificial intelligence. BRAIN: Broad Research in Artificial Intelligence and Neuroscience (2010)
Descartes’ Theory of Ideas. https://plato.stanford.edu/entries/descartes-ideas/. Accessed 30 Mar 2023
Russell, B.: The Problems of Philosophy. Henry Holt, New York (1912)
Bell, J.L.: Sets and classes as many. J. Philos. Log. 29(6), 585–601 (2000)
Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Morgan Kaumann Publishers (2004)
Kutyniok, G. The Mathematics of Artificial Intelligence. arXiv:2203.08890 (2022)
Arora, S.: The mathematics of machine learning: an introduction. In: Proceedings of the International Congress of Mathematicians – 2018, Rio de Janeiro, vol. 1, pp. 377–390. (2018)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Drugus, I. (2023). Idea Theory: Towards Logical Foundations of Intelligence Science. In: Arai, K. (eds) Proceedings of the Future Technologies Conference (FTC) 2023, Volume 2. FTC 2023. Lecture Notes in Networks and Systems, vol 814. Springer, Cham. https://doi.org/10.1007/978-3-031-47451-4_25
Download citation
DOI: https://doi.org/10.1007/978-3-031-47451-4_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-47450-7
Online ISBN: 978-3-031-47451-4
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)