Theory languages in designing artificial intelligence
Abstract
The foundations of AI design discourse are worth analyzing. Here, attention is paid to the nature of theory languages used in designing new AI technologies because the limits of these languages can clarify some fundamental questions in the development of AI. We discuss three types of theory language used in designing AI products: formal, computational, and natural. Formal languages, such as mathematics, logic, and programming languages, have fixed meanings and no actual-world semantics. They are context- and practically content-free. Computational languages use terms referring to the actual world, i.e., to entities, events, and thoughts. Thus, computational languages have actual-world references and semantics. They are thus no longer context- or content-free. However, computational languages always have fixed meanings and, for this reason, limited domains of reference. Finally, unlike formal and computational languages, natural languages are creative, dynamic, and productive. Consequently, they can refer to an unlimited number of objects and their attributes in an unlimited number of domains. The differences between the three theory languages enable us to reflect on the traditional problems of strong and weak AI.
References
[1]
Anderson JR Rules of the mind 1993 Hillsdale Erlbaum
[2]
Aristotle Complete works of Aristotle 1984 Princeton Princeton University Press
[3]
Aspray WF The scientific conceptualization of information: a survey Ann History Comput 1985 7 2 117-140
[4]
Avison D and Fitzgerald G Information systems development: methodologies, techniques and tools 1995 London McGraw-Hill
[5]
Baddeley A Human memory: theory and practice 1990 Hillsdale NJ Erlbaum
[6]
Bar-Hillel Y and Carnap R Semantic information Br J Philos Sci 1953 4 147-152
[7]
Bartlett F Remembering 1932 Cambridge Cambridge University Press
[8]
Bernal JD Science in history 1969 Harmondsworth Penguin Books
[9]
Boden M AI 2016 Oxford Oxford University Press
[10]
Bringsjord S, Govindarajulu NS (2020) Artificial Intelligence. In: Zalta EN (Ed.) The Stanford encyclopedia of philosophy (Summer 2020 ed.). https://plato.stanford.edu/archives/sum2020/entries/artificial-intelligence/
[11]
Carstairs-McCarthy A Aronoff M and Rees-Miller J Origins of language The handbook of linguistics 2001 Oxford Basil Blackwell
[12]
Chandler D Semiotics: the basics 2007 London Routledge
[13]
Chomsky N Syntactic structures 1957 The Hague Mounton
[14]
Crystal D Linguistics 1971 Harmondsworth Penguin Books
[15]
de Saussure F Course in general linguistics 1983 London Duckworth
[16]
Derry TK and Williams TI A short history of technology 1960 New York Dover
[17]
Dosse F Geschichte des Strukturalismus [The history of structuralism] 1992 Frankfurt Am Main Fischer
[18]
Dreyfus H What computers (still) can’t do? 1992 Cambridge MIT Press
[19]
Eco U A theory of semiotics 1976 Bloomington Indiana University Press
[20]
Floridi L Floridi L Ethics and information revolution Information and computer ethics 2010 Cambridge Cambridge University Press 3-19
[21]
Floridi L Philosophy of information 2011 Oxford Oxford University Press
[22]
Floridi L (2013) The philosophy of information. Oxford univeristy press, Oxford
[23]
Floridi L The logic of design as a conceptual logic of information Mind Mach 2017 27 3 495-519
[24]
Floridi L and Taddeo M The symbol grounding problem: a critical review of a fifteen years of research J Exp Theor Artif Intell 2004 17 419-445
[25]
Fodor J A theory of contents 1990 Cambridge MIT Press
[26]
Ford M The rise of robots 2014 New York Basic Books
[27]
Foucault M (1972) The Archeology of knowledge. Tavistock, London
[28]
Franzen T Gödel’s theorem 2005 Wesley Peters
[29]
Fukuda K Science, technology and innovation ecosystem transformation toward society 5.0 Int J Prod Econ 2020 220 2-14
[30]
Garman M Psycholinguistics 1990 Cambridge Cambridge University Press
[31]
Gödel K On formally undecidable propositions 1962 New York Basic Books
[32]
Gunkel D The machine question 2012 Cambridge MIT Press
[33]
Habermas J Theorie des kommunikativen Handelns 1–2 [Theory of communicative behavior] 1981 Frankfurt am Main Surkamp
[34]
Habermas J Diskursethik [Discourse ethics] 2009 Frankfurt am Main Surkamp
[35]
Harnad S The symbol grounding problem Phys D 1990 42 1–3 335-346
[36]
Hawkes T Structuralism and semiotics 1977 London Routledge
[37]
Hintikka J Knowledge and belief 1963 Ithaca Cornell University Press
[38]
Hintikka J Logic, language-games and information 1973 Oxford Clarendon Press
[39]
Hintikka J and Sandu G van Bentheim J and Meulen A Game theoretical semantics Handbook of logic and language 1997 Amsterdam Elsevier
[40]
Hinton G Hinton G and Anderson J Implementing sematic networks in parallel hardware Parallel models of associative memory 1981 Hillsdale Erlbaum
[41]
Hodges A Alan Turing: the enigma 2014 Princeton Princeton University Press
[42]
Johnson-Laird P Mental models: towards a cognitive science of language, inference, and consciousness 1983 Cambridge Harvard University Press
[43]
Johnson-Laird P How we reason? 2008 Oxford Oxford University Press
[44]
Jones D, Snider C, Nassehi A, Yon J, and Hicks B Characterising the Digital Twin: a systematic literature review CIRP J Manuf Sci Technol 2020 29 36-52
[45]
Kåhre J The mathematical theory of information 2002 Boston Kluwer
[46]
Kant I Kritik der reinen Vernunft. [The critique of pure reason] 1976 Hamburg Felix Meiner Original work published 1781
[47]
Kleene S Introduction to metamathematics 1971 Groningen Wolters-Noorhoff
[48]
Kohonen T Associative memory 1977 Berlin Springer
[49]
Kuehne U Die Methode des Gedankenexperiments 2005 Frankfurt am Main Surkamp
[50]
Kuhn T The structure of scientific revolutions 1962 Chicago University of Chicago Press
[51]
Leech GN Semantics 1983 Harmondsworth Penguin Books
[52]
Lindsay P and Norman D Human information processing 1977 New York Academic Press
[53]
Lucas JR Anderson AR Minds, machines and Gödel Minds and machines 1964 Upper Saddle River Prentice-Hall 43-59
[54]
Lyons J Semantics 1–2 1977 Cambridge Cambridge University Press
[55]
Lyons J (1995) Linguistic semantics: an introduction. Cambridge University Press, Cambridge, UK
[56]
McCarthy RA and Warrington EK Cognitive neuropsychology 1990 San Diego Academic Press
[57]
Minsky ML Computation: Finite and infinite machines 1967 Englewood Cliffs Prentice-Hall
[58]
Myllylä M, Saariluoma P (2022) Expertise and becoming conscious of something. New Ideas Psychol 64:100916
[59]
Newell A and Simon HA Human problem solving 1972 Englewood Cliffs Prentice-Hall
[60]
Ogden C and Richards I The meaning of meaning 1923 London Routledge & Kegan Paul
[61]
Passmore J A hundred years of philosophy 1957 Harmondsworth Penguin Books
[62]
Peirce C Collected papers V-VII 1940 Cambridge Harvard University Press
[63]
Petzold C The annotated Turing 2008 Indianapolis Wiley
[64]
Raatikainen P (2021) Gödel’s incompleteness theorems. In: Zalta EN (Ed.) The Stanford encyclopedia of philosophy (Spring 2021 ed.). https://plato.stanford.edu/archives/spr2021/entries/goedel-incompleteness/
[65]
Rosen R Life itself: a comprehensive inquiry into the nature, origin, and fabrication of life 1991 New York Columbia University Press
[66]
Russell S and Norvig P Artificial intelligence 1995 Upper Saddle River Prentice-Hall
[67]
Saariluoma P Foundational analysis: presuppositions in experimental psychology 1997 London Routledge
[68]
Saariluoma P and Rauterberg M Turing’s error-revised Int J Philos Study 2016 4 22-41
[69]
Saariluoma P, Nevala K, and Karvinen M Gero J and Goel A Content-based analysis of modes in design engineering Design computing and cognition’06 2006 Berlin Springer 325-344
[70]
Saariluoma P, Cañas JJ, and Leikas J Designing for life: a human perspective on technology development 2016 London Palgrave Macmillan UK
[71]
Saariluoma P, Rousi R (2015) Symbolic interactions: towards a cognitive scientific theory of meaning in human technology interaction. J Adv Humanit 3(3): 310–324. http://cirworld.org/journals/index.php/JAH/article/view/100na
[72]
Saariluoma P, Cañas J, Karvonen A (2021) Human digital twins and cognitive mimetic. In: Human Interaction, Emerging Technologies and Future Applications III: Proceedings of the 3rd International Conference on Human Interaction and Emerging Technologies: Future Applications (IHIET 2020), August 27–29, 2020, Paris, France (pp. 97–102). Springer International Publishing
[73]
Salomaa A Computation and automata 1985 Cambridge Cambridge University Press
[74]
Searle J Mind, brains & science 1991 London Penguin Books
[75]
Shannon C A mathematical theory of communication Bell Syst Tech J 1948 27 379-423 623–656
[76]
Shannon C and Weaver W The mathematical theory of communication 1949 Urbana Illinois University Press
[77]
Tegmark M Life 3.0 2017 St Ives Penguin Books
[78]
Turing AM Copeland J Intelligent machinery The essential Turing 1948 Oxford Clarendon Press
[79]
Turing AM Computing machinery and intelligence Mind 1950 59 433-460
[80]
Turing AM (1936–7) On computable numbers, with an application to the entscheidungsproblem. Proc Lond Math Soc 42: 230–265
[81]
von Wright GH Logiikka, filosofian ja kieli [Logic, philosophy and language] 1956 Porvoo WSOY
[82]
Waldrop MM The dream machine: JCR Licklider and the revolution that made computing personal 2018 4 San Francisco Stripe Press
[83]
Watson J Behaviorism 1914 London Keagan Paul
[84]
Wiener N Cybernetics 1948 Cambridge MIT Press
[85]
Wittgenstein L Philosophical investigations 1953 Oxford Basil Blackwell
[86]
Wittgenstein L Tractatus-Logico philosophicus 1961 London Routledge & Kegan Paul Original work published 1921
Index Terms
- Theory languages in designing artificial intelligence
Index terms have been assigned to the content through auto-classification.
Recommendations
Artificial intelligence
AbstractArtificial intelligence (AI) is the Science and Engineering domain concerned with the theory and practice of developing systems that exhibit the characteristics we associate with intelligence in human behavior. Starting with a brief history of ...
Programming Languages and Artificial General Intelligence
Proceedings of the 8th International Conference on Artificial General Intelligence - Volume 9205Despite the fact that there are thousands of programming languages existing there is a huge controversy about what language is better to solve a particular problem. In this paper we discuss requirements for programming language with respect to AGI ...
Advancing artificial intelligence research and dissemination through conference series: Benchmark, scientific impact and the MICAI experience
This article presents an overview, analysis and benchmark of the best-known artificial intelligence (AI) conferences, including the Mexican International Conference on Artificial Intelligence (MICAI) conference series, and describes how MICAI has ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
© The Author(s) 2023.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 10 July 2023
Accepted: 21 June 2023
Received: 11 October 2022
Author Tags
Qualifiers
- Research-article
Funding Sources
- Business Finland
- University of Jyväskylä (JYU)
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 23 Feb 2025