Swipe to navigate through the chapters of this book
The term artificial intelligence (AI) stirs emotions. For one thing there is our fascination with intelligence, which seemingly imparts to us humans a special place among life forms. Questions arise such as “What is intelligence?”, “How can one measure intelligence?” or “How does the brain work?”. All these questions are meaningful when trying to understand artificial intelligence. However, the central question for the engineer, especially for the computer scientist, is the question of the intelligent machine that behaves like a person, showing intelligent behavior. Beside discussing these issues, this introductory chapter gives a brief sketch of the history of AI.
Please log in to get access to this content
To get access to this content you need the following product:
An autonomous robot works independently, without manual support, in particular without remote control.
Higher-order logics are extensions of predicate logic, in which not only variables, but also function symbols or predicates can appear as terms in a quantification. Indeed, Gödel only showed that any system that is based on predicate logic and can formulate Peano arithmetic is incomplete.
This statement applies to “total correctness”, which implies a proof of correct execution as well as a proof of termination for every valid input.
Those of us, such as scientists, computer scientists and engineers, who enjoy it may of course continue our work.
Many EU and German Ministry of Education and Research funding programs for example require that scientists who submit proposals show evidence that their research will open up new markets.
In the coming demographic shift, assistance robots could become important for the elderly and thus for our whole society.
- Springer International Publishing
- Sequence number
- Chapter number
- Chapter 1