Abstract
AbstractThe 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
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Human-Computer Interaction,Philosophy
Reference86 articles.
1. Anderson JR (1993) Rules of the mind. Erlbaum, Hillsdale
2. Aristotle (1984) Complete works of Aristotle. Princeton University Press, Princeton
3. Aspray WF (1985) The scientific conceptualization of information: a survey. Ann History Comput 7(2):117–140
4. Avison D, Fitzgerald G (1995) Information systems development: methodologies, techniques and tools. McGraw-Hill, London
5. Baddeley A (1990) Human memory: theory and practice. Erlbaum, Hillsdale NJ
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献