Einführung in die Wissensrepräsentation

Größe: px
Ab Seite anzeigen:

Download "Einführung in die Wissensrepräsentation"

Transkript

1 Einführung in die Wissensrepräsentation Netzartige und schema-basierte Repräsentationsformate Von Dr. rer. soc. Ulrich Reimer Universität Konstanz > B.G.Teubner Stuttgart 1991

2 Inhaltsverzeichnis 1 Einleitung Die Rolle der Wissensrepräsentation in der Künstlichen Intelligenz Zum Wissensbegriff Zum Repräsentationsbegriff Wissensarten 16 2 Nicht-objektzentrierte Repräsentationsformate Natürliche Sprache Logik Einführung Modellierung mit Logik Eigenschaften Semantische Beziehungen Konzeptklassen, Individualkonzepte und Gruppenklassen Ereignisse und Handlungen Regelhafte Zusammenhänge und Einschränkungen Modalaspekte, definitorische und kontingente Aussagen Prototypisches Wissen Unvollständiges Wissen Widersprüchliches Wissen Unsicheres und ungenaues Wissen Operationen auf logikbasierten Repräsentationen Bezug zu anderen Repräsentationsformaten Ergänzende Bemerkungen und weiterführende Literatur Übungsaufgaben...., Produktionsregeln Einführung Modellierung mit Produktionsregeln Regelhafte Zusammenhänge und Einschränkungen Semantische Beziehungen Konzeptklassen, definitorische und kontingente Konzeptmerkmale Widersprüchliches Wissen Prototypisches Wissen 63

3 VIII Unsicheres Wissen Vor- und Nachteile von Produktionsregeln Ergänzende Bemerkungen und weiterführende Literatur Übungsaufgaben Analoge (direkte) Repräsentation Einführung Modellierung mit analogen Repräsentationsformaten Eigenschaften und semantische Beziehungen Regelhafte Zusammenhänge und Einschränkungen Konzeptklassen, Individualkonzepte und prototypisches Wissen Ereignisse und Handlungen Unvollständiges, unsicheres und ungenaues Wissen Operationen auf analogen Repräsentationen Ergänzende Bemerkungen und weiterführende Literatur Übungsaufgaben 78 Semantische Netze Einführung Modellierung mit semantischen Netzen Eigenschaften Semantische Beziehungen Konzeptklassen und Individualkonzepte Gruppenklassen Eigenschaften für semantische Beziehungen und Detaillierungsgrad von Repräsentationen Mehrstellige semantische Beziehungen Ereignisse und Handlungen Rollen Regelhafte Zusammenhänge und Einschränkungen Unterscheidung von definitorischen und kontingenten Aussagen Unvollständiges Wissen Widersprüchliches Wissen Unsicheres und ungenaues Wissen Koreferenz und Manifestation 118

4 IX 3.3 Operationen auf semantischen Netzen Entkopplung von Wissens- und Symbolebene Formulierung komplexer Anfragen durch Anfragenetze Identifizierung von Kantenfolgen Erweiterung der Ausdruckskraft durch Partitionierung Opake Kontexte Regelhafte Zusammenhänge, Einschränkungen, unvollständiges Wissen und Modalaspekte Quantifizierung Negation und Modalaspekte Disjunktion und Implikation Vor- und Nachteile semantischer Netze Vorteile Nachteile Ergänzende Bemerkungen und weiterführende Literatur Übungsaufgaben 154 Frame-artige Repräsentationsformate Einführung Modellierung mit frame-artigen Konstrukten Eigenschaften Semantische Beziehungen Rollen Konzeptklassen und Konzeptspezialisierung Klasseneigenschaften Regelhafte Zusammenhänge und Einschränkungen Hybride Frame-Repräsentation Angeheftete Prozeduren Unterscheidung von definitorischen und kontingenten Aussagen Prototypisches Wissen Unvollständiges und unsicheres Wissen Ereignisse und Handlungen Kasusrahmen Scripts 209

5 X 4.3 Operationen auf Frame-Repräsentationen Terminologische Inferenzen Frame-Strukturen als Anfragerepräsentationen: Strukturabgleich Gewichteter Frame-Abgleich Partieller Frame-Abgleich Vor- und Nachteile frame-artiger Repräsentationsformate Vorteile Nachteile Ergänzende Bemerkungen und weiterführende Literatur Übungsaufgaben 241 Anhang A: Lösungen zu den Übungsäufgaben 244 Lösungen zu Logik 244 Lösungen zu Produktionsregeln 250 Lösungen zu Analoger Repräsentation 252 Lösungen zu Semantische Netze 253 Lösungen zu Frames 268 Anhang B: Literaturhinweise 284 Literatur zu Kapitel 1: Einleitung 284 Literatur zu Kapitel 2.2: Logik 287 Literatur zu Kapitel 2.3: Produktionsregeln 292 Literatur zu Kapitel 2.4: Analoge Repräsentation 294 Literatur zu Kapitel 3: Semantische Netze 296 Literatur zu Kapitel 4: Frames 302 Stichwortverzeichnis 308 Verzeichnis der Definitionen 312

Vorwort zur deutschen Ausgabe

Vorwort zur deutschen Ausgabe Vorwort zur deutschen Ausgabe x 0 Mathematisches Prolegomenon 1 0.1 Mengentheoretische Notation 1 0.2 Beweis durch Induktion 3 0.3 Äquivalenzrelationen und Äquivalenzklassen 5 1 Die klassische Logik und

Mehr

Kapitel 8: Semantische Netze

