Fuzzy-Logik und unscharfe Mengen

Slides:



Advertisements
Ähnliche Präsentationen
Kapitel 1 Der Boolesche Kalkül
Advertisements

Diskrete Mathematik II Marc Zschiegner
5. Aussagenlogik und Schaltalgebra
Syntax der Aussagenlogik
Ein Modellansatz zur Beschreibung von Vagheiten
Verifizieren versus Berechnen
Algorithmen und Komplexität
1 Computergestützte Verifikation Teil II Infinite State Systems.
Handlungsplanung und Allgemeines Spiel „Evaluationsfunktionen “
Java- Syntax.
Genetische Algorithmen
Kapitel 6 Differenzierbarkeit. Kapitel 6: Differenzierbarkeit © Beutelspacher Juni 2005 Seite 2 Inhalt 6.1 Die Definition 6.2 Die Eigenschaften 6.3 Extremwerte.
Symbolisches Model Checking mit Binary Decision Diagrams
Fakten, Regeln und Anfragen
EINI-I Einführung in die Informatik für Naturwissenschaftler und Ingenieure I Kapitel 2 Gisbert Dittrich; Claudio Moraga FBI Unido
Boolesche Ausdrücke Ist der Rückgabewert eines Ausdrucks vom Typ boolean, so wird dieser als Boolescher Ausdruck bezeichnet (nach dem Mathematiker George.
Andreas Abecker Knowledge Management Research Group Beispiel für quantitative Repräsentation von Unsicherheit: Certainty Theorie in MYCIN – MYCIN ist ein.
Klausurtermin (laut Prüfungsamt) Probeklausur Freitag, 13. Juni 2003 statt Vorlesung.
boolean Datentyp und Operator
Tutorium Willkommen zurück, in der wunderbaren Welt der Statistik Teil II.
Menschliche Logik AND Boolsche Logik = NOT Logisch
Verknüpfen von Grundschaltungen zu komplexen Schaltungen
Das Unternehmensumfeld der Nordwind ist ein solches System:
Problemlösen Problemlösen Prof. Dr. Bernd Schmidt
Fuzzy-Systeme AS1-6.
EINI-I Einführung in die Informatik für Naturwissenschaftler und Ingenieure I Vorlesung 2 SWS WS 99/00 Gisbert Dittrich FBI Unido
Einführung in die Informatik für Naturwissenschaftler und Ingenieure
Fundamente der Computational Intelligence (Vorlesung) Prof. Dr. Günter Rudolph Fachbereich Informatik Lehrstuhl für Algorithm Engineering Wintersemester.
Einführung in die Programmierung Wintersemester 2013/14 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering Fakultät für Informatik TU Dortmund.
Fuzzymengen – Was ist das?
Wiederholte Programmausführung
Daten verwalten (2)Daten verwalten (2) Logische Verknüpfungen als Grundlage für die Informationsgewinnung Werte von Aussagen: Wahrheitstabellen Grafische.
Chair of Software Engineering Einführung in die Programmierung Prof. Dr. Bertrand Meyer Vorlesung 5: Invarianten und Logik.
Aufgabenstellung Aufgabenstellung: What do the following terms (formulae) express? Which of these terms characterize all sequences of real numbers , x_n.
Einführung in die Programmierung Prof. Dr. Bertrand Meyer
Agenda für heute, 19. Januar 2007 Informationssysteme: ETH-BibliothekInformationssysteme: ETH-Bibliothek Logische Verknüpfungen als Grundlage für die Informationsgewinnung.
Funktionen By Leoni und Lea.
Datentypen: integer, char, string, boolean
Agenda für heute, 7. April, 2005 Bedingte ProgrammausführungBedingte Programmausführung Algorithmische Grundlagen Vergleichsoperatoren, Wahrheitswerte.
Daten verwalten (2) Agenda für heute, 29. April 2009
Daten verwalten (2) Agenda für heute, 30. April 2008
Schaltnetze und Schaltwerke Marcel Waldvogel
Agenda für heute, 13. Januar 2006
Agenda für heute, 20. November 2009
Agenda für heute, 21. November 2008
Fachschaft Mathematik und Informatik
Informatik III Christian Schindelhauer Wintersemester 2006/07
Informatik III Christian Schindelhauer Wintersemester 2006/07
Bioinformatik Vorlesung
Aussagenlogik G. Laner 03/04
Boolesche Algebra Einführung in die Boolesche Algebra George Boole
Kapitel 4: Aussagen-, Prädikatenlogik
Abschluss des Kaufvertrags
Grundlagen der mathematischen Logik
Einführung in die Programmierung mit Java
Unscharfe Anfragen in Multimedia- Datenbanksystemen Seminar Multimedia-Datenbanken WS 2001/2002 Silvana Runow.
Seminar Computing with words WS2001/02 1 Linguistische Hecken Simon Meyer.
(Wirtschafts-)mathematik I Mathe im Wandel der Zeit Volksschule 1960: Ein Bauer verkauft einen Sack Kartoffeln für 50 DM. Die Erzeugerkosten betragen 40.
Von Bits, Bytes und Raid Eine Schnuppervorlesung Inhalt
Wiederholte Programmausführung
Logische Grundschaltungen
Programmieren in C Grundlagen C 2
JavaKara programmieren: Verzweigungen
Methodenlehre der Rechtswissenschaft
Datentypen: integer, char, string, boolean
Auf welche Zahl zeigt der Pfeil?
Methodenlehre der Rechtswissenschaft
SS 04 Christiane Rauh Christian Hellinger
Theorie der unscharfen Mengen
Zufallszahlen in C erzeugen
 Präsentation transkript:

Fuzzy-Logik und unscharfe Mengen Seminar: Semantic Web Dozent : M. Thaller Referent: Rasmus Krempel

Boolesche Logik Zustände: Wahr (1)‏ Falsch(0)‏ Operatoren : Konjunktion(UND ∧)‏ Disjunktion(ODER ∨)‏ Negation(NICHT )‏

Einfache Verarbeitung Boolesche Logik ist eindeutig und nimmt wenige zustände ein

Fuzzy-Logik fuzzy = unscharf, verschwommen, flaumig Ein Wert kann nicht nur Wahr oder Falsch annehmen Zwischen 0 (Wahr) und 1 (Falsch) können alle Realen Zahlen angenommen werden Fließender Übergang zwischen 0 und 1

Konjunktion(∧) Disjunktion(∨) Negation()‏ Wie geht Fuzzy-Logik mit den logischen Operationen um?

Negation()‏ x = 1-x 0.6 = 1-0.6 = 0.4 Die Negation ist die einfachste und eindeutigste Operation in der Fuzzy-Logik x = 1-x 0.6 = 1-0.6 = 0.4

Konjunktion(∧) ,Disjunktion(∨)‏ Problem: In der Fuzzy-Logik ist es nicht eindeutig wie Verfahren werden soll! Die Operatoren können, je nach Annahme anders Funktionieren! Zwei Beispiele: Minimum-Maximum Operation Drastic Product Operation

Konjunktion(∧)‏ Minimum-Maximum: Wenn x<y dann x ansonsten y 0.4∧0.6 = 0.4 Es wird immer der kleinere der Beiden genommen! Drastic Product: Nur Wenn x oder y =1 sind ist das Ergebnis das jeweils andere! 0.4∧0.6 = 0 0.4∧1 = 0.4

Disjunktion(∨)‏ Minimum-maximum: Wenn x<y dann y ansonsten x 0.4∨0.6 = 0.6 Es wird immer der größere der Beiden genommen! Drastic Sum: Wenn x oder y = 0 ist das Ergebnis das jeweils andere! Ansonsten ist es 1. 0.4∨0.6 = 1 0.4∨0 = 0.4

Unscharfe Mengen Ein Element einer Unscharfen Menge gehört nur zu einem Gewissen Grad einer Menge an Durch diese Übergänge lässt sich nicht boolesch sagen ob etwas zu einer Menge gehört oder zu einer anderen Die Zugehörigkeit ist nicht ausschließlich Wahr oder Falsch sondern kann zu einem Grad angegeben werden

Unscharfe Mengen Unscharfe Mengen besitzen einen Kern der dem Booleschen Wahr entspricht und einen abklingenden Rand.

Leicht oder Schwer Beispiel: 5 Kilo : leicht =1, schwer = 0

Mehrere unscharfe Mengen Vorteil: Fließende Übergänge Nachteil: Ein Wert kann immer nur Mitglied 2er Mengen sein Fuzzy-Logik erleichtert Hier das unscharfe Operieren mit kontinuierlichen Variablen

Muss es immer Linear sein? Die Übergänge können durch Verschiedene Funktionen ausgedrückt werden!

Fuzzy-Logik auf Computern Problem: Computerhardware basiert auf der Boolescher Logik Fuzzy-Logik muss somit durch Software implementiert werden Im Nachteil Zur Booleschen Logik ist die Fuzzy-Logik umfangreicher und in Ihrer eigenen Anwendung uneindeutig ist.(Operatoren)‏

Fuzzy-Logik und Semantic web RuleML unterstüzt einen Wert der Degree heißt und mit dem sich auch Gerade abbilden lassen Es gab eine Gruppe die Fuzzy-Logik in RuleML Implementieren wollten(FuzzyRuleML). Letzte Lebenszeichen 2006 Fuzzy-Logik ist nur für bestimmte Anwendungen interessant Die Grade die man für eine Ausprägung annimmt lassen sich schlecht Standardisiert zu verwenden da es sich meist auf Persönlich Einschätzungen bezieht.

Ende