Ulrich Furbach – författare

This book constitutes the refereed post-conference proceedings of the Third IFIP TC 12 International Conference on Computational Intelligence in Data Science, ICCIDS 2020, held in Chennai, India, in February 2020.The 19 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 94 submissions. The papers are organized in the following topical sections: computational intelligence for text analysis; computational intelligence for image and video analysis; and data science.

This book constitutes the refereed post-conference proceedings of the Third IFIP TC 12 International Conference on Computational Intelligence in Data Science, ICCIDS 2020, held in Chennai, India, in February 2020.

The 19 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 94 submissions. The papers are organized in the following topical sections: computational intelligence for text analysis; computational intelligence for image and video analysis; and data science.

This book constitutes the refereed post-conference proceedings of the Third IFIP TC 12 International Conference on Computational Intelligence in Data Science, ICCIDS 2020, held in Chennai, India, in February 2020.The 19 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 94 submissions. The papers are organized in the following topical sections: computational intelligence for text analysis; computational intelligence for image and video analysis; and data science.

ThisvolumecontainstheresearchpaperspresentedatKI2005,the28thGerman Conference on Arti?cial Intelligence, held September 11-14, 2005 in Koblenz, Germany. KI 2005 was part of the International Conference Summer Koblenz 2005, which included conferences covering a broad spectrum of topics that are all related to AI: tableau-based reasoningmethods (TABLEAUX), multi-agent s- tems (MATES), automated reasoningand knowledgerepresentation(FTP), and software engineering and formal methods (SEFM). The Program Committee received 113 submissions from 22 countries. Each paperwasreviewedbythreereferees;afteranintensivediscussionabouttheb- derline papers during the online meeting of the Program Committee, 29 papers were accepted for publication in this proceedings volume. The program included three outstanding keynote talks: Ian Horrocks (U- versityofManchester,UK),LucSteels(UniversityofBrusselsandSony)and- bastian Thrun (Stanford University), who covered topics like logical foundation, cognitive abilities of multi-agent systems and the DARPA Grand Challenge. KI 2005 also included two excellent tutorials: Techniques in Evolutionary Robotics and Neurodynamics (Frank Pasemann, Martin Hulse, .. Ste?en Wis- mann and Keyan Zahedi) and Connectionist Knowledge Representation and Reasoning (Barbara Hammer and Pascal Hitzler).Many thanks to the tu- rial presenters and the tutorial chair Joachim Hertzberg. Peter Baumgartner, in hisroleasaworkshopchair,collected11workshopsfromallareasofAIresearch, whichalsoincludes ameeting ofthe GermanPriorityProgramonKooperierende Teams mobiler Roboter in dynamischen Umgebungen. I want to sincerely thank all the authors who submitted their work for c- sideration and the Program Committee members and the additional referees for theirgreate?ortandprofessionalworkinthereviewandselectionprocess.Their names are listed on the following pages.

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006. IJCAR 2006 is a merger of CADE, FroCoS, FTP, TABLEAUX, and TPHOLs.The 41 revised full research papers and 8 revised system descriptions presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 152 submissions. The papers address the entire spectrum of research in automated reasoning including formalization of mathematics, proof theory, proof search, description logics, interactive proof checking, higher-order logic, combination methods, satisfiability procedures, and rewriting. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, search, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.

This volume contains the papers selected for presentation at the conference and two abstracts from invited speakers. The programme committee selected these 25 papers from 12 countries out of 65 submissions from 17 countries. The rst JELIA meeting was in Rosco , France, ten years ago. Afterwards, it took place in the Netherlands, Germany, United Kingdom, Portugal, and now again in Germany. The proceedings of the last four meetings appeared in the Springer-Verlag LNCS series, and a selected series of papers of the English and the Portuguese meeting appeared as special issues in the Journal of Applied Non-Classical Logics and in the Journal of Automated Reasoning, respectively. The aim of JELIA was and still is to provide a forum for the exchange of ideas and results in the domain of foundations of AI, focusing on rigorous descriptions of some aspects of intelligence. These descriptions are promoted by applications, and produced by logical tools and methods. The papers contained in this volume cover the following topics: 1. Logic programming 2. Epistemic logics 3. Theorem proving 4. Non-monotonic reasoning 5. Non-standard logics 6. Knowledge representation 7. Higher order logics We would like to warmly thank the authors, the invited speakers, the m- bers of the program committee, and the additional reviewers listed below. They all have made these proceedings possible and ensured their quality.

