1.1 Was ist KI? 1.1 Was ist KI? Grundlagen der Künstlichen Intelligenz. 1.2 Menschlich handeln. 1.3 Menschlich denken. 1.
|
|
|
- Liese Langenberg
- vor 6 Jahren
- Abrufe
Transkript
1 Grundlagen der Künstlichen Intelligenz 20. Februar Einführung: Was ist Künstliche Intelligenz? Grundlagen der Künstlichen Intelligenz 1. Einführung: Was ist Künstliche Intelligenz? Malte Helmert Universität Basel 20. Februar Was ist KI? 1.2 Menschlich handeln 1.3 Menschlich denken 1.4 Rational denken 1.5 Rational handeln 1.6 Zusammenfassung M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21 M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21 Einführung: Überblick 1. Einführung: Was ist Künstliche Intelligenz? Was ist KI? Kapitelüberblick Einführung: 1. Was ist Künstliche Intelligenz? 2. KI früher und heute 3. Rationale Agenten 4. Umgebungen und Problemlösungsverfahren 1.1 Was ist KI? M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21 M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21
2 1. Einführung: Was ist Künstliche Intelligenz? Was ist KI? Was ist KI? 1. Einführung: Was ist Künstliche Intelligenz? Was ist KI? Was ist KI: menschlich vs. rational; denken vs. handeln Was versteht man unter künstlicher Intelligenz? keine allgemein akzeptierte Definition! Oft pragmatische Definitionen: KI ist, was KIler machen. KI ist das Lösen von schweren Problemen. Im Folgenden: Vorstellung einiger verbreiteter Ideen [the automation of] activities that we associate with human thinking, activities such as decision-making, problem solving, learning (Bellman, 1978) the study of how to make computers do things at which, at the moment, people are better (Rich & Knight, 1991) Vier typische Kategorien: menschlich denken menschlich handeln the study of mental faculties through the use of computational models (Charniak & McDermott, 1985) the branch of computer science that is concerned with the automation of intelligent behavior (Luger & Stubblefield, 1993) rational denken rational handeln hier (und heutzutage vorherrschend): rational handeln M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21 M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21 Menschlich handeln: der Turing-Test 1.2 Menschlich handeln Alan Turing, Computing Machinery and Intelligence (1950): Von Können Maschinen denken? zu Können Maschinen sich intelligent verhalten? Operationalisierung: das Imitationsspiel HUMAN HUMAN INTERROGATOR? AI SYSTEM M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21 M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21
3 Cartoon Wie nützlich ist der Turing-Test? Turing-Test: Wissenschaftlichkeit ist fragwürdig spielt im KI- Mainstream keine Rolle mehr dennoch: jährliche Wettbewerbe (Loebner Prize): praktische Anwendung: CAPTCHA ( Completely Automated Public Turing test to tell Computers and Humans Apart ) M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21 M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21 Turing und der Turing-Test im Kino Turings Computing Machinery and Intelligence Turings Computing Machinery and Intelligence: diskutierte bereits alle wesentlichen Argumente des 20. Jahrhunderts gegen Möglichkeit von KI schlug Kernaspekte der KI vor: Wissensrepräsentation, Schlussfolgern, Sprachverständnis, Lernen Vorhersage: im Jahr 2000 kann eine Maschine mit 30%iger Wahrscheinlichkeit Laien für 5 Minuten zum Narren halten kürzlich in den Nachrichten: supercomputer-passes-turing-test/ M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21 M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21
4 1. Einführung: Was ist Künstliche Intelligenz? Menschlich denken 1. Einführung: Was ist Künstliche Intelligenz? Menschlich denken Menschlich denken: Kognitionswissenschaft 1.3 Menschlich denken Kognitive Revolution der 1960er: Informationsverarbeitung ersetzt in der Psychologie den dominierenden Behaviorismus Welche kognitiven Fähigkeiten sind für intelligentes Verhalten nötig? erfordert wissenschaftliche Theorien der Gehirnaktivität Welches Abstraktionsniveau? Wissen oder Schaltkreise? Wie überprüfen? Erfordert Vorhersage/Test menschlichen Verhaltens (Top-Down) oder Identifikation aus neurologischen Daten (Bottom-Up) entspricht grob Kognitionswissenschaft und kognitiver Neurowissenschaft heute von der KI getrennte Gebiete M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21 M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / Einführung: Was ist Künstliche Intelligenz? Rational denken 1. Einführung: Was ist Künstliche Intelligenz? Rational denken Rational denken: Gesetze des Denkens 1.4 Rational denken normativ (präskriptiv) statt deskriptiv Aristoteles: Was sind korrekte Argumente/Denkprozesse? Syllogismen: Strukturen für Argumente, die immer korrekte Schlussfolgern liefern, sofern die Prämissen korrekt sind: Sokrates ist ein Mensch. Alle Menschen sind sterblich. Also ist Sokrates sterblich. Mehrere griechische Schulen entwickelten verschiedene Formen von Logik: Notationen (Syntax) und Ableitungsregeln (Kalküle) für richtiges Denken über die mathematische Logik (Anfang 20. Jh.) direkte Verbindung zur modernen KI M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21 M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21
5 1. Einführung: Was ist Künstliche Intelligenz? Rational denken Probleme des logischen Ansatzes 1. Einführung: Was ist Künstliche Intelligenz? Rational handeln Probleme: nicht alles intelligente Verhalten entspringt logischem Denken Welche Schlussfolgerungen sind relevant? Wie mit Unsicherheit umgehen? Wie mit Widersprüchen umgehen? 1.5 Rational handeln M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21 M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / Einführung: Was ist Künstliche Intelligenz? Rational handeln Rational handeln 1. Einführung: Was ist Künstliche Intelligenz? Zusammenfassung Rationales Verhalten: das Richtige tun das Richtige: maximiere Nutzen gegeben verfügbare Information erfordert nicht zwangsläufig Denken (z. B. Reflexe) 1.6 Zusammenfassung KI als Entwurf rationaler Agenten hat zwei Vorteile: allgemeiner als Gesetze des Denkens : logische Inferenz nur ein Mechanismus zum Erreichen rationalen Verhaltens besser der wissenschaftlichen Methode zugänglich als Ansätze, die auf menschlichem Verhalten/Denken fussen M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21 M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21
6 1. Einführung: Was ist Künstliche Intelligenz? Zusammenfassung Zusammenfassung Was ist KI? mehrere mögliche Antworten Orientierung am Menschen vs. am Nutzen (Rationalität) Geht es um das äussere Handeln oder das innere Denken? vier Kombinationen: menschlich handeln: Beispiel Turing-Test menschlich denken: vgl. Kognitionswissenschaft rational denken: Logik rational handeln: die heute häufigste Sichtweise ermöglich wissenschaftliche Methode M. Helmert (Universität Basel) Grundlagen der Künstlichen Intelligenz 20. Februar / 21
Einführung in die Methoden der Künstlichen Intelligenz
Einführung in die Methoden der Künstlichen Intelligenz --- Vorlesung vom 17.4.2007 --- Sommersemester 2007 Prof. Dr. Ingo J. Timm, Andreas D. Lattner Professur für Wirtschaftsinformatik und Simulation
Einführung in die Künstliche Intelligenz
Einführung in die Künstliche Intelligenz Vorlesung mit Übung WS 2002/2003 Prof. F. v. Henke Organisatorisches Vorlesung: Mo 12 14 Mi 14 16 Sprechstunde: nach der Vorlesung, oder nach Vereinbarung vhenke@ki.informatik.uni-ulm.de
Seminar Künstliche Intelligenz Wintersemester 2013/14
Seminar Künstliche Intelligenz Wintersemester 2013/14 Martin Hacker Richard Schaller Künstliche Intelligenz Department Informatik FAU Erlangen-Nürnberg 31.10.2013 2 / 13 Überblick Teilgebiete der KI Problemlösen,
Seminar Künstliche Intelligenz Wintersemester 2014/15
Seminar Künstliche Intelligenz Wintersemester 2014/15 Martin Hacker Richard Schaller Künstliche Intelligenz Department Informatik FAU Erlangen-Nürnberg 15.10.2014 2 / 14 Überblick Teilgebiete der KI Problemlösen,
Einführung in die Künstliche Intelligenz
Einführung in die Künstliche Intelligenz Vorlesung WS 2004/05 Joachim Hertzberg, Andreas Nüchter (Übungen) Institut für Informatik Abteilung Wissensbasierte Systeme 1 Web-Seite Organisatorisches http://www.inf.uos.de/hertzberg/lehre/2004_ws/vorlesung_ki-intro/ki_ws04.html
Vorlesung. Wissensbasierte Systeme
Vorlesung 1. Einführung - KI, : was ist das? 2. Wer suchet der findet - Problemlösen und Suchmethoden 3. Making it explicit - Logik und Inferenz 4. Ausnahmen sind die Regel - Nichtmonotones Schließen 5.
5.1 Inferenz. Theorie der Informatik. Theorie der Informatik. 5.1 Inferenz. 5.2 Resolutionskalkül. 5.3 Zusammenfassung. Inferenz: Motivation
Theorie der Informatik 9. März 2015 5. Aussagenlogik III Theorie der Informatik 5. Aussagenlogik III 5.1 Inferenz Malte Helmert Gabriele Röger 5.2 Resolutionskalkül Universität Basel 9. März 2015 5.3 Zusammenfassung
Einführung in die Linguistik, Teil 4
Einführung in die Linguistik, Teil 4 Menschliche Sprachverarbeitung im Rahmen der Kognitionswissenschaft Markus Bader, Frans Plank, Henning Reetz, Björn Wiemer Einführung in die Linguistik, Teil 4 p. 1/19
Logik. Vorlesung im Wintersemester 2010
Logik Vorlesung im Wintersemester 2010 Organisatorisches Zeit und Ort: Di 14-16 MZH 5210 Do 16-18 MZH 5210 Prof. Carsten Lutz Raum MZH 3090 Tel. (218)-64431 clu@uni-bremen.de Position im Curriculum: Modulbereich
Subjektive Einschätzung und Umgang mit Risiken und Gefahren. Gerd Gigerenzer
In dieser Welt ist nichts gewiss, außer dem Tod und den Steuern. Benjamin Franklin Subjektive Einschätzung und Umgang mit Risiken und Gefahren Gerd Gigerenzer Max-Planck-Institut für Bildungsforschung
Logik für Informatiker
Vorlesung Logik für Informatiker 1. Einführung Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Formale Logik Ziel Formalisierung und Automatisierung rationalen
Sudoku. Warum 6? Warum 6?
. / Sudoku Füllen Sie die leeren Felder so aus, dass in jeder Zeile, in jeder Spalte und in jedem x Kästchen alle Zahlen von bis stehen.. / Warum?. / Warum?. / Geschichte der Logik Syllogismen (I) Beginn
Definitionen der Künstlichen Intelligenz. Übersicht. Loebner-Preis für Turing-Test. Menschliches Verhalten: Der Turing Test
Übersicht Definitionen der Künstlichen Intelligenz I Künstliche Intelligenz 1. Einführung 2. Intelligente Agenten II Problemlösen III Wissen und Schlussfolgern IV Planen V Unsicheres Wissen und Schließen
C. Künstliche Intelligenz
C. Künstliche Intelligenz Siehe [Norvig, Russell 2004]. Slide 1 Dimensionen der Künstlichen Intelligenz Systeme, die wie Menschen denken Systeme, die rational denken Systeme, die wie Menschen handeln Systeme,
Dimensionen der Künstlichen Intelligenz. C. Künstliche Intelligenz. Loebner-Preis für Turing-Test. Menschliches Verhalten: Der Turing Test.
Dimensionen der Künstlichen Intelligenz C. Künstliche Intelligenz Systeme, die wie Menschen denken Systeme, die rational denken Systeme, die wie Menschen handeln Systeme, die rational handeln Siehe [Norvig,
Prof. Dr. Lars Schmidt-Thieme. Schüler-Universität, 16. April 2015
Können Computer denken? Prof. Dr. Lars Schmidt-Thieme Information Systems and Machine Learning Lab (ISMLL) Institut für Informatik Universität Hildesheim Schüler-Universität, 16. April 2015 Lars Schmidt-Thieme,
Beginn einer Diskussion
Werden Rechner jemals denken können? Beginn einer Diskussion Hintergrund... Vortrag im Rahmen des Prosimares Denkmaschinen A.M. Turing - Computing Machinery and Intelligence (1950) Beschreibt den Turing-Test
Klassische Aussagenlogik
Eine Einführung in die Logik Schon seit Jahrhunderten beschäftigen sich Menschen mit Logik. Die alten Griechen und nach ihnen mittelalterliche Gelehrte versuchten, Listen mit Regeln zu entwickeln, welche
Künstliche Intelligenz
Künstliche Intelligenz Intelligente Agenten Claes Neuefeind Sprachliche Informationsverarbeitung Universität zu Köln 26. Oktober 2011 Agenten Konzept des Agenten Rationalität Umgebungen Struktur von Agenten
39.1 Alpha-Beta-Suche
Grundlagen der Künstlichen Intelligenz. Mai 0 9. Brettspiele: Alpha-Beta-Suche und Ausblick Grundlagen der Künstlichen Intelligenz 9. Brettspiele: Alpha-Beta-Suche und Ausblick 9.1 Alpha-Beta-Suche Malte
Einführung in die Wissensverarbeitung und Data Mining
Einführung in die Wissensverarbeitung und Data Mining Peter Becker FH Bonn-Rhein-Sieg Fachbereich Angewandte Informatik!" $# Vorlesung Wintersemester 2001/02 1. Einführung Vorbemerkungen 1 Einführung Vorbemerkungen
Willkommen zum neuen Semester!
Willkommen zum neuen Semester! Informationsmanagement und Informationstechnologie (IMIT) und Wirtschaftsinformatik (Winf) Wintersemester 2012/13 1 Informationen (1) Belegung von Mastermodulen im Bachelor
Geschichte der Logik. Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen. Syllogismen (I) Syllogismen (II)
Geschichte der Logik Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen Barbara König Übungsleitung: Christoph Blume Beginn in Griechenland: Aristoteles (384 322 v.chr.) untersucht das Wesen
Woher Methoden der KI stammen Gebiete der Künstlichen Intelligenz wissensbasierte Systeme
Woher Methoden der KI stammen Gebiete der Künstlichen Intelligenz (induktives) Lernen Aus einer anwendungsorientierten Sicht spielen in der Künstlichen Intelligenz insbesondere folgende Gebiete eine Rolle:
Wissenschaftliches Arbeiten
Wissenschaftliches Arbeiten Andreas Schoknecht Jan Recker, Scientific Research in Information Systems A Beginner's Guide, Springer, 2013 INSTITUT FÜR ANGEWANDTE INFORMATIK UND FORMALE BESCHREIBUNGSVERFAHREN
Sozialwissenschaftliche Modelle und Daten SoSe 2010
Sozialwissenschaftliche Modelle und Daten SoSe 2010 LS Sozialwissenschaftliche Methodenlehre und Sozialstatistik C. Dudel C. Dudel Sozialwissenschaftliche Modelle und Daten SoSe 2010 1 23 1 Formalia 2
Einführung in die Robotik Einführung. Mohamed Oubbati Institut für Neuroinformatik. Tel.: (+49) 731 / 50 24153 mohamed.oubbati@uni-ulm.de 23. 10.
Einführung in die Robotik Einführung Mohamed Oubbati Institut für Neuroinformatik Tel.: (+49) 731 / 50 24153 mohamed.oubbati@uni-ulm.de 23. 10. 2012 Was ist ein Roboter? Was ist ein Roboter? Jeder hat
Game Interfaces Gestaltung und Funktionalität von Stefan Vollrath
Game Interfaces Gestaltung und Funktionalität von Stefan Vollrath 1 Game Interfaces - Übersicht Mensch-Computer-Interaktion Ziele von MCI User-Interfaces Computergestützte User-Interfaces Game-Interfaces
Modellierung von Non Player Chareacters
Modellierung von Non Player Chareacters Konzeption Künstlicher Charaktere Games Summer Camp 2006 Cindy Löther Inhalt 1 Einleitung 2 Definitionen 3 Non Player Characters (NPC) 4 Modellierung von NPCs 5
Künstliche Intelligenz
Künstliche Intelligenz Lernfähige und kreative Maschinen für eine nachhaltige Zukunft Prof. Dr. Wolfgang Ertel Hochschule Ravensburg-Weingarten IfKom Jahrestagung Evang. Akad. Baden Bad Herrenalb, 10.3.2015
Grundlagenbereich Kognitionswissenschaften
Grundlagenbereich Kognitionswissenschaften Master Psychologie in Göttingen Fachstudium Evaluation Angewandte Diagnostik Multivariate Statistik Berufspraktikum Professionalisierungsbereich Grundlagenbereiche
Daten haben wir reichlich! 25.04.14 The unbelievable Machine Company 1
Daten haben wir reichlich! 25.04.14 The unbelievable Machine Company 1 2.800.000.000.000.000.000.000 Bytes Daten im Jahr 2012* * Wenn jedes Byte einem Buchstaben entspricht und wir 1000 Buchstaben auf
Formale Systeme. Prof. P.H. Schmitt. Winter 2007/2008. Fakultät für Informatik Universität Karlsruhe (TH) Voraussetzungen
Formale Systeme Prof. P.H. Schmitt Fakultät für Informatik Universität Karlsruhe (TH) Winter 2007/2008 Prof. P.H. Schmitt Formale Systeme Winter 2007/2008 1 / 12 Übungen und Tutorien Es gibt wöchentliche
Grundlagen der Künstlichen Intelligenz
Grundlagen der Künstlichen Intelligenz 39. Brettspiele: Alpha-Beta-Suche und Ausblick Malte Helmert Universität Basel 23. Mai 2014 Brettspiele: Überblick Kapitelüberblick: 38. Einführung und Minimax-Suche
Was ist Informatik? Alexander Lange
Was ist Informatik? Was ist Informatik? Alexander Lange 12.11.2003 Was ist Informatik? Inhalt 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. Das Wort»Informatik«Die Idee Teilgebiete der Informatik Technische Informatik
Grundlagen der Künstlichen Intelligenz
Grundlagen der Künstlichen Intelligenz 27. Aussagenlogik: Logisches Schliessen und Resolution Malte Helmert Universität Basel 28. April 2014 Aussagenlogik: Überblick Kapitelüberblick Aussagenlogik: 26.
Planning a trip to California
Planning a trip to California Die Millers planen eine 10-Tage-Tour mit dem Wohnmobil durch Kalifornien. Das Problem ist bloß, jedes Familienmitglied möchte etwas anderes sehen. Es ist nicht genug Zeit,
IHK Köln-Präsentation»CaptchaAd Technologie«Sichern von Ideen, Namen und Software
IHK Köln-Präsentation»CaptchaAd Technologie«Sichern von Ideen, Namen und Software Jan Philipp Hinrichs 29. September 2011 Traditionelle Captchas 2 Erkennungsrate SPAM-Bots werden zunehmend effektiver und
Logik für Informatiker
Logik für Informatiker Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Logik in der Informatik Was ist Logik? 2 Logik in der Informatik Was ist Logik? Mathematisch? 3 Logik in der Informatik
Grundlagen der Künstlichen Intelligenz Einführung Minimax-Suche Bewertungsfunktionen Zusammenfassung. Brettspiele: Überblick
Grundlagen der Künstlichen Intelligenz 22. Mai 2015 41. Brettspiele: Einführung und Minimax-Suche Grundlagen der Künstlichen Intelligenz 41. Brettspiele: Einführung und Minimax-Suche Malte Helmert Universität
TalkIT: Internet Communities Tiroler Zukunftsstiftung Donnerstag, 22. 4. 2010
TalkIT: Internet Communities Tiroler Zukunftsstiftung Donnerstag, 22. 4. 2010 Reinhard Bernsteiner MCiT Management, Communication & IT MCI MANAGEMENT CENTER INNSBRUCK Universitätsstraße 15 www.mci.edu
Übersicht. 7. Prädikatenlogik 1. Stufe
Übersicht I Künstliche Intelligenz II Problemlösen III Wissen und Schlußfolgern 6. Logisch schließende Agenten 7. Prädikatenlogik 1. Stufe 8. Entwicklung einer Wissensbasis 9. Schließen in der Prädikatenlogik
Challenges for the future between extern and intern evaluation
Evaluation of schools in switzerland Challenges for the future between extern and intern evaluation Michael Frais Schulentwicklung in the Kanton Zürich between internal evaluation and external evaluation
ISI 2007 Köln 1. Juni 2007. Klaus Tochtermann
Open Innovation in Zeiten des Web2.0 ISI Köln 1. Juni Klaus Tochtermann - gefördert durch das Kompetenzzentrenprogramm Übersicht Closed Innovation Half-Opened Innovation Web 2.0 Open Innovation Kernprozesse
23.1 Constraint-Netze
Grundlagen der Künstlichen Intelligenz 1. April 2015 2. Constraint-Satisfaction-Probleme: Constraint-Netze Grundlagen der Künstlichen Intelligenz 2. Constraint-Satisfaction-Probleme: Constraint-Netze Malte
Analyse ethischer Texte
WEITERBILDUNGSSTUDIENGANG ANGEWANDTE ETHIK SOMMERSEMESTER 2005 Prof. Dr. Kurt Bayertz Analyse ethischer Texte 23. Juli 2005 I. Was sind Argumente? Zunächst eine allgemeine Charakterisierung von Argumenten
Formale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 9.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 9. November 2016 Weitere Begriffe Eine Zuweisung von Wahrheitswerten W bzw. F
Kognitive Modellierung. Übung zur Vorlesung
Kognitive Modellierung Übung zur Vorlesung S. 1 Organisatorisches Kurstyp: Übung zur Vorlesung Die Veranstaltung findet jeden Donnerstag von 10.15 11.45 Uhr statt. Nächste Woche (24.10.) findet an Stelle
elearning 02.07.2004 SIGNAL project Hans Dietmar Jäger 1
elearning The use of new multimedia technologies and the Internet to improve the quality of learning by facilitating access to resources and services as well as remote exchange and collaboration. (Commission
Spieltheoretischer Ansatz für selbstorganisierende Systeme
Spieltheoretischer Ansatz für selbstorganisierende Systeme Institut für Informatik 27. Juni 2006 Inhaltsverzeichnis 1 Ziel des Aufsatz 2 Geschichte 3 Einführung 4 Das Spiel Experiment 5 Konzepte zur Lösung
Übersicht. Prädikatenlogik höherer Stufe. Syntax der Prädikatenlogik 1. Stufe (mit Gleichheit)
Übersicht I Künstliche Intelligenz II Problemlösen III Wissen und Schlussfolgern 7. Logische Agenten 8. Prädikatenlogik 1. Stufe 9. Schließen in der Prädikatenlogik 1. Stufe 10. Wissensrepräsentation IV
Grundlagen der Künstlichen Intelligenz
Grundlagen der Künstlichen Intelligenz 5. Klassische Suche: Beispiele von Zustandsräumen Malte Helmert Universität Basel 7. März 2014 Suchprobleme: Überblick Kapitelüberblick klassische Suche: 3. 5. Einführung
Seminar: Theorien induktiven und deduktiven Denkens aus KI und Psychologie
Seminar: Theorien induktiven und deduktiven Denkens aus KI und Psychologie Gregory Kuhnmuench Marco Ragni Stefan Wölfl Bernhard Nebel Abt. Kognitionswissenschaft AG Grundlagen der Künstlichen Intelligenz
Harvard Business Review on Teams That Succeed
Harvard Business Review on Teams That Succeed Inhaltsverzeichnis 1. THE DISCIPLINE OF TEAMS 2 2. BUILDING THE EMOTIONAL INTELLIGENCE OF GROUPS 2 3. WHY BAD PROJECTS ARE SO HARD TO KILL 2 4. SPEEDING UP
Design Thinking. Berner Fachhochschule Institut Unternehmensentwicklung Prof. Dr. Andreas Ninck
Design Thinking Die Fähigkeit, schneller zu lernen als die Konkurrenz, ist vielleicht der einzige wirklich dauerhafte Wettbewerbsvorteil. Arie de Geus, Royal Dutch Shell Innovation Machbarkeit Nützlichkeit
Mentale Modelle und kognitive Täuschungen
Mentale Modelle und kognitive Täuschungen Theorien des deduktiven Denkens Theorien auf dem algorithmischen Level: Wie führen Menschen Berechnungen und Deduktion aus? Theorien auf dem berechnenden Level:
Integration mit Service Repositories zur SOA Governance
Integration mit Service Repositories zur SOA Governance Nürnberg, 10.11.2009 I N H A L T 1. SOA Governance 2. Service Repository 3. Modelle und Service Repository 4. Modell-Driven SOA I N H A L T 1. SOA
Künstliche Intelligenz
Künstliche Intelligenz Inhalt Flirts mit einem Roboter Simulation als bare Münze Die Qualität der Emergenz Artificial Life Künstliches Leben im Computer Flirts mit einem Roboter Mensch-Maschine Beziehung
Kybernetik Intelligent Agents- Action Selection
Kybernetik Intelligent Agents- Action Selection Mohamed Oubbati Institut für Neuroinformatik Tel.: (+49) 731 / 50 24153 mohamed.oubbati@uni-ulm.de 26. 06. 2012 Intelligent Agents Intelligent Agents Environment
Dialog-KI in IT-basierten Spielen
Dialog-KI in IT-basierten Spielen Kommunikation zwischen Mensch und NPC Vortrag von Friederike Bulka Was ist eine Dialog-KI? Es gibt (bis jetzt) 3 Arten wie Mensch und Rechner in Spielen kommunizieren.
Universität zu Köln Institut für Sprachverarbeitung Dozent: Claes Neuefeind Sommersemester von Trifon Kirov und Börge Kiss
ChatterBots Universität zu Köln Institut für Sprachverarbeitung Dozent: Claes Neuefeind Sommersemester 2012 von Trifon Kirov und Börge Kiss Inhalt Definition Geschichte Varianten und Beispiele Funktionsweise
Semantic Web. Anwendungsbereiche & Entwicklungen. http://www.know-center.at. Dr. Michael Granitzer
Semantic Web Anwendungsbereiche & Entwicklungen Dr. Michael Granitzer - gefördert durch das Kompetenzzentrenprogramm Agenda Die Vision und warum das Semantic Web Sinn macht Grundlagen: Wissensrepräsentation
Das tägliche Leben eines (Big) Data Scientist - Wie man Big Data Projekte erfolgreich steuern kann? Big Data Everywhere Nadiem von Heydeband
1 Das tägliche Leben eines (Big) Data Scientist - Wie man Big Data Projekte erfolgreich steuern kann? Big Data Everywhere Nadiem von Heydeband München, den 11. Mai 2016 Die Alexander Thamm GmbH und meine
Big-Data and Data-driven Business KMUs und Big Data Imagine bits of tomorrow 2015
Big-Data and Data-driven Business KMUs und Big Data Imagine bits of tomorrow 2015 b Wien 08. Juni 2015 Stefanie Lindstaedt, b Know-Center www.know-center.at Know-Center GmbH Know-Center Research Center
INHALT. Problemaufriss und Zielstellung Aufbau und Methode Wissenschaftshistorische Einbettung Forschungsstand...
5 Inhaltsverzeichnis Vorwort... 11 Einleitung... 15 Problemaufriss und Zielstellung... 15 Aufbau und Methode... 24 Wissenschaftshistorische Einbettung... 28 Forschungsstand... 33 Teil I: Historische Perspektive:
INHALTSVERZEICHNIS VORWORT 11 EINLEITUNG 15
INHALTSVERZEICHNIS VORWORT 11 EINLEITUNG 15 Problemaufriss und Zielstellung 15 Aufbau und Methode 24 Wissenschaftshistorische Einbettung 28 Forschungsstand 33 TEIL I: HISTORISCHE PERSPEKTIVE: LEBENDIGE
Grundlagen der Künstlichen Intelligenz
Grundlagen der Künstlichen Intelligenz 6. Klassische Suche: Datenstrukturen für Suchalgorithmen Malte Helmert Universität Basel 7. März 2014 Klassische Suche: Überblick Kapitelüberblick klassische Suche:
Epistemische Logik Einführung
Epistemische Logik Einführung Dr. Uwe Scheffler [Technische Universität Dresden] Oktober 2010 Was ist epistemische Logik? Epistemische Logik ist die Logik von Wissen und Glauben, so wie klassische Logik
System und Modell. System und Modell. System und Modell. System und Modell. Beispiel 2: Fail-Save-Überprüfung einer Presse
und und Beispiel 1: Der unbequeme Philosoph Beispiel 2: Fail-Save-Überprüfung einer Presse? : ẋ d = p a A K p b A R F = Komponentenmodelle, physikalische Gleichungen : x y : mensch(x) trinkt(x, y) gift(y)
Einführung in die Betriebswirtschaftslehre für Nicht- Wirtschaftswissenschaftler: Kapitel 1. Prof. Dr. Leonhard Knoll
Einführung in die Betriebswirtschaftslehre für Nicht- Wirtschaftswissenschaftler: Kapitel 1 Prof. Dr. Leonhard Knoll Kapitel 1 1. Was ist Betriebswirtschaftslehre? 1.1. Das Abgrenzungsproblem 1.2. Definitionsversuch
Übersicht. 1. Einführung. I Künstliche Intelligenz
I Künstliche Intelligenz 1. Einführung Übersicht 2. Intelligente Agenten II Problem lösen III Wissen und Schlußfolgern IV Logisch Handeln V Unsicheres Wissen und Schließen VI Lernen VII Kommunizieren,
Neuronalen Netzen. Jens Lehmann. 1. März Institut für Künstliche Intelligenz Fakultät Informatik Technische Universität Dresden
Institut für Künstliche Intelligenz Fakultät Informatik Technische Universität Dresden 1. März 2005 Neurosymbolische Integration versucht künstliche neuronale Netze und Logikprogrammierung zu vereinen
Literatur zu den Vorlesungen Allgemeine Psychologie I
Literatur zu den Vorlesungen Allgemeine Psychologie I gültig ab WiSe 2015/2016 Primäres Lehrbuch B.G.1 Lernen, Gedächtnis und Wissen (Hilbig) Lieberman, D.A. (2012). Human learning and memory. Cambridge:
Beschränkte Menschen unbeschränkte Technologie: Wie entwickelt sich das digitale Ökosystem
SFS Innovationsfachtagung Logistik 2015, Das Zelt Zürich Beschränkte Menschen unbeschränkte Technologie: Wie entwickelt sich das digitale Ökosystem Dr. David Bosshart l 1102 GDI Mittwoch, 15. April 2015
Mash-Up Personal Learning Environments. Dr. Hendrik Drachsler
Decision Support for Learners in Mash-Up Personal Learning Environments Dr. Hendrik Drachsler Personal Nowadays Environments Blog Reader More Information Providers Social Bookmarking Various Communities
Program = Logic + Control
Program = Logic + Control Prozedurale/imperative Sprachen: Abläufe formulieren Computer führt aus von-neumann-maschine Idee von deklarativen/logischen/funktionalen Programmiersprachen: Zusammenhänge formulieren
Haltung und Handlung. Theorien als Werkzeug Sozialer Arbeit. Workshop auf der 5. Merseburger Tagung zur systemischen Sozialarbeit
Haltung und Handlung Theorien als Werkzeug Sozialer Arbeit Workshop auf der 5. Merseburger Tagung zur systemischen Sozialarbeit Zentrale Fragen Was verbindet Theorie und Praxis? In welchem Verhältnis stehen
Die BPM-Trilogie BPMN, CMMN, DMN mehr als Schlagworte?
Die BPM-Trilogie BPMN, CMMN, DMN mehr als Schlagworte? Wann Sie die neuen Standards anwenden sollten und wie wir die Konzepte dahinter vermitteln können Präsentation auf dem Process Solutions Day 2015
Konzepte der AI: Maschinelles Lernen
Konzepte der AI: Maschinelles Lernen Nysret Musliu, Wolfgang Slany Abteilung für Datenbanken und Artificial Intelligence Institut für Informationssysteme, TU-Wien Übersicht Was ist Lernen? Wozu maschinelles
Advances in Integrated Software Sciences
Advances in Integrated Software Sciences Proceedings of the Master and PhD Seminar Summer term 2010, part 2 Softwarepark Hagenberg SCCH, Room 0/2 6 July 2010 Software Competence Center Hagenberg Fuzzy
Kompetenzorientierung in der Lehre Praxisbeispiel. Andreas Schwill Didaktik der Informatik Universität Potsdam
Kompetenzorientierung in der Lehre Praxisbeispiel Andreas Schwill Didaktik der Informatik Universität Potsdam 1 Überblick Beispiel Informatik - Uni Potsdam Struktur der Modulbeschreibung Kompetenzen und
Pädagogische Psychologie
ANNEMARIE FRITZ WALTER HUSSY DAVID TOBINSKI Pädagogische Psychologie 2., durchgesehene Auflage Mit 73 Abbildungen, 9 Tabellen und 91 Kontrollfragen Ernst Reinhardt Verlag München Basel Prof. Dr. Annemarie
Grundlagen der Kognitiven Informatik
Grundlagen der Kognitiven Informatik Wissensrepräsentation und Logik Ute Schmid Kognitive Systeme, Angewandte Informatik, Universität Bamberg letzte Änderung: 14. Dezember 2010 U. Schmid (CogSys) KogInf-Logik
Vorlesung Programmieren
Vorlesung Programmieren Einführung 26.10.2016 Jun.-Prof. Dr.-Ing. Anne Koziolek Version 1.0 ARBEITSGRUPPE ARCHITECTURE-DRIVEN REQUIREMENTS ENGINEERING (ARE) INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION
Wie Programm Neighborhood Agent mit Secure Gateway konfigurieren. von Stefan Müri
Wie Programm Neighborhood Agent mit von Stefan Müri Notice The information in this publication is subject to change without notice. THIS PUBLICATION IS PROVIDED AS IS WITHOUT WARRANTIES OF ANY KIND, EXPRESS
Programmieren im Team
12. Juli 2005 1 Einführung 2 3 4 Der ACM ICPC ACM ICPC Der International Collegiate Programming Contest (ICPC) wird von der Association for Computing Machinery (ACM) seit 1977 veranstaltet. Er ist einer
Psychologie der Informationsverarbeitung Bachelor- und Master-Thesen
Psychologie der Informationsverarbeitung Bachelor- und Master-Thesen Wintersemester 2016/17 Prof. C. Rothkopf, PhD 08.12.2016 Fachbereich 03 Institut für Psychologie Psychologie der Informationsverarbeitung
Der Lehrer als Experte
Rainer Bromme Der Lehrer als Experte Zur Psychologie des professionellen Wissens Verlag Hans Huber Bern Göttingen Toronto INHALTSVERZEICHNIS 1 Einführung 1 Die Entwicklung der Lehrerkognitionsforschung
Einführung in die Angewandte Informatik
I: Kognitive Systeme und Kognitive Psychologie Fakultät WIAI, Otto-Friedrich Universität Bamberg Angewandte Informatik/Kognitive Systeme Letzte Änderung 11. Januar 2010 Was sind Kognitive Systeme? Intelligentes
Intrinsische Motivation und künstliche Neugier
Intrinsische Motivation und künstliche Neugier Michael Lampert Institut für Informatik, Humboldt-Universität zu Berlin SE Biologisch motivierte Lernverfahren 2012 Gliederung 1 Intrinsische Motivation Der
Theoretische Informatik: Berechenbarkeit und Formale Sprachen
Theoretische Informatik: Berechenbarkeit und Formale Sprachen Prof. Dr. F. Otto Fachbereich Elektrotechnik/Informatik, Universität Kassel 34109 Kassel, Germany E-mail: otto@theory.informatik.uni-kassel.de
Netzwerk Frauen und AIDS. in Austria
Network Women and AIDS Network Women and AIDS in Austria Im Herbst 2008 haben wir das in Österreich gegründet. In autumn 2008 we founded the Network Women and AIDS in Austria Wir, das sind Frauen, die
BIG ANALYTICS AUF DEM WEG ZU EINER DATENSTRATEGIE. make connections share ideas be inspired. Wolfgang Schwab SAS D
make connections share ideas be inspired BIG ANALYTICS AUF DEM WEG ZU EINER DATENSTRATEGIE Wolfgang Schwab SAS D Copyright 2013, SAS Institute Inc. All rights reserved. BIG DATA: BEDROHUNG ODER CHANCE?
Die digitale Transformation von Wirtschaft und Gesellschaft - die nächsten 5 Jahre
Die digitale Transformation von Wirtschaft und Gesellschaft - die nächsten 5 Jahre www.futuristgerd.com www.gerdleonhard.de www.gerdtube.com www.gerdcloud.com @gleonhard ENG @derfuturist DE Wir sind am
Medienkompetenz durch digitale Kompetenzen.
Univ.-Prof. Dr. Christian Swertz Medienpädagogik Institut für Bildungswissenschaft Universität Wien Medienkompetenz durch digitale Kompetenzen. christian.swertz@univie.ac.at Begrüßung Ablauf Herausforderung
Das kognitionswissenschaftliche Paradigma Zusammenfassung
Das kognitionswissenschaftliche Paradigma Zusammenfassung Historischer Hintergrund & Pioniere Das psychologische Denken und Forschen wurde bis etwa zum Jahr 1950 durch den antimentalistischen Behaviorismus
Christian Nimtz // 1 Das Skeptische Argument und Reaktionen 3 Moores Beweis der Außenwelt, Schritt 2
Program Christian Nimtz www.nimtz.net // lehre@nimtz.net Grundfragen der Erkenntnistheorie Kapitel 9: Antworten auf den Skeptiker II Moores Beweis der Außenwelt 1 Das Skeptische Argument und Reaktionen
Answer Set Programming
Answer Set Programming mit Answer Set Prolog (A-Prolog) Wangler Thomas Logikprogrammierung Institut für Computerlinguistik Universität Heidelberg Inhaltsverzeichnis Inhaltsverzeichnis Inhaltsverzeichnis