Kapitel 8: Semantische Netze Kapitel 8: Semantische Netze Teil 1 (Dieser Foliensatz basiert auf Material von Mirjam Minor, Humboldt- Universität Berlin, WS 2000/01) Künstliche Intelligenz, Kapitel 8 Semantische Netze 1 Begriffe und

Mehr

Jessica Naundorf. Kritische Analyse von. Employer Awards im Kontext. des Employer Branding

Jessica Naundorf. Kritische Analyse von. Employer Awards im Kontext. des Employer Branding Jessica Naundorf Kritische Analyse von Employer Awards im Kontext des Employer Branding Rainer Hampp Verlag München, Mering 2016 -I- Inhaltsverzeichnis Inhaltsverzeichnis Abbildungsverzeichnis Tabellenverzeichnis

Mehr

Künstliche Intelligenz

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

Mehr

Künstliche Intelligenz für Ingenieure

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

Mehr

Cord Spreckelsen I Klaus Spitzer. Wissensbasen und Expertensysteme in der Medizin

Cord Spreckelsen I Klaus Spitzer. Wissensbasen und Expertensysteme in der Medizin Cord Spreckelsen I Klaus Spitzer Wissensbasen und Expertensysteme in der Medizin Medizinische Informatik Herausgegeben von Prof. Dr. rer. nat. Heinz Handels, Hamburg Prof. Dr. Dr. Siegfried Pappi, Lubeck

Mehr

Aussagenlogik: Lexikon, Syntax und Semantik

Aussagenlogik: Lexikon, Syntax und Semantik Einführung in die Logik - 2 Aussagenlogik: Lexikon, Syntax und Semantik Wiederholung: Was ist Logik? Logik : Die Lehre» vom formal korrekten Schließen» von den Wahrheitsbedingungen von Sätzen Unter welchen

Mehr

Grundlagen der Statistik

Grundlagen der Statistik www.nwb.de NWB Studium Betriebswirtschaft Grundlagen der Statistik Band 2: Wahrscheinlichkeitsrechnung und induktive Statistik Von Professor Dr. Jochen Schwarze 9., vollständig überarbeitete Auflage STUDIUM

Mehr

(Dieser Foliensatz basiert auf Material von Mirjam Minor, Humboldt- Universität Berlin, WS 2000/01, sowie von Andreas Abecker/Knut Hinkelmann)