This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.

This volume contains the papers selected for presentation at the conference and two abstracts from invited speakers. The programme committee selected these 25 papers from 12 countries out of 65 submissions from 17 countries. The rst JELIA meeting was in Rosco , France, ten years ago. Afterwards, it took place in the Netherlands, Germany, United Kingdom, Portugal, and now again in Germany. The proceedings of the last four meetings appeared in the Springer-Verlag LNCS series, and a selected series of papers of the English and the Portuguese meeting appeared as special issues in the Journal of Applied Non-Classical Logics and in the Journal of Automated Reasoning, respectively. The aim of JELIA was and still is to provide a forum for the exchange of ideas and results in the domain of foundations of AI, focusing on rigorous descriptions of some aspects of intelligence. These descriptions are promoted by applications, and produced by logical tools and methods. The papers contained in this volume cover the following topics: 1. Logic programming 2. Epistemic logics 3. Theorem proving 4. Non-monotonic reasoning 5. Non-standard logics 6. Knowledge representation 7. Higher order logics We would like to warmly thank the authors, the invited speakers, the m- bers of the program committee, and the additional reviewers listed below. They all have made these proceedings possible and ensured their quality.

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.

Warum werden Roboter oft als bedrohlich oder ihr Einsatz als unsozial empfunden? Können künstliche Systeme Emotionen und Bewusstsein haben? Die These des Buches ist es, dass wir von den unterschiedlichen Sichtweisen der Literatur- und Geistesgeschichte profitieren und dadurch aktuelle Entwicklungen der Robotik unvoreingenommen aufnehmen können. Besonders deutlich werden die unterschiedlichen Sichtweisen, wenn mittelalterliche Golem-Mythen, die Philosophie der Aufklärung, androide Roboter aus der Romantik und die Entwicklung im 20. Jahrhundert betrachtet werden. Dabei erfahren wir auch einiges über die geistesgeschichtliche Entwicklung des Menschen, denn stets stellt sich auch die Frage nach dem, was der Mensch ist, was sein Bewusstsein ausmacht und was ihn von anderen Wesen oder Robotern unterscheidet. Gedanken zu den Möglichkeiten der Künstlichen Intelligenz und der aktuellen Determiniertheits-Debatte der Menschen runden das Buch ab.

Warum werden Roboter oft als bedrohlich oder ihr Einsatz als unsozial empfunden? Können künstliche Systeme Emotionen und Bewusstsein haben? Die These des Buches ist es, dass wir von den unterschiedlichen Sichtweisen der Literatur- und Geistesgeschichte profitieren und dadurch aktuelle Entwicklungen der Robotik unvoreingenommen aufnehmen können. Besonders deutlich werden die unterschiedlichen Sichtweisen, wenn mittelalterliche Golem-Mythen, die Philosophie der Aufklärung, androide Roboter aus der Romantik und die Entwicklung im 20. Jahrhundert betrachtet werden. Dabei erfahren wir auch einiges über die geistesgeschichtliche Entwicklung des Menschen, denn stets stellt sich auch die Frage nach dem, was der Mensch ist, was sein Bewusstsein ausmacht und was ihn von anderen Wesen oder Robotern unterscheidet. Gedanken zu den Möglichkeiten der Künstlichen Intelligenz und der aktuellen Determiniertheits-Debatte der Menschen runden das Buch ab.

Unaufhaltsam erobert die Digitalisierung unser Leben – auch mit Methoden der künstlichen Intelligenz (KI). Die Suchmaschinen-, die sozialen Netzwerk- oder die Versandplattform-Betreiber wissen zunehmend mehr von uns, über unsere Kauf- und Lebensgewohnheiten. Nutzerdaten sind ein wertvolles Wirtschaftsgut geworden. Wir leben und arbeiten mit Computersystemen, die sich intelligent verhalten oder gar intelligent sind. Dabei tauchen immer wieder Fragen auf wie „Können Maschinen intelligent sein?“ oder „Können sie Emotionen oder ein Bewusstsein haben?“. Damit sich Leser zu diesen Fragen ein eigenes Bild machen können, erläutern die Autoren anschaulich einzelne Techniken oder Methoden der KI und bringen diese mit Ansätzen aus Philosophie, Kunst und Neurobiologie in Zusammenhang. Dabei spielen Themen wie logisches Schließen, Wissen und Erinnern genauso eine Rolle wie maschinelles Lernen und künstliche neuronale Netze. Im Vordergrund steht die Frage, was Gedächtnis und Denken ausmacht, welche Rolle unsere Emotionen spielen, wenn wir uns als Menschen im Leben, in der Welt bewegen. Ein Buch, das ungewohnte Perspektiven auf die künstliche Intelligenz bietet.

