Wissensrepräsentation 2
|
|
|
- Annika Bach
- vor 9 Jahren
- Abrufe
Transkript
1 Wissensrepräsentation Jürgen Dorn Inhalt Wissen und Intelligenz deklarative versus prozedurale Wissensrepräsentation Wissensbasierte Systeme Wissensrepräsentationsformalismen Das Auto springt nicht an! Intelligenz??? WISSEN! Die Fakten: Benzinanzeiger > 0 Anlasser dreht ausdauernd Zündkerzen nicht feucht Das Zusammenhangswissen: Was ist Wissen? 1 IF Anlasser dreht ausdauerndthen Batterie Ok 2 IF Tankanzeiger > 0 THEN Benzin vorhanden 3 IF Batterie Ok AND Benzin vorhanden AND Zündkerze nicht feucht THEN Kraftstoffzufuhr defekt 4 IF Membrane in Kraftstoffpumpe gerissen THEN Kraftstoffpumpe defekt 5 IF Kraftstoffzufuhr defekt AND Kraftstoffilter Ok THEN Kraftstoffpumpe defekt 6 IF Batterie Ok AND bei allen Zündkerzen gibt es starken Zündfunken THEN Zündung Ok 7 IF es hat geregnet THEN nimm Regeln mit Bezug auf elektrische Anlage 8 Betrachte erst leicht überprüfbare Defekte und dann häufig auftretende Defekte 9 IF es gibt unüberprüfte Hypothese, die überprüfbar in < 1 Min THEN überprüfe diese Wissensrepräsentation 2
2 deskriptiv oder prozedural prozedural wenn ich auf dem U-Bahnhof Schönbrunn nach dem Weg zum Stephansplatz frage, bekomme ich die Antwort: Fahren Sie mit der Linie U4 bis zum Karlsplatz und steigen dort in die Linie U1 und fahren in Richtung Kagran bis zur Station Stephansplatz. der Betrieb der Linie U1 kann unterbrochen sein vielleicht laufe ich lieber eine kurze Strecke anstatt auf den Anschluss zu warten der Stadtplan ist deskriptiv Wissensrepräsentation 3 Wissensrepräsentation Trennung zwischen expliziter Wissensrepräsentation und Wissensverarbeitung Trennung der Wissensverarbeitung in Inferenzkomponente Meta-Prozessor unterschiedliche Formalismen Denkstrukturen nebeneinander einsetzbar Wissensrepräsentation 4
3 Wissensbasierte Systeme Repräsentation komplexer Zusammenhänge Daten, Wissen und Schlussfolgerungen Trennung zwischen Wissen und Intelligenz deskriptive Beschreibung anstatt prozeduralem Programm Wissensrepräsentation 5 Vorteile Wissensbasierter Systeme Trennung zwischen Repräsentation und Verarbeitung führt zu besser wartbaren Systemen standardisierte Meta-Prozessoren entsprechen der Definition höherer Programmiersprachen (bzw. einem Interpreter der Sprache) geringere kognitive Distanz, Experte kann sich so ausdrücken wie er es gewohnt ist einfachere Integration unsicheren, vagen oder unvollständigem Wissen Wissensrepräsentation 6
4 Regelbasiertes System eine Regel ein Beispiel für einen Wissensrepräsentationsformalismus IF Anlasser dreht ausdauernd THEN Batterie Ok Interpretation im Situationskalkül: Zustand und Operatoren Operatoren (Regeln) führen eine Zustandsänderung herbei Start- und der Zielzustand Start gesucht ist Folge von Verschiebungen es gibt viele Operatoren für größere Instanzen findet man schon keine Lösungen mehr bei einer brute-force Suche Ziel Wissensrepräsentation 7 Suchstrategie gesucht ist Funktion (Heuristik), mit Hilfe der die Anzahl der anwendbaren Operatoren vermindert wird mögliche Strategie ist die Bewertung der Zustände nach Anwendung des Operators beim Puzzle kann man die Anzahl der Teile zählen, die richtig stehen Start Ziel Wissensrepräsentation 8
5 Problemlösungsablauf Wissensrepräsentation 9 Rahmen (frames) objekt-orientierter Formalismus kognitive Idee: ein Rahmen, in dem man Beobachtung einpasst mehrfache Vererbung Attribute als sog. Slots (Fächer) modelliert Fach enthält Facetten Wert, Defaultwert Wertebereichbeschränkungen Prozedurale Ankopplung (attached Procedures) if_needed, if_added, if_modified,... Beziehungen zu anderen Frames viele Ideen in RDFS und XML Schema wiederverwendet Wissensrepräsentation 10
6 Semantische Netze Beziehungen zwischen Knoten graphisch dargestellt durch Punkte und Kanten Beschreibungslogik (description logic) weitergehende Konzepte und Einschränkungen: Kanten mit Rollen, definierte Beziehungen wurde weit gehend für OWL-DL für die Definition von Ontologien im Semantischen Web verwendet Wissensrepräsentation 11 Einschränkungen (constraints) Darstellung der Beschränktheit von Ressourcen (bzw. Objekten) Zeit, Fähigkeiten, Geschwindigkeit Darstellung von Gesetzmäßigkeiten zwischen Objekten Geschwindigkeit = Weg / Zeit formales Modell Menge von Variablen V mit Wertebereich (domain) D i D kann eine endliche Menge von Werten enthalten oder ein durch Schranken beschriebener kontinuierlicher Bereich eine Menge von Einschränkungen (constraints) c i und c ij, die gültige Relationen zwischen den Variablen v i und v j beschreiben Wissensrepräsentation 12
7 Repräsentation unscharfen und unsicheres Wissen Fuzzy Logik Aussagen ist nicht mehr wahr oder falsch die Aussage Studenten sind fleißig wird ein Grad der Wahrheit zugesprochen Verknüpfungsoperatoren wie in anderen Logiken Bayes sche Theorie Wahrscheinlichkeitstheorie (bedingte Wahrscheinlichkeit) mit welcher Wahrscheinlichkeit gilt die Hypothese Q wenn die Evidenz P wahr ist p(q P) Belief Networks (Netzwerke bei denen Schlussfolgerungen als Kanten dargestellt werden) Wissensrepräsentation 13 Skripte Formalismus, um Vorgänge zu repräsentieren (im Prinzip Prozesse im Sinne des Prozessengineering) bestehend aus Ereignisse, die stattfinden Reihenfolgeinformationen Eintrittsbedingungen und Resultate beteiligte Rollen Repräsentation ähnlich zu Frames, aber zusätzliche Interpretation, die im Metaprozessor realisiert werden kann Wissensrepräsentation 14
8 Nicht-monotones Schliessen beim monotonen Schluss ist die Menge des geschlossenen Wissens immer größer gleich des vorherigen Wissensstand werden auf Grund unvollständigem Wissen bestimmte Schlussfolgerungen nur angenommen (assumption) kann es passieren, dass eine Annahme zurückgenommen wird X ist Vogel, die meisten Vögel können fliegen! X kann fliegen Strauss kann nicht fliegen Billy ist Vogel, Annahme: Billy kann fliegen wenn wir erfahren, dass Billy ein Strauss ist, müssen wir Annahme zurücknehmen Wissensrepräsentation 15 Zusammenfassung wenn Wissen im Vordergrund einer Anwendung sheht! Wissensbasiertes System Wissen nicht Intelligenz ist entscheidend unterschiedliche Wissensrepräsentationsformalismen spiegeln wider, dass menschliches Wissen in unterschiedlichen Formen auftritt heute in Unternehmen als Wissensmanagement neue große Anforderung wie bekommen wir das Wissen (psychologisch, organisatorisch und technische Fragestellung)? wie strukturieren wir das Wissen? nicht das Werkzeug sondern die Konzeptionalisierung ist entscheidend für Erfolg jedes Werkzeug kann falsch benutzt werden Wissensrepräsentation 16
Wissensrepräsentation
Wissensrepräsentation Vorlesung Sommersemester 2008 12. Sitzung Dozent Nino Simunic M.A. Computerlinguistik, Campus DU Übersicht Rückblick, Zusammenhänge Mysterien 2 Inhalte im abstrakten Überblick Künstliche
KI Seminar Vortrag Nr. 9 Unsicheres Wissen. Einleitung. Grundlagen. Wissen Ansätze. Sicherheitsfaktoren. Ansatz Probleme. Schlussfolgerungsnetze
Einleitung KI Seminar 2005 Vortrag Nr. 9 Unsicheres 1 Motivation Vögel können fliegen! 2 : Zuordnung von Wahrheitswerten, Wahrscheinlichkeitsgraden,. zu Aussagen, Ereignissen, Zuständen, 3 3 Eigenschaften
Bayes-Netze (1) Lehrstuhl für Künstliche Intelligenz Institut für Informatik Friedrich-Alexander-Universität Erlangen-Nürnberg
Bayes-Netze (1) Lehrstuhl für Künstliche Intelligenz Institut für Informatik Friedrich-Alexander-Universität Erlangen-Nürnberg (Lehrstuhl KI) Bayes-Netze (1) 1 / 22 Gliederung 1 Unsicheres Wissen 2 Schließen
Semantic-Web-Sprachen XML, RDF (und RDFS), OWL
Semantic-Web-Sprachen XML, RDF (und RDFS), OWL PTI 991 Wissensmanagementsystemen Dozent: Prof. Sybilla Schwarz 1 Agenda Problem Semantisches Web Semantische Sprache XML RDF RDFS OWL Zusammenfassung 2 Problem
Semantische Netze Psychologische Plausibilität
Conceptual Graphs Knoten repräsentieren Konzepte oder konzeptuelle Relationen; Kanten haben keine Labels n-stellige konzeptuelle Relation repräsentiert als Knoten mit n Kanten Mächtigkeit der PL1; aber
Daten, Information, Wissen explizites und implizites Wissen Expertensysteme (Aufgaben, Aufbau, Komponenten)
Was bisher geschah Daten, Information, Wissen explizites und implizites Wissen Expertensysteme (Aufgaben, Aufbau, Komponenten) Wissensrepräsentation und -verarbeitung in klassischer Aussagenlogik: Entscheidungstabellen,
(Dieser Foliensatz basiert auf Material von Mirjam Minor, Humboldt- Universität Berlin, WS 2000/01, sowie von Andreas Abecker/Knut Hinkelmann)
Kapitel 9: Frames (Dieser Foliensatz basiert auf Material von Mirjam Minor, Humboldt- Universität Berlin, WS 2000/01, sowie von Andreas Abecker/Knut Hinkelmann) Künstliche Intelligenz, Kapitel 9 Frames
Ontologiesprachen. 1.Was ist eine Ontologie 2.Aufbau einer Ontologie 3.RDF 4.RDFSchema 5.DAML+OIL / OWL 6.Frame-Logic
Ontologiesprachen 1.Was ist eine Ontologie 2.Aufbau einer Ontologie 3.RDF 4.RDFSchema 5.DAML+OIL / OWL 6.Frame-Logic 1.Was ist eine Ontologie Der Begriff leitet sich vom griechischen onta (das Seiende)
Fragen zum Nachdenken: Wie könnte man das Fehlen eines Attribut-Wertes interpretieren?
Attribut-Werte-Paare Eine Eigenschaft kann beschrieben werden durch ein Paar [a,w]. Dabei bezeichnet a das Attribut und w den konkreten Wert aus dem Wertebereich W a des Attributs. Die Eigenschaften eines
Kap.1: Was ist Wissen? 1.1 Begriff des Wissens (1)
Kap.1: Was ist Wissen? 1.1 Begriff des Wissens (1) Zusammenfassung: Diskutiert wurde: A) Wissensbegriff in verschiedenen Wissenschaften B) Daten Information Wissen Ebenen: (E1) Übermittlung physikalischer
Fuzzy Logic und Wahrscheinlichkeit
Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Holm Bräuer M.A. Fuzzy Logic und Wahrscheinlichkeit Ein Kurzüberblick Was ist Fuzzy Logic? Fuzzy-Logik (englisch:
Java Einführung Objektorientierte Grundkonzepte
Java Einführung Objektorientierte Grundkonzepte Inhalt Verständnis der grundlegenden Konzepte der Objektorientierung: Objekte Nachrichten Kapselung Klassen und Instanzen Vererbung Polymorphismus Darstellung
Logische Programmierung
Logische Programmierung Einleitung Elmar Eder () 1 / 27 Verschiedene Paradigmen der Programmierung Imperative Programmierung Einfache imperative Programmierung Prozedurale Programmierung Objektorientierte
Was ist Logik? Was ist Logik? Aussagenlogik. Wahrheitstabellen. Geschichte der Logik eng verknüpft mit Philosophie
Was ist Logik? Geschichte der Logik eng verknüpft mit Philosophie Begriff Logik wird im Alltag vielseitig verwendet Logik untersucht, wie man aus Aussagen andere Aussagen ableiten kann Beschränkung auf
Einführung in die Fuzzy Logik
Einführung in die Fuzzy Logik Einleitung und Motivation Unscharfe Mengen fuzzy sets Zugehörigkeitsfunktionen Logische Operatoren IF-THEN-Regel Entscheidungsfindung mit dem Fuzzy Inferenz-System Schlußbemerkungen
Ontologien. Design und Beispiele. Christian Schaadt AI-Tools WS 07
Ontologien Design und Beispiele Inhalte Teil 1: Ontologie - Begriffsklärung Sinn von Ontologien Design einer Ontologie Teil 2: Verschiedene Ontologien SUMO WordNet OpenCyc GUMO Demo: SUMO / WordNet Begriffsklärung
5.2 Entity-Relationship-Modell
5.2 Entity-Relationship-Modell Mod-5.8 Entity-Relationship-Modell, ER-Modell (P. Chen 1976): Kalkül zur Modellierung von Aufgabenbereichen mit ihren Objekten, Eigenschaften und Beziehungen. Weitergehende
Die qualitative Fehlerbaumanalyse am Beispiel einer Präsentation. -Sandra Mierz-
Die qualitative Fehlerbaumanalyse am Beispiel einer Präsentation -Sandra Mierz- Gliederung Definition Anwendungsgebiete der Fehlerbaumanalyse Vorgehen Fehlerbaum erstellen Fehlerbaum auswerten Vorteile
Evidenzpropagation in Bayes-Netzen und Markov-Netzen
Einleitung in Bayes-Netzen und Markov-Netzen Thomas Thüm 20. Juni 2006 1/26 Thomas Thüm in Bayes-Netzen und Markov-Netzen Übersicht Einleitung Motivation Einordnung der Begriffe 1 Einleitung Motivation
Ü b u n g s b l a t t 15
Einführung in die Stochastik Sommersemester 07 Dr. Walter Oevel 2. 7. 2007 Ü b u n g s b l a t t 15 Hier ist zusätzliches Übungsmaterial zur Klausurvorbereitung quer durch die Inhalte der Vorlesung. Eine
Fehlerbäume. Beispiel Kuchenbacken. Beispiel Kuchenbacken. Beispiel Kuchenbacken. der Kuchen gelingt nicht. der Kuchen.
Beispiel Kuchenbacken Fehlerbäume es waren nur noch 2 Eier übrig Kuchenform war unauffindbar Präsentation im Fach Computervisualistik Sylvia Glaßer sieht seltsam aus gelingt nicht schmeckt komisch das
Künstliche Intelligenz
George F. Luger 2008 AGI-Information Management Consultants May be used for personal purporses only or by libraries associated to dandelon.com network. Künstliche Intelligenz Strategien zur Lösung komplexer
Normalformen boolescher Funktionen
Normalformen boolescher Funktionen Jeder boolesche Ausdruck kann durch (äquivalente) Umformungen in gewisse Normalformen gebracht werden! Disjunktive Normalform (DNF) und Vollkonjunktion: Eine Vollkonjunktion
{P} S {Q} {P} S {Q} {P} S {Q} Inhalt. Hoare-Kalkül. Hoare-Kalkül. Hoare-Tripel. Hoare-Tripel. Hoare-Tripel
Inhalt Hoare-Kalkül Formale Verifizierung Hoare-Kalkül while-sprache Terminierung Partielle / totale Korrektheit 4.0 Hoare-Kalkül entwickelt von C.A.R. (Tony) Hoare (britischer Informatiker), 1969 formales
Kompendium semantische Netze
Klaus Reichenberger Kompendium semantische Netze Konzepte, Technologie, Modellierung Inhaltsverzeichnis 1 Warum dieses Buch? 1 1.1 Was erwartet Sie in diesem Buch? I 2 Grundlagen semantischer Netze 3 2.1
Interdisziplinäre fachdidaktische Übung: Sprache und Modelle. SS 2015: Grossmann, Jenko
Interdisziplinäre fachdidaktische Übung: Sprache und Modelle SS 2015: Grossmann, Jenko Einleitung Was ist ein Modell? Sprachlich orientierte Modelle Beispiele Wie entstehen Modelle? Zusammenhang Modell
4.5 Nassi-Schneidermann Diagramm
4.5 Nassi-Schneidermann Diagramm Nassi-Schneidermann-Diagramme, die auch Struktogramme genannt werden, sind graphische Hilfsmittel zum Entwurf und zur Darstellung von Programmsystemen. Sie sind beim Detailentwurf
Regelbasierte Diagnose - Wie findet man die Fehlerursachen in komplexen Anlagen?
Motivation Modellbasierter Ansatz Schluss - Wie findet man die Fehlerursachen in komplexen Anlagen? Georg Brummund 28.01.2010 Motivation Modellbasierter Ansatz Schluss Motivation Einsatzgebiet Vorwärtsverkettung
Übungen zur Softwaretechnik
Technische Universität München Fakultät für Informatik Lehrstuhl IV: Software & Systems Engineering Markus Pister, Dr. Bernhard Rumpe WS 2002/2003 Lösungsblatt 14 28. Januar 2003 www4.in.tum.de/~rumpe/se
Einführung in die Programmierung
Einführung in die Programmierung Als Programmierung bezeichnet man die Tätigkeit Computerprogramme (software) zu erstellen. Konzeptioneller Entwurf Umsetzung des Entwurfs in Programmcode (Implementation):
Relationales Datenmodell
Relationales Datenmodell Ein Datenmodell hat zwei Bestandteile: Eine mathematische Notation zur Darstellung von Daten und Beziehungen. Operationen auf den Daten, um Abfragen und andere Manipulationen zu
10. Vorlesung. Grundlagen in Statistik. Seite 291. Martin-Luther-Universität Halle/Wittenberg
. Vorlesung Grundlagen in Statistik Seite 29 Beispiel Gegeben: Termhäufigkeiten von Dokumenten Problemstellung der Sprachmodellierung Was sagen die Termhäufigkeiten über die Wahrscheinlichkeit eines Dokuments
Klassische Logik ist monoton: mehr Prämissen haben nie weniger Folgerungen Sei Th(T) = {p T = p}
Nichtmonotones Schließen: Motivation 1. Beschreibung typischer Zusammenhänge Klassische Logik ist monoton: mehr Prämissen haben nie weniger Folgerungen Sei Th(T) = {p T = p} T 1 T 2 impliziert Th(T 1 )
Ontologien. Ontologien (aus ISM Kap. 3. Wissensrepräsentation für Texte) Ontologien: Konstrukte. Konzepte/Klassen
Ontologien Ontologien (aus ISM Kap. 3. Wissensrepräsentation für Texte) Norbert Fuhr Ursprung: semantische Netze aus der künstlichen Intelligenz (1970er) weiterentwickelt als terminologische Logiken, Beschreibungslogiken
Ontologien (aus ISM Kap. 3. Wissensrepräsentation für Texte) Norbert Fuhr
Ontologien (aus ISM Kap. 3. Wissensrepräsentation für Texte) Norbert Fuhr 1 / 23 Ontologien Ursprung: semantische Netze aus der künstlichen Intelligenz (1970er) weiterentwickelt als terminologische Logiken,
Einführung in die Fuzzy Logic
Einführung in die Fuzzy Logic Entwickelt von L. Zadeh in den 60er Jahren Benutzt unscharfe (fuzzy) Begriffe und linguistische Variablen Im Gegensatz zur Booleschen Logik {0,} wird das ganze Intervall [0,]
Population und Stichprobe: Wahrscheinlichkeitstheorie
Population und Stichprobe: Wahrscheinlichkeitstheorie SS 2001 4. Sitzung vom 15.05.2001 Wahrscheinlichkeitstheorie in den Sozialwissenschaften: Stichprobenziehung: Aussagen über Stichprobenzusammensetzung
Künstliche Intelligenz für Ingenieure
Künstliche Intelligenz für Ingenieure von Prof. Dr.-Ing. Jan Lunze 2., völlig überarbeitete Auflage Oldenbourg Verlag München Verzeichnis der Anwendungsbeispiele Hinweise zum Gebrauch des Buches xvii xxiii
Entwicklung von Wissen und Funktion des Wissens bei Lern- und Gedächtnisleistungen (13.6.)
Entwicklung von Wissen und Funktion des Wissens bei Lern- und Gedächtnisleistungen (13.6.) Was ist semantisches Wissen/das semantische Gedächtnis? Welche Rolle spielt das bereits vorhandene bei Lern- und
Grundlagen der Wahrscheinlichkeitstheorie und Statistik für Studierende der Informatik
INSTITUT FÜR STOCHASTIK WS 07/08 UNIVERSITÄT KARLSRUHE Blatt 4 Dr. B. Klar Übungen zur Vorlesung Grundlagen der Wahrscheinlichkeitstheorie und Statistik für Studierende der Informatik Musterlösungen Aufgabe
Wissensbasierte Suche
Wissensbasierte Suche Jürgen Dorn Inhalt uninformierte Suche wissensbasierte Suche A* und IDA* Algorithmus Suche in Und/Oder-Graphen Jürgen Dorn 2003 Wissensbasierte Suche 1 Suche Suche in (expliziten
Lokalisierung und Topologiekontrolle
Lokalisierung und Topologiekontrolle Seminar: Kommunikation in drahtlosen Sensornetzwerken Martin Schmidt Einführung Lokalisierung: Für viele Informationen ist die Position wichtig Traditionelle Technik
Fakten, Regeln und Anfragen
Fakten, Regeln und Anfragen Prolog Grundkurs WS 99/00 Christof Rumpf [email protected] 18.10.99 GK Prolog - Fakten, Regeln und Anfragen 1 Programmieren = Problemlösen Prolog ist eine deklarative
12. Übung Künstliche Intelligenz Wintersemester 2006/2007
12. Übung Künstliche Intelligenz Wintersemester 2006/2007 1. Contraints und Heuristiken Prof. Dr. Gerd Stumme, Miranda Grahl Fachgebiet Wissensverarbeitung 09.02.2006, [email protected] a) Beschreibe
durch Ratengleichungen der Form t t = F 2 N 1 t, N 2 t d N 1 t
5. Wechselwirkungen zwischen verschiedenen Spezies Allgemein kann man die zeitliche Entwicklung zweier Spezies N 1 und N 2 durch Ratengleichungen der Form d N 1 t d N 2 t = F 1 N 1 t, N 2 t, t = F 2 N
Mengenlehre. Spezielle Mengen
Mengenlehre Die Mengenlehre ist wie die Logik eine sehr wichtige mathematische Grundlage der Informatik und ist wie wir sehen werden auch eng verbunden mit dieser. Eine Menge ist eine Zusammenfassung von
Universität Potsdam Institut für Informatik Lehrstuhl Maschinelles Lernen. Sprachtechnologie. Tobias Scheffer Thomas Vanck
Universität Potsdam Institut für Informatik Lehrstuhl Maschinelles Lernen Sprachtechnologie Tobias Scheffer Thomas Vanck Statistik & Maschinelles Lernen Statistik: Deskriptive Statistik: Beschreibung (Tabellen,
9. Übung Künstliche Intelligenz
Prof. Dr. Gerd Stumme, Dominik Benz Fachgebiet Wissensverarbeitung 9. Übung Künstliche Intelligenz 21.01.2009 Wintersemester 2008/2009 1 Frames Betrachten Sie nochmals die beispielhafte Frame-Repräsentation
Schuleigener Arbeitsplan für das Fach Mathematik Klasse 1. - Stand: Juni 2012 - Inhaltsbezogener Kompetenzbereich Zahlen und Operationen
Schuleigener Arbeitsplan für das Fach Mathematik Klasse 1 - Stand: Juni 2012 - Inhaltsbezogener Kompetenzbereich Schuljahres (laut Zahldarstellungen, Zahlbeziehungen, Zahlvorstellungen - fassen die Zahlen
Terme stehen für Namen von Objekten des Diskursbereichs (Subjekte, Objekte des natürlichsprachlichen Satzes)
Prädikatenlogik Man kann den natürlichsprachlichen Satz Die Sonne scheint. in der Prädikatenlogik beispielsweise als logisches Atom scheint(sonne) darstellen. In der Sprache der Prädikatenlogik werden
Multivariate lineare Regression. Statistik für SozialwissenschaftlerInnen II p.167
Multivariate lineare Regression Statistik für SozialwissenschaftlerInnen II p.167 Multivariate Regression Verfahren zur Prüfung des gemeinsamen linearen Einflusses mehrerer unabhängiger Variablen auf eine
Thema. Intelligente Agenten im Web
Thema Intelligente Agenten im Web Einführendes Beispiel Suchmaschine Probleme: - Immer mehr falsche Informationen - Anwender werden überfordert - Zeitaufwand erhöht sich - Zunehmendes Sicherheitsrisiko
Ü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
4b. Wahrscheinlichkeit und Binomialverteilung
b. Wahrscheinlichkeit und Binomialverteilung Um was geht es? Häufigkeit in der die Fehlerzahl auftritt 9 6 5 3 2 2 3 5 6 Fehlerzahl in der Stichprobe Wozu dient die Wahrscheinlichkeit? Häfigkeit der Fehlerzahl
8 Einführung in Expertensysteme
8 Einführung in Expertensysteme 22. Vorlesung: Constraints; Probabilistisches Schließen Für die Programmierung von Expertensystemen werden verschiedene Grundtechniken der Wissensrepräsentation und spezielle
Entwicklung und Einsatz von Expertensystemen
Karl Kurbel Entwicklung und Einsatz von Expertensystemen Eine anwendungsorientierte Einführung in wissensbasierte Systeme Mit 46 Abbildungen Springer-Verlag Berlin Heidelberg New York London Paris Tokyo
Probeklausur zur Vorlesung Statistik II für Studierende der Soziologie und Nebenfachstudierende
Probeklausur zur Vorlesung Statistik II für Studierende der Soziologie und Nebenfachstudierende im Sommersemester 2012 Prof. Dr. H. Küchenhoff, J. Brandt, G. Schollmeyer, G. Walter Aufgabe 1 Betrachten
Künstliche Intelligenz für Ingenieure
Künstliche Intelligenz für Ingenieure von Prof. Dr.-lng.Jan Lunze 2., völlig überarbeitete Auflage OldenbourgVerlag München Inhaltsverzeichnis Verzeichnis der Anwendungsbeispiele Hinweise zum Gebrauch
Deduktion in der Aussagenlogik. Semantische Folgerungsbeziehung. Zusammenhang zwischen semantischer und syntaktischer Folgerung
Deduktion in der Aussagenlogik Menge von Ausdrücken der Aussagenlogik beschreibt einen bestimmten Sachverhalt, eine "Theorie" des Anwendungsbereiches Was folgt logisch aus dieser Theorie? Deduktion: aus
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen - 1 -
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen I.2. I.2. Grundlagen von von Programmiersprachen. - 1 - 1. Der Begriff Informatik "Informatik" = Kunstwort aus Information und Mathematik
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen - 1 -
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen I.2. I.2. Grundlagen von von Programmiersprachen. - 1 - 1. Der Begriff Informatik "Informatik" = Kunstwort aus Information und Mathematik
Teil 2: Dynamische Spiele mit vollständigen Informationen
Teil : Dynamische Spiele mit vollständigen Informationen Kapitel 5: Grundsätzliches Literatur: Tadelis Chapter 7 Problem Manche Spiele entwickeln sich über die Zeit Dynamik kann aber nicht in Spielen in
Inhaltsverzeichnis. Vorwort... 11
Inhaltsverzeichnis Vorwort... 11 1 Einleitung... 13 1.1 Denken und Sprache als Prozesse der Informationsverarbeitung. 14 1.2 Denken und Sprache in Verbindung mit anderen Prozessen... 17 1.3 Auf der Suche
Zusammenfassung KI (von Marco Piroth)
Zusammenfassung KI (von Marco Piroth) Definition: KI ist das Teilgebiet der Informatik, das sich damit beschäftigt, menschliche, intelligente Verhaltensweisen auf einer Maschine nachzuvollziehen. Softwaretechnische
Die Formalisierung des wise men puzzles mittels der modalen Logik KT45 n
Universität Paderborn Institut Informatik Proseminar: Logik für Informatiker Dozent: Ekkart Kindler Sommersemester 2005 Die Formalisierung des wise men puzzles mittels der modalen Logik KT45 n erstellt
Beschreibungslogik. Vorlesung im Sommersemester 2015
Beschreibungslogik Vorlesung im Sommersemester 2015 Organisatorisches Zeit und Ort: Mi 16-18 MZH1460 und Do 16-18 MZH1460 Vortragender: Carsten Lutz Cartesium Raum 2.59 Tel. (218)-64431 [email protected]
Bayes sche und probabilistische Netze
Bayes sche und probabilistische Netze Gliederung Wahrscheinlichkeiten Bedingte Unabhängigkeit, Deduktion und Induktion Satz von Bayes Bayes sche Netze D-Separierung Probabilistische Inferenz Beispielanwendung
Netzwerkfluß. Gegeben ist ein System von Wasserrohren: Die Kapazität jedes Rohres ist 3, 5 oder 8 l/s.
Netzwerkfluß (Folie, Seite 78 im Skript) Gegeben ist ein System von Wasserrohren: Quelle s t Senke Die Kapazität jedes Rohres ist, oder 8 l/s. Frage: Wieviel Wasser kann von der Quelle zur Senke fließen?
Methodologie der Sozialwissenschaften
Karl-Dieter Opp Methodologie der Sozialwissenschaften Einführung in Probleme ihrer Theorienbildung und praktischen Anwendung 6. Auflage VS VERLAG FÜR SOZIALWISSENSCHAFTEN Inhaltsverzeichnis Vorwort 10
Vorlesung Computerphilologie. Ontologien und Ontologie-Sprachen
Wintersemester 2006 Institut für Germanistik I Vorlesung Computerphilologie Ontologien und Ontologie-Sprachen Wie kann man Inhalte (von Webseiten) erschließen? v.hahn Uni Hamburg 2005 1 Was bringen Ontologien
Semantic Web: Das Web der nächsten Generation
Semantic Web: Das Web der nächsten Generation Slim Abdennadher LMU München 8.2.2002 c S. Abdennadher 1 Einleitung Rechner erfunden als Werkzeug zur Durchführung von Berechnungen Dann entdeckt als Werkzeug
Vorsemesterkurs Informatik
Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 30. September 2015 Vorsemesterkurs Informatik 1 Einleitung 2 Aussagenlogik 3 Mengen Vorsemesterkurs Informatik > Einleitung
Methoden der unscharfen Optimierung
Methoden der unscharfen Optimierung Mike Hüftle Juli 2005 Inhaltsverzeichnis 1 Einleitung 2 1.1 Unscharfe Mengen.......................... 2 2 Unscharfe Mengen 3 2.1 Zugehörigkeit.............................
Sachrechnen/Größen WS 14/15-
Kapitel Daten & Wahrscheinlichkeit 3.1 Kombinatorische Grundlagen 3.2 Kombinatorik & Wahrscheinlichkeit in der Grundschule 3.3 Daten Darstellen 3.1 Kombinatorische Grundlagen Verschiedene Bereiche der
Bildungsstandards Grundschule MATHEMATIK. Skriptum
Bildungsstandards Grundschule MATHEMATIK Skriptum erstellt auf Basis der vom Bildungsministerium zur Verfügung gestellten Fassung Bildungsstandards für Mathematik 4. Schulstufe Version 2.2. von den Mitgliedern
CityGML Ein Standard für virtuelle 3D-Stadtmodelle
Technische Universität Berlin CityGML Ein Standard für virtuelle 3D-Stadtmodelle Prof. Dr. Thomas H. Kolbe Institut für Geodäsie und Geoinformationstechnik Technische Universität Berlin [email protected]
Methodologie der Sozialwissenschaften
Karl-Dieter Opp Methodologie der Sozialwissenschaften Einführung in Probleme ihrer Theorienbildung und praktischen Anwendung 3., voll ig neubearbeitete Auflage Westdeutscher Verlag Inhaltsverzeichnis Vorwort
5. Vorlesung: Normalformen
5. Vorlesung: Normalformen Wiederholung Vollständige Systeme Minterme Maxterme Disjunktive Normalform (DNF) Konjunktive Normalform (KNF) 1 XOR (Antivalenz) X X X X X X ( X X ) ( X X ) 1 2 1 2 1 2 1 2 1
Verzerrung bei räumlichen Urteilen. 16. November 2010
Verzerrung bei räumlichen Urteilen Teil 1 16. November 2010 Repräsentationen (Wissens-) Repräsentation Wissen: Speicherung, Integration und Organisation von Informationen im Gedächtnis Repräsentation:
Objektorientierte Modellierung (1)
Objektorientierte Modellierung (1) Die objektorientierte Modellierung verwendet: Klassen und deren Objekte Beziehungen zwischen Objekten bzw. Klassen Klassen und Objekte Definition Klasse Eine Klasse ist
Wissensbasierte Systeme
FH Wedel Prof. Dr. Sebastian Iwanowski WBS6 Folie 1 Wissensbasierte Systeme Sebastian Iwanowski FH Wedel Kap. 6: Wissensbasierte Diagnosemethoden im Vergleich FH Wedel Prof. Dr. Sebastian Iwanowski WBS6
3. Selbstbehalt und Selbstbeteiligung
3. Selbstbehalt und Selbstbeteiligung Georg Nöldeke Wirtschaftswissenschaftliche Fakultät, Universität Basel Versicherungsökonomie (FS 11) Selbstbehalt und Selbstbeteiligung 1 / 16 1. Modellrahmen 1.1
Java I Vorlesung 1 Einführung in Java
Java I Vorlesung 1 Einführung in Java Alexander Koller [email protected] 26.4.2004 Problem Algorithmus Programm Programmiersprachen Warum Java? Unser erstes Java-Programm Organisatorisches Was heißt
Logik: aussagenlogische Formeln und Wahrheitstafeln
FH Gießen-Friedberg, Sommersemester 2010 Lösungen zu Übungsblatt 1 Diskrete Mathematik (Informatik) 7./9. April 2010 Prof. Dr. Hans-Rudolf Metz Logik: aussagenlogische Formeln und Wahrheitstafeln Aufgabe
Venndiagramm, Grundmenge und leere Menge
Venndiagramm, Grundmenge und leere Menge In späteren Kapitel wird manchmal auf die Mengenlehre Bezug genommen. Deshalb sollen hier die wichtigsten Grundlagen und Definitionen dieser Disziplin kurz zusammengefasst
Konstruktion von Common Sense-Ontologien durch Analyse natürlicher Sprache
Konstruktion von Common Sense-Ontologien durch Analyse natürlicher Sprache Bachelor of Science Abschlussarbeit Ruth Janning FernUniversität in Hagen Fakultät für Mathematik und Informatik, Lehrgebiet Wissensbasierte
Motivation. Formale Grundlagen der Informatik 1 Kapitel 19. Syntax & Semantik. Motivation - Beispiel. Motivation - Beispiel
Motivation Formale Grundlagen der Informatik 1 Kapitel 19 & Die ist eine Erweiterung der Aussagenlogik. Sie hat eine größere Ausdrucksstärke und erlaub eine feinere Differenzierung. Ferner sind Beziehungen/Relationen
Qualitätssicherung bei der mobilen Datenerfassung
Qualitätssicherung bei der mobilen Datenerfassung Stephan Mäs Arbeitsgemeinschaft GIS Universität der Bundeswehr München http://www.unibw.de/bauv11/geoinformatik/agis 9. Seminar GIS & Internet 13.-15.
So denken Kinder. Usha Goswami. Enführung in die Psychologie der kognitiven Entwicklung. Verlag Hans Huber Bern Göttingen Toronto Seattle
Usha Goswami So denken Kinder Enführung in die Psychologie der kognitiven Entwicklung Aus dem Englischen übersetzt von Matthias Wengenroth Verlag Hans Huber Bern Göttingen Toronto Seattle 9 Inhalt Vorwort
Aufgabe 1 (Allgemeines)
Klausur... Einführung in die Künstliche Intelligenz 1SS08 Aufgabe 1 (Allgemeines) (4 Punkte) a) In der Künstlichen Intelligenz unterscheidet man symbolische und subsymbolische Verfahren. Beschreibe diese
Künstliche Intelligenz
Künstliche Intelligenz Bearbeitet von Uwe Lämmel, Jürgen Cleve 4., aktualisierte Auflage 2012. Buch. 336 S. ISBN 978 3 446 42758 7 Format (B x L): 18 x 24,5 cm Gewicht: 717 g Weitere Fachgebiete > EDV,
