Einführung in die Wissensrepräsentation
|
|
- Liese Vogel
- vor 6 Jahren
- Abrufe
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 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
MehrKapitel 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
MehrJessica 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
MehrKü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
MehrKü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
MehrCord 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
MehrAussagenlogik: 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
MehrGrundlagen 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)
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
MehrGrundlagen 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
MehrThema: 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
MehrLogik. 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
MehrEinfü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
MehrKai 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
Mehr1. 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
Mehr1. 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!
MehrKapitel 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
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 30. September 2015 Vorsemesterkurs Informatik 1 Einleitung 2 Aussagenlogik 3 Mengen Vorsemesterkurs Informatik > Einleitung
MehrInhaltsverzeichnis 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:
MehrVorwort... 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
MehrLogik 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
Mehr1.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
MehrFuzzy 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:
MehrEnrico 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
MehrPublic 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
MehrLogik 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
MehrAnreizsysteme 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
MehrZur 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................................
MehrInhaltsverzeichnis. 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...
MehrInhaltsverzeichnis. 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
MehrKI: 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
Mehrb. 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
MehrConstanze 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
MehrKants,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
MehrHochschule 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
MehrModerne 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
MehrAndreas 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
Mehrinsara: 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
MehrBeschreibungslogik 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
MehrTheoretische 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
MehrPetri-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
MehrTutorium: 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
MehrKü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
MehrEinfü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
MehrUnterschiede 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
MehrGrundlagen 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
MehrI 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.
MehrAllgemeine 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
MehrInnovativitä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
Daniel Kilper Ökonomische Bewertung elektronischer Transaktionssysteme Eine transaktionskosten- und systemtheoriebasierte Analyse JUÜpress 2007 Inhaltsverzeichnis Abbildungsverzeichnis Tabellenverzeichnis
MehrBeschreibungslogiken. 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
MehrInformationsverarbeitung 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
MehrForschung 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
MehrNichtlineare 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
MehrHierarchisch 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
Mehr2.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
MehrFakultä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
MehrSemantik: 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
MehrSarah-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
MehrPromotionsvorhaben 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 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
MehrFakultä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.
MehrAllgemeine 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
MehrKapitel 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
Mehr4 ZU V5"4. 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
MehrTrend, Zyklus und Zufall
Rainer Metz Trend, Zyklus und Zufall Bestimmungsgründe und Verlaufsformen langfristiger Wachstumsschwankungen Franz Steiner Verlag INHALTSVERZEICHNIS Vorwort Abbildungsverzeichnis Tabellenverzeichnis Abkürzungsverzeichnis
MehrUnternehmensbewertung
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
MehrInformationsmodellierung 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'?
MehrInstitut 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
MehrMathematik 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
MehrExpertensystem 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...
MehrEmpirische 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
MehrOPERATIONS 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
MehrMathematische 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
Mehr8 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
MehrInhaltsverzeichnis. 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
MehrDatenbanken 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
MehrDirk 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
MehrMathematik 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
MehrImperia 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
MehrTeil 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
MehrEntwurf. 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
MehrInterne Markenführung
Interne Markenführung IDENTITÄTSBASIERTES BEHAVIORAL BRANDING IN LUXUSMARKENUNTERNEHMEN von DR. NADINE SCHUMACHER FÖRDERGESELLSCHAFT PRODUKT-MARKETING E.V. Inhaltsverzeichnis Seite ABBILDUNGSVERZEICHNIS
MehrFormale 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
MehrMethodologie der Sozialwissenschaflen
KARL-DIETER OPP Methodologie der Sozialwissenschaflen Einführung in Probleme ihrer Theorienbildung ROWOHLT INHALTSVERZEICHNIS ENZYKLOPÄDISCHES STICHWORT GRUNDLAGENPROBLEME DER SOZIALWISSEN SCHAFTEN 320
MehrGodehard 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
MehrWas 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
MehrRisiko 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
MehrLogik 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
MehrVorkurs 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
MehrLogische 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
MehrWissensreprä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
MehrFormale 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
MehrPrä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
MehrOrganisation 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
MehrCase-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
MehrWas 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
Mehr2.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