Unaufhaltsam erobert die Digitalisierung unser Leben – auch mit Methoden der künstlichen Intelligenz (KI). Die Suchmaschinen-, die sozialen Netzwerk- oder die Versandplattform-Betreiber wissen zunehmend mehr von uns, über unsere Kauf- und Lebensgewohnheiten. Nutzerdaten sind ein wertvolles Wirtschaftsgut geworden. Wir leben und arbeiten mit Computersystemen, die sich intelligent verhalten oder gar intelligent sind. Dabei tauchen immer wieder Fragen auf wie „Können Maschinen intelligent sein?“ oder „Können sie Emotionen oder ein Bewusstsein haben?“. Damit sich Leser zu diesen Fragen ein eigenes Bild machen können, erläutern die Autoren anschaulich einzelne Techniken oder Methoden der KI und bringen diese mit Ansätzen aus Philosophie, Kunst und Neurobiologie in Zusammenhang. Dabei spielen Themen wie logisches Schließen, Wissen und Erinnern genauso eine Rolle wie maschinelles Lernen und künstliche neuronale Netze. Im Vordergrund steht die Frage, was Gedächtnis und Denken ausmacht, welche Rolle unsere Emotionen spielen, wenn wir uns als Menschen im Leben, in der Welt bewegen. Ein Buch, das ungewohnte Perspektiven auf die künstliche Intelligenz bietet.

Digitalization is inexorably conquering our lives - also with artificial intelligence (AI) methods. Search engine operators, social network operators and shipping platform operators know more and more about us, about our buying and living habits. User data has become a valuable commodity. We live and work with computer systems that behave intelligently or are even intelligent. Questions like "Can machines be intelligent?" or "Can they have emotions or a consciousness?" keep popping up. To enable readers to form their own opinion on these questions, the authors clearly explain individual techniques or methods of AI and relate them to approaches from philosophy, art and neurobiology. Topics such as logical reasoning, knowledge and memory play just as important a role as machine learning and artificial neural networks. In the foreground is the question of what constitutes memory and thinking, what role our emotions play when we as humans move through life, through the world. A book that offers unusual perspectives on artificial intelligence.

Digitalization is inexorably conquering our lives - also with artificial intelligence (AI) methods. Search engine operators, social network operators and shipping platform operators know more and more about us, about our buying and living habits. User data has become a valuable commodity. We live and work with computer systems that behave intelligently or are even intelligent. Questions like "Can machines be intelligent?" or "Can they have emotions or a consciousness?" keep popping up.

To enable readers to form their own opinion on these questions, the authors clearly explain individual techniques or methods of AI and relate them to approaches from philosophy, art and neurobiology. Topics such as logical reasoning, knowledge and memory play just as important a role as machine learning and artificial neural networks. In the foreground is the question of what constitutes memory and thinking, what role our emotions play when we as humans move through life, through the world. A book that offers unusual perspectives on artificial intelligence.

 

Das Buch Künstliche Intelligenz für Lehrkräfte führt die zentralen Ansätze und Gebiete der KI fundiert und insbesondere für Informatiklehrkräfte aufbereitet ein. Es bietet aber auch Lehrkräften mit anderem Hintergrund die Möglichkeit, sich mit den fachlichen Grundlagen von KI auseinanderzusetzen. Behandelte Themen sind insbesondere Problemlösen und Suche, Grundlagen des Maschinellen Lernens, Wissensrepräsentation und Schließen, Künstliche neuronale Netze, Tiefes Lernen, Generative KI und Robotik. In jedem Kapitel wird eine methodische Einführung gegeben, relevante Anwendungsbereiche aufgezeigt und Vorschläge für die konkrete Umsetzung im Unterricht gegeben. Zudem werden interdisziplinäre Bezüge hergestellt und Fragen der Ethik und gesellschaftliche Bezüge diskutiert.Die Herausgebenden und Autor:innen des Buches sind Lehrkräfte an Hochschulen aus den Bereichen Künstliche Intelligenz und Informatikdidaktik. Durch die interdisziplinäre Kooperation bietet das Buch sowohl einen fachlich fundierten Einstieg in das Thema KI als auch einen geeigneten didaktischen Zugang.