Author:
Heitzinger Clemens,Woltran Stefan
Abstract
AbstractThis chapter gives an overview of the most important methods in artificial intelligence (AI). The methods of symbolic AI are rooted in logic, and finding possible solutions by search is a central aspect. The main challenge is the combinatorial explosion in search, but the focus on the satisfiability problem of propositional logic (SAT) since the 1990s and the accompanying algorithmic improvements have made it possible to solve problems on the scale needed in industrial applications. In machine learning (ML), self-learning algorithms extract information from data and represent the solutions in convenient forms. ML broadly consists of supervised learning, unsupervised learning, and reinforcement learning. Successes in the 2010s and early 2020s such as solving Go, chess, and many computer games as well as large language models such as ChatGPT are due to huge computational resources and algorithmic advances in ML. Finally, we reflect on current developments and draw conclusions.
Publisher
Springer Nature Switzerland
Reference21 articles.
1. Böck, M., Malle, J., Pasterk, D., Kukina, H., Hasani, R., & Heitzinger, C. (2022). Superhuman performance on sepsis MIMIC-III data by distributional reinforcement learning. PLoS One, 17(11), e0275358. https://doi.org/10.1371/journal.pone.0275358
2. Casilli, A. (2021). Waiting for robots: The ever-elusive myth of automation and the global exploitation of digital labor. Sociologias, 23(57), 112–133.
3. Darwiche, A. (2018). Human-level intelligence or animal-like abilities? Communications of the ACM, 61(10), 56–67.
4. Eloundou T., et al. (2023). GPTs are GPTs: An early look at the labor market impact potential of large language models. arXiv:2303.10130.
5. Ganesh, V., & Vardi, M. Y. (2020). On the unreasonable effectiveness of SAT solvers. In Beyond the worst-case analysis of algorithms (pp. 547–566). Columbia University Press.