Theory languages in designing artificial intelligence
Saariluoma, P., & Karvonen, A. (2023). Theory languages in designing artificial intelligence. AI and Society, Early online. https://doi.org/10.1007/s00146-023-01716-y
Published in
AI and SocietyDate
2023Discipline
KognitiotiedeKoulutusteknologia ja kognitiotiedeCognitive ScienceLearning and Cognitive SciencesCopyright
© The Author(s) 2023
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.
...
Publisher
SpringerISSN Search the Publication Forum
0951-5666Keywords
Publication in research information system
https://converis.jyu.fi/converis/portal/detail/Publication/183963568
Metadata
Show full item recordCollections
Related funder(s)
Business FinlandFunding program(s)
Public research networked with companies, BF; Others, Business FinlandAdditional information about funding
Open Access funding provided by University of Jyväskylä (JYU). This research has been supported by Business Finland for the SEED-project (https://seedecosystem.fi).License
Related items
Showing items with similar title or keywords.
-
Computational Rationality as a Theory of Interaction
Oulasvirta, Antti; Jokinen, Jussi P. P.; Howes, Andrew (ACM, 2022)How do people interact with computers? This fundamental question was asked by Card, Moran, and Newell in 1983 with a proposition to frame it as a question about human cognition – in other words, as a matter of how information ... -
Towards a Great Design of Conceptual Modelling
Kiyoki, Yasushi; Thalheim, Bernhard; Duží, Marie; Jaakkola, Hannu; Chawakitchareon, Petchporn; Heimbürger, Anneli (IOS Press, 2020)Humankind faces a most crucial mission; we must endeavour, on a global scale, to restore and improve our natural and social environments. This is a big challenge for global information systems development and for their ... -
Evolutionary Algorithms and Metaheuristics : Applications in Engineering Design and Optimization
Greiner, David; Periaux, Jacques; Quagliarella, Domenico; Magalhaes-Mendes, Jorge; Galván, Blas (Hindawi Publishing Corporation, 2018) -
Design Systems for Intelligent Technology
Myllylä, Mari; Karvonen, Antero; Koskinen, Hanna (AHFE international, 2024)Intelligent technology seems poised to emerge with unprecedented force across many domains of human activity. Advanced technologies (e.g. artificial intelligence (AI)–based applications and services) hold great promise to ... -
Mapping Automation in Journalism Studies 2010–2019 : A Literature Review
Siitonen, Marko; Laajalahti, Anne; Venäläinen, Päivi (Routledge, 2024)The algorithmic turn has fundamentally transformed journalistic work. Academic interest in the implication of automated algorithms for journalism has grown hand-in-hand with their everyday use. This paper presents a ...