(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

Mehr

Grundlagen der Logik

Grundlagen der Logik Grundlagen der Logik Denken Menschen logisch? Selektionsaufgabe nach Watson (1966): Gegeben sind vier Karten von denen jede auf der einen Seite mit einem Buchstaben, auf der anderen Seite mit einer Zahl

Mehr

Thema: Logik: 2. Teil. Übersicht logische Operationen Name in der Logik. Negation (Verneinung) Nicht

Thema: Logik: 2. Teil. Übersicht logische Operationen Name in der Logik. Negation (Verneinung) Nicht Thema: Logik: 2. Teil Übersicht logische Operationen Name in der Logik Symbol Umgangssprachlicher Name Negation (Verneinung) Nicht Konjunktion ^ Und Disjunktion v Oder Subjunktion (Implikation) Bijunktion

Mehr

Logik. Logik. Vorkurs Informatik Theoretischer Teil WS 2013/ September Vorkurs Informatik - Theorie - WS2013/14

Logik. Logik. Vorkurs Informatik Theoretischer Teil WS 2013/ September Vorkurs Informatik - Theorie - WS2013/14 Logik Logik Vorkurs Informatik Theoretischer Teil WS 2013/14 30. September 2013 Logik > Logik > logische Aussagen Logik Logik > Logik > logische Aussagen Motivation Logik spielt in der Informatik eine

Mehr

Einführung in Expertensysteme

Einführung in Expertensysteme Frank Puppe Einführung in Expertensysteme Zweite Auflage Mit 86 Abbildungen Springer-Verlag Berlin Heidelberg New York London Paris Tokyo HongKong Barcelona Budapest Inhaltsverzeichnis Teil I. Einführung

Mehr

Kai Michels Frank Klawonn Rudolf Kruse Andreas Nürnberger. Fuzzy-Regelung. Grundlagen, Entwurf, Analyse. Mit 174 Abbildungen und 9 Tabellen.

Kai Michels Frank Klawonn Rudolf Kruse Andreas Nürnberger. Fuzzy-Regelung. Grundlagen, Entwurf, Analyse. Mit 174 Abbildungen und 9 Tabellen. Kai Michels Frank Klawonn Rudolf Kruse Andreas Nürnberger Fuzzy-Regelung Grundlagen, Entwurf, Analyse Mit 174 Abbildungen und 9 Tabellen Springer Inhaltsverzeichnis 1. Grundlagen der Fuzzy-Systeme 1 1.1

Mehr

1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen

1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen 1. Grundlagen Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen Peter Buchholz 2016 MafI 2 Grundlagen 7 1.1 Was ist Analysis? Analysis ist

Mehr

1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen

1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen . Grundlagen Gliederung. Was ist Analysis?.2 Aussagen und Mengen.3 Natürliche Zahlen.4 Ganze Zahlen, rationale Zahlen. Was ist Analysis? Analysis ist neben der linearen Algebra ein Grundpfeiler der Mathematik!

Mehr

Kapitel 1.0. Aussagenlogik: Einführung. Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1

Kapitel 1.0. Aussagenlogik: Einführung. Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1 Kapitel 1.0 Aussagenlogik: Einführung Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1 Ziele der Aussagenlogik In der Aussagenlogik analysiert man die Wahrheitswerte zusammengesetzter

Mehr

Vorsemesterkurs Informatik

Vorsemesterkurs Informatik Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 30. September 2015 Vorsemesterkurs Informatik 1 Einleitung 2 Aussagenlogik 3 Mengen Vorsemesterkurs Informatik > Einleitung

Mehr

Inhaltsverzeichnis VII

Inhaltsverzeichnis VII Inhaltsverzeichnis 1 Das Verhältnis zwischen Praxis und Forschung in der Personalauswahl: Weiß die linke Hand, was die rechte tut?.... 1 Neil Anderson 1.1 Einleitung.... 2 1.2 Fragmentierung oder Spezialisierung:

Mehr

Vorwort... V. Abbildungsverzeichnis... XIII. 1. Überblick über die behandelten Problembereiche... 3

Vorwort... V. Abbildungsverzeichnis... XIII. 1. Überblick über die behandelten Problembereiche... 3 Inhaltsverzeichnis Vorwort... V Abbildungsverzeichnis... XIII 1. Überblick über die behandelten Problembereiche... 3 2. Aufgaben und wissenschaftstheoretische Grundzüge der Marktforschung... 9 2.1. Klassische

Mehr

Logik für Informatiker

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

Mehr

1.1 Motivation. Theorie der Informatik. Theorie der Informatik. 1.1 Motivation. 1.2 Syntax. 1.3 Semantik. 1.4 Formeleigenschaften. 1.

1.1 Motivation. Theorie der Informatik. Theorie der Informatik. 1.1 Motivation. 1.2 Syntax. 1.3 Semantik. 1.4 Formeleigenschaften. 1. Theorie der Informatik 19. Februar 2014 1. Aussagenlogik I Theorie der Informatik 1. Aussagenlogik I Malte Helmert Gabriele Röger Universität Basel 19. Februar 2014 1.1 Motivation 1.2 Syntax 1.3 Semantik

Mehr

Fuzzy Logic und Wahrscheinlichkeit

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:

Mehr

Enrico G. De Giorgi. Mathematik. 2. Auflage Lehrstuhl für Mathematik Universität St.Gallen. Diese Version: August 2014.

Enrico G. De Giorgi. Mathematik. 2. Auflage Lehrstuhl für Mathematik Universität St.Gallen. Diese Version: August 2014. Enrico G. De Giorgi Mathematik 2. Auflage 2014 Lehrstuhl für Mathematik Universität St.Gallen Diese Version: August 2014. c 2014, Enrico De Giorgi, Universität St.Gallen, alle Rechte vorbehalten. Die Vervielfältigung

Mehr

Public Affairs-Management von Großunternehmen

Public Affairs-Management von Großunternehmen Jan Siedentopp Public Affairs-Management von Großunternehmen Markt- versus Nichtmarktstrategien LIT Inhaltsverzeichnis XIII INHALTSVERZEICHNIS GELEITWORT ZUM BAND 11 DER REIHE PUBLIC AFFAIRS UND POLITIKMANAGEMENT

Mehr

Logik für Informatiker

Logik für Informatiker Vorlesung Logik für Informatiker 5. Aussagenlogik Normalformen Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Normalformen Definition: Literal Atom (aussagenlogische

Mehr

Anreizsysteme für die betriebliche Forschung und Entwicklung

Anreizsysteme für die betriebliche Forschung und Entwicklung Thomas Weber Anreizsysteme für die betriebliche Forschung und Entwicklung Deutscher Universitäts-Verlag Inhaltsverzeichnis 1 Einleitung 1 1.1 Anlass 1 1.2 Problemstellung und Zielsetzung 6 1.3 Begriffliche

Mehr

Zur Semantik der Junktorenlogik

Zur Semantik der Junktorenlogik Zur Semantik der Junktorenlogik Elementare Logik I Michael Matzer Inhaltsverzeichnis 1 Präliminarien 2 2 Tautologien, Kontradiktionen und kontingente Sätze von J 2 2.1 Tautologien von J................................

Mehr

Inhaltsverzeichnis. 1 Einleitung Analyse des Webprozesses in Theorie und Praxis... 11

Inhaltsverzeichnis. 1 Einleitung Analyse des Webprozesses in Theorie und Praxis... 11 Inhaltsverzeichnis Geleitwort...V Vorwort und Danksagungen... 7 Übersicht...9 Abstract...11 Inhaltsübersicht...17 Verzeichnis der Abbildungen... 25 Verzeichnis der Tabellen... 27 Verzeichnis der Abkürzungen...

Mehr

Inhaltsverzeichnis. 1. Einleitung Theoretischer Hintergrund... 9

Inhaltsverzeichnis. 1. Einleitung Theoretischer Hintergrund... 9 Inhaltsverzeichnis Vorwort... V Abbildungsverzeichnis... XI Tabellenverzeichnis... XIII Abkürzungsverzeichnis... XV 1. Einleitung... 1 1.1 Problemstellung... 2 1.2 Zielsetzung... 3 1.3 Aufbau der Dissertation

Mehr

KI: Wie testet man ein Hirn?

KI: Wie testet man ein Hirn? KI: Wie testet man ein Hirn? (Und warum?) Richard Jelinek PetaMem GmbH Nürnberg Richard Jelinek Künstliche Intelligenz 11. März 2016 1 / 15 Weltwissen & Repräsentation Weltwissen beschreibt das verfügbare

Mehr

b. Lehre des vernünftigen Schlussfolgerns (1. System von Regeln von Aristoteles ( v. Chr.); sprachliche Argumente

b. Lehre des vernünftigen Schlussfolgerns (1. System von Regeln von Aristoteles ( v. Chr.); sprachliche Argumente II. Zur Logik 1. Bemerkungen zur Logik a. Logisches Gebäude der Mathematik: wenige Axiome (sich nicht widersprechende Aussagen) bilden die Grundlage; darauf aufbauend Lehrsätze unter Berücksichtigung der

Mehr

Constanze Knörck. Intraorganisationaler Wissenstransfer in global agierenden Unternehmen. Verlag Dr. Kovac

Constanze Knörck. Intraorganisationaler Wissenstransfer in global agierenden Unternehmen. Verlag Dr. Kovac Constanze Knörck Intraorganisationaler Wissenstransfer in global agierenden Unternehmen Verlag Dr. Kovac Hamburg 2009 Inhaltsverzeichnis Abbildungsverzeichnis Tabellenverzeichnis Abkürzungsverzeichnis

Mehr

Kants,Kritik der praktischen Vernunft'

Kants,Kritik der praktischen Vernunft' Giovanni B. Sala Kants,Kritik der praktischen Vernunft' Ein Kommentar Wissenschaftliche Buchgesellschaft Inhalt Einleitung des Verfassers 11 Der Werdegang der Ethik Kants 1. Kants Ethik und die Tradition

Mehr

Hochschule R avensburg-weingarten University of Applied S ciences Default-Logik Benjamin R ana Angewandte Informatik, Informationsnetze 7.

Hochschule R avensburg-weingarten University of Applied S ciences Default-Logik Benjamin R ana Angewandte Informatik, Informationsnetze 7. Default-Logik Überblick Motivation Nichtmonotone-Logik Reiter-Logik Syntax Semantik Extensions Simulator Motivation Mit klassischer Logik lassen sich viele Zusammenhänge nicht einfach darstellen Was tun

Mehr

Moderne Strukturierte Analyse

Moderne Strukturierte Analyse Edward Yourdon Moderne Strukturierte Analyse Prentice Hall Wolfram's Fachverlag Inhaltsverzeichnis Teil 1: Einleitung 1 1. Einleitung 3 1.1 Warum ist Systemanalyse so interessant? 3 1.2 Für wen ist diese

Mehr

Andreas Scherer. Neuronale Netze. Grundlagen und Anwendungen. vieweg

Andreas Scherer. Neuronale Netze. Grundlagen und Anwendungen. vieweg Andreas Scherer Neuronale Netze Grundlagen und Anwendungen vieweg Inhaltsverzeichnis Vorwort 1 1 Einführung 3 1.1 Was ist ein neuronales Netz? 3 1.2 Eigenschaften neuronaler Netze 5 1.2.1 Allgemeine Merkmale

Mehr

insara: Hierarchische Netzwerke zur Analyse, Visualisierung und Vorhersage von Struktur-Aktivitäts-Beziehungen

insara: Hierarchische Netzwerke zur Analyse, Visualisierung und Vorhersage von Struktur-Aktivitäts-Beziehungen insara: Hierarchische Netzwerke zur Analyse, Visualisierung und Vorhersage von Struktur-Aktivitäts-Beziehungen Von der Fakultät für Lebenswissenschaften der Technischen Universität Carolo-Wilhelmina zu

Mehr

Beschreibungslogik Kapitel 7: ABoxen und Anfragebeantwortung

Beschreibungslogik Kapitel 7: ABoxen und Anfragebeantwortung Beschreibungslogik Kapitel 7: ABoxen und Anfragebeantwortung Sommersemester 2017 Thomas Schneider AG Theorie der künstlichen Intelligenz (TdKI) http://tinyurl.com/ss17-bl Beschreibungslogik SoSe 2017 7

Mehr

Theoretische Grundlagen des Software Engineering

Theoretische Grundlagen des Software Engineering Theoretische Grundlagen des Software Engineering 6: Formale Logik Einführung schulz@eprover.org Formale Logik Ziel Formalisierung und Automatisierung rationalen Denkens Rational richtige Ableitung von

Mehr

Petri-Netzbasierte Modellierung und Analyse von Risikoaspekten in Geschäftsprozessen

Petri-Netzbasierte Modellierung und Analyse von Risikoaspekten in Geschäftsprozessen Petri-Netzbasierte Modellierung und Analyse von Risikoaspekten in Geschäftsprozessen Zur Erlangung des akademischen Grades eines Doktors der Wirtschaftswissenschaften (Dr. rer. pol.) von der Fakultät für

Mehr

Tutorium: Diskrete Mathematik

Tutorium: Diskrete Mathematik Tutorium: Diskrete Mathematik Vorbereitung der Bonusklausur am 01.12.2017 (Teil 1) 22. November 2017 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2017 Steven Köhler 22. November 2017

Mehr

Künstliche Intelligenz

Künstliche Intelligenz Künstliche Intelligenz Logische Agenten Claes Neuefeind Sprachliche Informationsverarbeitung Universität zu Köln 02. November 2011 Logische Agenten Wissensbasierte Agenten Eine Modellwelt Aussagen Logik

Mehr

Einführung in die Methoden der Künstlichen Intelligenz. Klausurvorbereitung Überblick, Fragen,...

Einführung in die Methoden der Künstlichen Intelligenz. Klausurvorbereitung Überblick, Fragen,... Einführung in die Methoden der Künstlichen Intelligenz Klausurvorbereitung Überblick, Fragen,... PD Dr. David Sabel SoSe 2014 Stand der Folien: 18. Juli 2014 Klausur Termin: Donnerstag 31. Juli um 9.15h

Mehr

Unterschiede herausarbeiten durch Variation des Wesentlichen.

Unterschiede herausarbeiten durch Variation des Wesentlichen. Unterschiede herausarbeiten durch Variation des Wesentlichen. Gemeinsamkeiten herausarbeiten durch Varation des Unwesentlichen: Welches physikalische oder chemische Prinzip liegt hier zugrunde? Welches

Mehr

Grundlagen der Künstlichen Intelligenz

Grundlagen der Künstlichen Intelligenz Grundlagen der Künstlichen Intelligenz 28. Aussagenlogik: DPLL-Algorithmus Malte Helmert Universität Basel 2. Mai 2014 Aussagenlogik: Überblick Kapitelüberblick Aussagenlogik: 26. Grundlagen 27. Logisches

Mehr

I B. G. TEUBNER STUTTGART

I B. G. TEUBNER STUTTGART M A T H E M A T I S C H E L E I T F Ä D E N Herausgegeben von Professor Dr. phil. Dr. h.c. G. Köthe, Universität Frankfurt/M. Einführung in die mathematische Logik Klassische Prädikatenlogik Von Dr. rer.

Mehr

Allgemeine Psychologie Denken und Sprache

Allgemeine Psychologie Denken und Sprache Allgemeine Psychologie Denken und Sprache von Sieghard Beller und Andrea Bender HOGREFE - GÖTTINGEN BERN WIEN PARIS OXFORD PRAG TORONTO ES CAMBRIDGE, MA AMSTERDAM. KOPENHAGEN. STOCKHOLM In haltsverzeich

Mehr

Innovativität und Arbeitgeberattraktivilät. Abbildungsverzeichnis. Tabellenverzeichnis. 1 Einführung 1

Innovativität und Arbeitgeberattraktivilät. Abbildungsverzeichnis. Tabellenverzeichnis. 1 Einführung 1 Innovativität und Arbeitgeberattraktivilät Überblick Abbildungsverzeichnis Tabellenverzeichnis XV XVII 1 Einführung 1 1.1 Einleitung 1 1.2 Fragestellung und Zielsetzung 7 1.3 Aufbau der Arbeit 10 2 Hintergrund

Mehr

Ökonomische Bewertung elektronischer Transaktionssysteme

Ökonomische Bewertung elektronischer Transaktionssysteme Daniel Kilper Ökonomische Bewertung elektronischer Transaktionssysteme Eine transaktionskosten- und systemtheoriebasierte Analyse JUÜpress 2007 Inhaltsverzeichnis Abbildungsverzeichnis Tabellenverzeichnis

Mehr

Beschreibungslogiken. Daniel Schradick 1schradi@informatik.uni-hamburg.de

Beschreibungslogiken. Daniel Schradick 1schradi@informatik.uni-hamburg.de Beschreibungslogiken Daniel Schradick 1schradi@informatik.uni-hamburg.de Was sind Beschreibungslogiken? Definition: Formalisms that represent knowledge of some problem domain (the world ) by first defining

Mehr

Informationsverarbeitung auf Bitebene

Informationsverarbeitung auf Bitebene Informationsverarbeitung auf Bitebene Dr. Christian Herta 5. November 2005 Einführung in die Informatik - Informationsverarbeitung auf Bitebene Dr. Christian Herta Grundlagen der Informationverarbeitung

Mehr

Forschung und Entwicklung (F&E) in Schwellenländern: Ergebnisse, Merkmale und Entwicklungsstufen der F&E multinationaler Unternehmen in China

Forschung und Entwicklung (F&E) in Schwellenländern: Ergebnisse, Merkmale und Entwicklungsstufen der F&E multinationaler Unternehmen in China Jan Henning Behrens Forschung und Entwicklung (F&E) in Schwellenländern: Ergebnisse, Merkmale und Entwicklungsstufen der F&E multinationaler Unternehmen in China Eine vergleichende Fallstudie university

Mehr

Nichtlineare Phänomene und Selbstorganisation

Nichtlineare Phänomene und Selbstorganisation Nichtlineare Phänomene und Selbstorganisation Von Dr. rer i.. ibü: Rein*»i M ce Doz. Dr. rer. nat. nabii. Jürn Schmelzer Prof. Dr. rer. nat. habil. Gerd Röpke Universität Rostock Mit zahlreichen Figuren

Mehr

Hierarchisch integrierte Produktionsplanung und -Steuerung

Hierarchisch integrierte Produktionsplanung und -Steuerung Volkmar Söhner Hierarchisch integrierte Produktionsplanung und -Steuerung Mit 42 Abbildungen Physica-Verlag Ein Unternehmen des Springer-Verlags 1 Einleitung 1 1.1 Problemstellung 1 1.2 Gang der Untersuchung

Mehr

2.2. Wissenschaftstheoretische Grundzüge der Gewinnung von Erkenntnissen über Märkte 10

2.2. Wissenschaftstheoretische Grundzüge der Gewinnung von Erkenntnissen über Märkte 10 Vorwort V Abbildungsverzeichnis XIII 1. Überblick über die behandelten Problembereiche 3 2. Aufgaben und wissenschaftstheoretische Grundzüge der Marktforschung 9 2.1. Klassische Aufgaben der Marktforschung

Mehr

Fakultät Wirtschaftswissenschaften Lehrstuhl für Quantitative Verfahren, insbesondere Statistik. Risikomaße Prof. Dr.

Fakultät Wirtschaftswissenschaften Lehrstuhl für Quantitative Verfahren, insbesondere Statistik. Risikomaße Prof. Dr. Fakultät Wirtschaftswissenschaften Lehrstuhl für Quantitative Verfahren, insbesondere Statistik Risikomaße 2016 Prof. Dr. Stefan Huschens ii Vorbemerkung Das vorliegende Skript ist aus einer Lehrveranstaltung

Mehr

Semantik: Semantik von Merkmalsstrukturen

Semantik: Semantik von Merkmalsstrukturen Spezielle Themen der KI : von Subsumption Notation: t 1 t 2 Definition: Eine Merkmalsstruktur t 1 subsumiert eine Merkmalsstruktur t 2 gdw. die Menge der von t 2 beschriebenen Elemente eine Teilmenge der

Mehr

Sarah-Magdalena Leschke. Marketingabhängige Kundenwertbestimmung für Banken

Sarah-Magdalena Leschke. Marketingabhängige Kundenwertbestimmung für Banken Sarah-Magdalena Leschke Marketingabhängige Kundenwertbestimmung für Banken Modellierung des Zusammenhangs von Preisstrategie und CustomerLifetime Value (CLV) unter Berücksichtigung demografischer Effekte

Mehr

Promotionsvorhaben von Michael Wessel, AB KOGS Betreuendes Umfeld (alphabetisch): Volker Haarslev, Ralf Möller, Bernd Neumann

Promotionsvorhaben von Michael Wessel, AB KOGS Betreuendes Umfeld (alphabetisch): Volker Haarslev, Ralf Möller, Bernd Neumann Beschreibungslogiken für räumliche Informationssysteme Promotionsvorhaben von Michael Wessel, AB KOGS Betreuendes Umfeld (alphabetisch): Volker Haarslev, Ralf Möller, Bernd Neumann Versuch der Synthese

Mehr

Übersicht. Prädikatenlogik höherer Stufe. Syntax der Prädikatenlogik 1. Stufe (mit Gleichheit)

Ü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

Mehr

Fakultät für Informatik Universität Magdeburg Jürgen Dassow. Vorbemerkungen

Fakultät für Informatik Universität Magdeburg Jürgen Dassow. Vorbemerkungen Vorbemerkungen if (x > y) z = x; else z = y; Wenn es blaue Tiger regnet, dann fressen alle Kirschbäume schwarze Tomaten. q(1) = 1, q(i) = q(i 1) + 2i 1 für i 2 Welchen Wert hat q(6)? 24 ist durch 2 teilbar.

Mehr

Allgemeine Psychologie - Denken und Sprache

Allgemeine Psychologie - Denken und Sprache Bachelorstudium Psychologie 3 Allgemeine Psychologie - Denken und Sprache Bearbeitet von Sieghard Beller, Andrea Bender 1. Auflage 2010. Taschenbuch. 318 S. Paperback ISBN 978 3 8017 2141 1 Format (B x

Mehr

Kapitel 1. Aussagenlogik

Kapitel 1. Aussagenlogik Kapitel 1 Aussagenlogik Einführung Mathematische Logik (WS 2012/13) Kapitel 1: Aussagenlogik 1/17 Übersicht Teil I: Syntax und Semantik der Aussagenlogik (1.0) Junktoren und Wahrheitsfunktionen (1.1) Syntax

Mehr

4 ZU V5"4. Er wart ungsnut zenhyp ot hese. Dogmenhistorische Ausgangslage, analytische Voraussetzungen und moderne Entwicklungen

4 ZU V54. Er wart ungsnut zenhyp ot hese. Dogmenhistorische Ausgangslage, analytische Voraussetzungen und moderne Entwicklungen 4 ZU V5"4 Er wart ungsnut zenhyp ot hese Dogmenhistorische Ausgangslage, analytische Voraussetzungen und moderne Entwicklungen Vorwort 15 1.1 Zufall und die Erwartungsnutzentheorie 16 1.2 Inhalt und Fortgang

Mehr

Trend, Zyklus und Zufall

Trend, Zyklus und Zufall Rainer Metz Trend, Zyklus und Zufall Bestimmungsgründe und Verlaufsformen langfristiger Wachstumsschwankungen Franz Steiner Verlag INHALTSVERZEICHNIS Vorwort Abbildungsverzeichnis Tabellenverzeichnis Abkürzungsverzeichnis

Mehr

Unternehmensbewertung

Unternehmensbewertung Unternehmensbewertung von Dr. Jochen Drukarczyk Professor für Betriebswirtschaftslehre an der Universität Regensburg unter Mitarbeit von Dr. Bernhard Schwetzler Professor für Betriebswirtschaftslehre an

Mehr

Informationsmodellierung in XML und SGML

Informationsmodellierung in XML und SGML Henning Lobin Informationsmodellierung in XML und SGML Mit 29 Abbildungen und 4 Tabellen Springer Inhalt 1 Einleitung 1 1.1 1986 - eine neue Zeit beginnt 1 1.2 Was ist,textuelle Informationsmodellierung'?

Mehr

Institut für Eisenbahnwesen und Verkehrssicherung. 1# W TU Braunschweig MANFRED MATZKE. Ein Bewertungssystem für Betriebskonzepte bei Industriebahnen

Institut für Eisenbahnwesen und Verkehrssicherung. 1# W TU Braunschweig MANFRED MATZKE. Ein Bewertungssystem für Betriebskonzepte bei Industriebahnen Institut für Eisenbahnwesen und Verkehrssicherung 1# W TU Braunschweig MANFRED MATZKE Ein Bewertungssystem für Betriebskonzepte bei Industriebahnen Inhaltsverzeichnis Verwendete Abkürzungen Glossar vi

Mehr

Mathematik 1 für Wirtschaftsinformatik

Mathematik 1 für Wirtschaftsinformatik für Wirtschaftsinformatik Wintersemester 2012/13 Hochschule Augsburg : Gliederung 1 Grundlegende 2 Grundlegende 3 Aussagenlogik 4 Komplexe Zahlen 5 Lineare Algebra 6 Lineare Programme 3 Aussagenlogik

Mehr

Expertensystem zur Beurteilung von Anzeigenwerbung

Expertensystem zur Beurteilung von Anzeigenwerbung Franz-Rudolf Esch Expertensystem zur Beurteilung von Anzeigenwerbung Mit 62 Abbildungen.*/* T CHNISGHE HOCHSCHULE OAftMSTAOT Fachbeeich 1 Gesamt b tb i o t he k Invenior-Nr...Hß(ö.2> ADStell-Nr. :.4^3.03...5...

Mehr

Empirische Forschung 4. Übung zur Vorlesung Kognitive Modellierung

Empirische Forschung 4. Übung zur Vorlesung Kognitive Modellierung Empirische Forschung 4 Übung zur Vorlesung Kognitive Modellierung S. 1 Gliederung Literaturangaben zu empirischer Forschung Einführung in den Themenbereich Analogien / Analoges Schließen Veranschaulichung

Mehr

OPERATIONS RESEARCH I LINEARE PLANUNGS RECHNUNO UND NETZPLANTECHNIK

OPERATIONS RESEARCH I LINEARE PLANUNGS RECHNUNO UND NETZPLANTECHNIK BODO RUNZHEIMER OPERATIONS RESEARCH I LINEARE PLANUNGS RECHNUNO UND NETZPLANTECHNIK SIMPLEX-METHODE -TRANSPORT-METHODE STRUKTURANALYSE ZEITPLANUNG ZEIT-KOSTEN PLANUNG- ANWENDUNGSMÖGLICHKEITEN 5., VERBESSERTE

Mehr

Mathematische Grundlagen I Logik und Algebra

Mathematische Grundlagen I Logik und Algebra Logik und Algebra Dr. Tim Haga 21. Oktober 2016 1 Aussagenlogik Erste Begriffe Logische Operatoren Disjunktive und Konjunktive Normalformen Logisches Schließen Dr. Tim Haga 1 / 21 Präliminarien Letzte

Mehr

8 Einführung in Expertensysteme

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

Mehr

Inhaltsverzeichnis. Einführung in das Tortenschema zur Chemiedidaktik Schülervorstellungen Motivation Unterrichtsziele...

Inhaltsverzeichnis. Einführung in das Tortenschema zur Chemiedidaktik Schülervorstellungen Motivation Unterrichtsziele... Inhaltsverzeichnis Einführung in das Tortenschema zur Chemiedidaktik.. 1 1 Schülervorstellungen... 9 1.1 Fachliche Schwerpunkte Theorien aus der Geschichte der Naturwissenschaften... 11 1.2 Lernende Empirische

Mehr

Datenbanken und SQL. Springer Vieweg. Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL Server und MySQL.

Datenbanken und SQL. Springer Vieweg. Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL Server und MySQL. Edwin Schicker Datenbanken und SQL Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL Server und MySQL 4., überarbeitete Auflage Springer Vieweg Inhaltsverzeichnis 1 Übersicht über Datenbanken

Mehr

Dirk Mattfeld Richard Vahrenkamp. Logistiknetzwerke. Modelle für Standortwahl. und Tourenplanung. 2., aktualisierte und überarbeitete Auflage

Dirk Mattfeld Richard Vahrenkamp. Logistiknetzwerke. Modelle für Standortwahl. und Tourenplanung. 2., aktualisierte und überarbeitete Auflage Dirk Mattfeld Richard Vahrenkamp Logistiknetzwerke Modelle für Standortwahl und Tourenplanung 2., aktualisierte und überarbeitete Auflage 4^ Springer Gabler Inhaltsverzeichnis Vorwort zur 2. Auflage Vorwort

Mehr

Mathematik für Ingenieure mit Maple

Mathematik für Ingenieure mit Maple Thomas Westermann Mathematik für Ingenieure mit Maple Band 1: Differential- und Integralrechnung für Funktionen einer Variablen, Vektor- und Matrizenrechnung, Komplexe Zahlen, Funktionenreihen 2. Auflage

Mehr

Imperia Unicode- und Multi-Language-HOWTO

Imperia Unicode- und Multi-Language-HOWTO Imperia Unicode- und Multi-Language-HOWTO Konzeption, Implementierung und Pflege mehrsprachiger Web-Sites mit Imperia Guido Flohr Imperia Unicode- und Multi-Language-HOWTO: Konzeption, Implementierung

Mehr

Teil 7. Grundlagen Logik

Teil 7. Grundlagen Logik Teil 7 Grundlagen Logik Was ist Logik? etymologische Herkunft: griechisch bedeutet Wort, Rede, Lehre (s.a. Faust I ) Logik als Argumentation: Alle Menschen sind sterblich. Sokrates ist ein Mensch. Also

Mehr

Entwurf. Anwendungsbeginn E DIN EN (VDE ): Anwendungsbeginn dieser Norm ist...

Entwurf. Anwendungsbeginn E DIN EN (VDE ): Anwendungsbeginn dieser Norm ist... Anwendungsbeginn Anwendungsbeginn dieser Norm ist.... Inhalt Nationales Vorwort... 9 Nationaler Anhang NA (informativ) Zusammenhang mit Europäischen und Internationalen Dokumenten... 9 Einleitung... 11

Mehr

Interne Markenführung

Interne Markenführung Interne Markenführung IDENTITÄTSBASIERTES BEHAVIORAL BRANDING IN LUXUSMARKENUNTERNEHMEN von DR. NADINE SCHUMACHER FÖRDERGESELLSCHAFT PRODUKT-MARKETING E.V. Inhaltsverzeichnis Seite ABBILDUNGSVERZEICHNIS

Mehr

Formale Grundlagen der Informatik 1 Kapitel 13 Aussagenlogik Syntax & Semantik

Formale Grundlagen der Informatik 1 Kapitel 13 Aussagenlogik Syntax & Semantik Formale Grundlagen der Informatik 1 Kapitel 13 Aussagenlogik & Frank Heitmann heitmann@informatik.uni-hamburg.de 23. Mai 2016 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/42 Literaturhinweis Literaturhinweis

Mehr

Methodologie der Sozialwissenschaflen

Methodologie der Sozialwissenschaflen KARL-DIETER OPP Methodologie der Sozialwissenschaflen Einführung in Probleme ihrer Theorienbildung ROWOHLT INHALTSVERZEICHNIS ENZYKLOPÄDISCHES STICHWORT GRUNDLAGENPROBLEME DER SOZIALWISSEN SCHAFTEN 320

Mehr

Godehard Link COLLEGIUM LOGICUM. Logische Grundlagen der Philosophie und der Wissenschaften. Band 1. mentis PADERBORN

Godehard Link COLLEGIUM LOGICUM. Logische Grundlagen der Philosophie und der Wissenschaften. Band 1. mentis PADERBORN Godehard Link COLLEGIUM LOGICUM Logische Grundlagen der Philosophie und der Wissenschaften Band 1 mentis PADERBORN Inhaltsverzeichnis Vorwort xiii Einleitung 1 0.1 Historisches zum Verhältnis von Logik

Mehr

Was ist Logik? Was ist Logik? Aussagenlogik. Wahrheitstabellen. Geschichte der Logik eng verknüpft mit Philosophie

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

Mehr

Risiko und Stochastische Dominanz

Risiko und Stochastische Dominanz Risiko und Stochastische Dominanz DISSERTATION der Universität St. Gallen, Hochschule für Wirtschafts-, Rechts- und Sozialwissenschaften (HSG) zur Erlangung der Würde eines Doktors der Wirtschaftswissenschaften

Mehr

Logik für Informatiker

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

Mehr

Vorkurs Mathematik für Informatiker 5 Logik, Teil 1

Vorkurs Mathematik für Informatiker 5 Logik, Teil 1 5 Logik, Teil 1 Michael Bader, Thomas Huckle, Stefan Zimmer 1. 9. Oktober 2008 Kap. 5: Logik, Teil 1 1 Aussagenlogik Rechnen mit Wahrheitswerten: true und false Kap. 5: Logik, Teil 1 2 Aussagenlogik Rechnen

Mehr

Logische Agenten. Einführung in die Wissensverarbeitung 2 VO UE SS Institut für Signalverarbeitung und Sprachkommunikation

Logische Agenten. Einführung in die Wissensverarbeitung 2 VO UE SS Institut für Signalverarbeitung und Sprachkommunikation Logische Agenten Einführung in die Wissensverarbeitung 2 VO 708.560 + 1 UE 442.072 SS 2013 Institut für Signalverarbeitung und Sprachkommunikation TU Graz Inffeldgasse 12/1 www.spsc.tugraz.at Institut

Mehr

Wissensrepräsentation Vorlesung

Wissensrepräsentation Vorlesung Wissensrepräsentation Vorlesung Sommersemester 2008 1. Sitzung Dozent Nino Simunic M.A. Computerlinguistik, Campus DU Wissensrepräsentation, SS 2008 (1) Organisatorisches (2) Überblick: Inhalte Organisatorisches

Mehr

Formale Methoden 2. Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2014/2015

Formale Methoden 2. Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2014/2015 Formale Methoden 2 Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2014/2015 Teil 3: Logik 1 Aussagenlogik Einleitung Eigenschaften Äquivalenz Folgerung Normalformen 2 Prädikatenlogik Wenn eine Karte

Mehr

Prädikatenlogik: modelltheoretische Semantik

Prädikatenlogik: modelltheoretische Semantik Einführung in die Logik - 6 Prädikatenlogik: modelltheoretische Semantik Modelltheoretische / Denotationelle Semantik der Prädikatenlogik Ein Modell ist... ein künstlich geschaffenes Objekt, das die Struktur

Mehr

Organisation internationaler Nichtregierungsorganisationen

Organisation internationaler Nichtregierungsorganisationen Organisation internationaler Nichtregierungsorganisationen Aufbau und Koordination von NGOs im System der Vereinten Nationen Bearbeitet von Dr. Daniel Schwenger 2013 2013. Taschenbuch. xxviii, 452 S. Paperback

Mehr

Case-Based Reasoning und anderen Inferenzmechanismen

Case-Based Reasoning und anderen Inferenzmechanismen Case-Based Reasoning und anderen Inferenzmechanismen Daniel Müller 21 April 2006 DM () CBR und Inferenz 21 April 2006 1 / 31 Contents 1 Einleitung 2 Inferenzmechanismen Statistische Verfahren Data Mining

Mehr

Was bisher geschah. wahr 0 t 1 falsch 0 f 0 Konjunktion 2 min Disjunktion 2 max Negation 1 x 1 x Implikation 2 Äquivalenz 2 =

Was bisher geschah. wahr 0 t 1 falsch 0 f 0 Konjunktion 2 min Disjunktion 2 max Negation 1 x 1 x Implikation 2 Äquivalenz 2 = Was bisher geschah (Klassische) Aussagenlogik: Aussage Wahrheitswerte 0 (falsch) und 1 (wahr) Junktoren Syntax Semantik Stelligkeit Symbol Wahrheitswertfunktion wahr 0 t 1 falsch 0 f 0 Konjunktion 2 min

Mehr

2.2.4 Logische Äquivalenz

2.2.4 Logische Äquivalenz 2.2.4 Logische Äquivalenz (I) Penélope raucht nicht und sie trinkt nicht. (II) Es ist nicht der Fall, dass Penélope raucht oder trinkt. Offenbar behaupten beide Aussagen denselben Sachverhalt, sie unterscheiden

Mehr