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 inAI and Society
© 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. ...
Publication in research information system
MetadataShow full item record
Funding program(s)Public research networked with companies, BF; Others, Business Finland
Additional information about fundingOpen Access funding provided by University of Jyväskylä (JYU). This research has been supported by Business Finland for the SEED-project (https://seedecosystem.fi).
Showing items with similar title or keywords.
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 ...
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 ...
Greiner, David; Periaux, Jacques; Quagliarella, Domenico; Magalhaes-Mendes, Jorge; Galván, Blas (Hindawi Publishing Corporation, 2018)
Karvonen, Antero; Saariluoma, Pertti (ERCIM EEIG, 2023)AI is replacing and supporting people in many intelligence-requiring tasks. Therefore, it is essential to consider the conceptual grounds of designing future technical artefacts and technologies for practical use. We are ...
Golovianko, Mariia; Gryshko, Svitlana; Terziyan, Vagan; Tuunanen, Tuure (Taylor & Francis, 2023)This study uses a design science research methodology to develop and evaluate the Pi-Mind agent, an information technology artefact that acts as a responsible, resilient, ubiquitous cognitive clone – or a digital copy – ...