Karl Erich Wolff Fachbereich Mathematik der Fachhochschule Darmstadt Ernst-Schröder-Zentrum für Begriffliche Wissensverarbeitung Forschungsgruppe Begriffsanalyse.

Slides:



Advertisements
Ähnliche Präsentationen
DAVID HUME : DER EMPIRISCHE KAUSALITÄTSBEGRIFF.
Advertisements

Aristoteles I Die Entwicklung des logischen Denkens unter Aristoteles
Hier einige Hieroglyphen:
Raum → Frage nach den gesellschaftlichen Raumbedingungen
Diskrete Mathematik II Marc Zschiegner
Weltsicht Quantität Mechanistisches Bild Materialismus Qualität
Quantenphysik aus klassischen Wahrscheinlichkeiten C. Wetterich Gott würfelt Gott würfelt nicht.
Arbeits- und Präsentationstechniken 1 Teil A: Wissenschaftstheoretische Grundlagen Prof. Dr. Richard Roth WS 2011/2012 APT 1 Prof. Dr. Richard Roth.
Theoretische Informatik und Algorithmen Post und Kleene.
Aristoteles Kategorienlehre
Versuch einer Definition Was ist Evaluation!?
Philosophische Fakultät 3: Empirische Humanwissenschaften Fachrichtung Erziehungswissenschaft Statistik I Anja Fey, M.A.
CIDOC-CRM Universität zu Köln Historisch-kulturwissenschaftliche Informationsverarbeitung AM 2 Dozent: Prof. Dr. Manfred Thaller Referent: Nelson Marambio.
Kapitel 5 Stetigkeit.
Wissenschaftliche Grundlagen des Mathematischen Schulstoffs IV Die erste Stunde.
Do. 26. Nov.: II. Zur „Objektivität“ der „sozialen Tatsachen“
Theorie soziotechnischer Systeme – 11 Thomas Herrmann Informatik und Gesellschaft FB Informatik Universität Dortmund iundg.cs.uni-dortmund.de.
HCI – Tätigkeits Theorie (Activity Theory)
Soziale Interaktion und Alltagsleben
Grundkurs praktische Philosophie 13. Dezember 2004 Politische Philosophie: wozu Staaten gut sind Text: A. John Simmons, Philosophical Anarchism, in: J.
Theorie soziotechnischer Systeme – 12 Thomas Herrmann Informatik und Gesellschaft FB Informatik Universität Dortmund iundg.cs.uni-dortmund.de.
5.6. Mathematik im Hellenismus
MATHEMATICS MEETS FINANCE
Wiederholung: Der Wahrheitsbegriff
Statistische Methoden I WS 2004/2005 Vorlesung:Prof. Dr. Michael Schürmann Zeit:Freitag (Pause: ) Ort:Hörsaal Loefflerstraße.
Folie 1 Kapitel II. Vom Raumbegriff zu algebraischen Strukturen Neubeginn: Herleitung des Begriffs Vektorraum aus intuitiven Vorstellungen über den Raumbegriff.
§9 Der affine Raum – Teil 2: Geraden
§9 Der affine Raum – Teil 2: Geraden
VL Bewegungswissenschaft VL Bewegungswissenschaft 8. Motor Control: Neue Theorien.
Grundbegriffe der Schulgeometrie
Vorlesung Gestaltung von soziotechnischen Informationssystemen - RequirementsEngineering und Contextual Design- Thomas Herrmann, Lehrstuhl Informations-
Ist Zeit eindimensional? Eine begriffsanalytische Reflexion
Objekte in Raum und Zeit
Temporal Concept Analysis
Begriffliche Fundierung der Fuzzy- und Systemtheorie
Theoretische Grundlagen der Pragmalinguistik II (Bühler; Grice)
§24 Affine Koordinatensysteme
Von Newton zu Einstein:
Arbeit, Energie.
Vektoren Grundbegriffe für das Information Retrieval
Computergraphische Visualisierungs- verfahren für 3D-Stadtmodelle
§3 Allgemeine lineare Gleichungssysteme
Vektorrechnung in der Schule
Vorlesung Erkenntnistheorie
Erfindervon Fuzzy Logic
CEF 2001, New Haven Genetic Neural Fuzzy Explorer GENEFER Konzeption, Technologien und Einsatzmöglichkeiten Eric Ringhut Muenster Institute for Computational.
Arbeit, Energie, elektrisches Potential, elektrische Spannung
Coaching-Tools II Workshop Gruppencoaching
Using latent semantic analysis to find different names for the same entity in free text Präsentation und Diskussion des Papers Im Rahmen des PS Web-Information.
Physik-Quiz 6. Klasse.
Context of Legal Logic chello.at Visualization of Legal Theory.
Was steckt hinter einer Wettervorhersage ?
Masse und Kraft Masse: elementare Eigenschaft eines jeden Körpers
Die Relativitätstheorie und die damit verbundenen Phänomene
Modul 5 Berufsvorbereitung.
VO D6/G6: Einführung in die Politikfeldanalyse
Lust auf Lesen Treffpunkt Deutsch Sixth Edition. Relative Pronoun object of a preposition Recall from chapter 9 that relative clauses describe people,
Geoinformation I Lutz Plümer
Didaktik der Geometrie (7)
Vagheit und Fuzzy-Set Referent: Christian Schumacher.
Rules of Play - Game Design Fundamentals by Katie Salen and Eric Zimmerman Universität zu Köln Historisch-Kulturwissenschaftliche Informationsverarbeitung.
Theorien der Organisationsentwicklung
Programmiersprachen II Vorbesprechung Klausur Prof. Dr. Reiner Güttler Fachbereich GIS HTW.
Zeitreise Eine Signalübertragung mit unendlich hoher Geschwindigkeit ist möglich („Hyperfunk“)! Leider hätte dies drastische Konsequenzen. Einstein hat.
Seeing Die Qualität im U School of Facilitating 2015 Berlin; Frankfurt; Wien.
Die Qualität des „Sensing“ BerlinFrankfurtWien Januar 2015.
Teilchenbewegung im Alltag NaWi, Klasse 8. Teilchenbewegung im Alltag Ziele der Stunde: 1.Ich kann Phänomene aus dem Alltag mit der Teilchenbewegung in.
Auffassung zur Wissenschaft Ziele: Sie beziehen die Informationen von der Internetseite "Understanding Science" auf Psychologie. Entwicklungsimpuls zu.
NMS ENTWICKLUNGSBEGLEITUNG BUNDESWEITES VERNETZUNGSTREFFEN APRIL 2009 Herzlich Willkommen!
 Präsentation transkript:

Karl Erich Wolff Fachbereich Mathematik der Fachhochschule Darmstadt Ernst-Schröder-Zentrum für Begriffliche Wissensverarbeitung Forschungsgruppe Begriffsanalyse der Technischen Universität Darmstadt Forschungszentrum Begriffliche Wissensverarbeitung Von der Geometrie zur begrifflichen Analyse von Raum und Zeit

Gliederung 1 Von der Geometrie zur Formalen Begriffsanalyse 2 Begriffsverbände als Wissensräume 3 Eine begrifflich-granulare Raum-Zeit-Objekt-Theorie

Die Pickert-Ebene

Geometrische Grundbegriffe Günter Pickert: Analytische Geometrie (Das Vorwort zur 1. Auflage wurde im Sommer 1952 geschrieben: Herzlichen Glückwunsch zum 50.!!!) Seite 1: Unter einem Punkt wollen wir uns vorläufig eine ganz grob gekennzeichnete Stelle im Raum vorstellen und unter einem Vektor eine Verschiebung der Dinge im Raum... Seite 2: Die Grundregeln nennt man Axiome.... Aus ihnen werden dann alle geometrischen Sätze durch rein logische Schlüsse hergeleitet.

Probleme Wie beschreibt man eine Stelle im Raum tatsächlich? Welche Beziehung hat die Granularität einer groben Beschreibung zur einer ganz präzisen? Welche Rolle spielen die Dinge, die durch Vektoren verschoben werden? Warum werden Vektoren auf Punkte und nicht auf Dinge angewendet? Was haben Vektoren mit Bewegung und Zeit zu tun? Wie kann man die starken Regularitätsbedingungen, die in den Axiomen der affinen Räume stecken, verallgemeinern? (z.B. direkte Produkte von Ketten) Wie hängt die klassische Logik mit der Realität bzw. deren Repräsentationen zusammen?

Realität und Repräsentation Realität ? Raum ? Zeit ? Zeitpunkt ? Zustand ? Transition ? Objekt ? Granularität ?

Philosophische Kategorientheorien Aristoteles: Kategorien: Substanz, Quantität, Qualität, Relation, Wo, Wann, Lage, Haben, Wirken, Leiden Immanuel Kant: 1724 – Kategorien in 4 Klassen: Quantität, Qualität, Relation, Modalität (mit je 3 Kategorien) Charles Sanders Peirce: 1839 – Kategorien: Firstness, Secondness, Thirdness

Aristoteles: Raum – Zeit – Objekt Im Band 6, Buch III – VI untersucht Aristoteles: Aristoteles Bewegung, Wechsel Kontinuum, Unendlichkeit Stelle, leere Stelle fester Körper, Objekt Zeit, Zeitpunkt (Zustand)

Präzision und Granularität Aristoteles (Band. 6, Buch VI, S.163): In der Zeit, in welcher es sich bewegt, und zwar der unmittelbaren, nicht über (Bewegung) in einem ihrer Teile vermittelt, kann das Bewegte unmöglich im genauen Sinne an einer bestimmten Stelle sein.

Immanuel Kant: Raum und Zeit Kritik der reinen Vernunft, Band 2, Transzendentale Ästetik: Immanuel Kant Raum und Zeit sind: nicht empirisch, notwendig reine Anschauungen a priori unendliche Größen Zeit: hat nur eine Dimension Form des inneren Sinnes, d.i. des Anschauens unserer selbst und unsers innern Zustandes.

Immanuel Kant: Bewegung Kritik der reinen Vernunft, Band 2, Transzendentale Ästetik: Transzendentale Erörterung des Begriffs der Zeit: Hier füge ich noch hinzu, daß der Begriff der Veränderung und, mit ihm, der Begriff der Bewegung (als Veränderung des Orts) nur durch und in der Zeitvorstellung möglich ist: daß, wenn diese Vorstellung nicht Anschauung (innere) a priori wäre, kein Begriff, welcher es auch sei, die Möglichkeit einer Veränderung, d.i. einer Verbindung kontradiktorisch entgegengesetzter Prädikate (z.B. das Sein an einem Orte und das Nichtsein eben desselben Dinges an demselben Orte) in einem und demselben Objekte begreiflich machen könnte.

C. S. Peirce: Pragmatismus, Semiotik und Logik C. S. Peirce Pragmatismus: als philosophische Methode zur begrifflichen Klärung von Bedeutungen von Handlungen durch Verbindung mit den möglichen Konsequenzen Semiotik: Zeichentheorie zur Repräsentation und Kommunikation Logik: Relationenlogik Existential Graphs 1839 – 1914

Ernst Schröder ( ): Algebra der Logik Vorlesungen über die Algebra der Logik 3 Bände (1890/91/95): Mengenkalkül Aussagenkalkül Logik der Relative (Relationslogik)

Einsteins Fußnote zur Granularität Albert Einstein: Zur Elektrodynamik bewegter Körper Annalen der Physik 17 (1905): Fußnote auf S. 893: Die Ungenauigkeit, welche in dem Begriff der Gleichzeitigkeit zweier Ereignisse an (annähernd) demselben Orte steckt und gleichfalls durch eine Abstraktion überbrückt werden muß, soll hier nicht erörtert werden.

Wissensverarbeitung benötigt eine Theorie mehrstelliger Relationen An einer solchen Theorie wird zur Zeit in vielen Bereichen theoretisch und praktisch gearbeitet: Conceptual Graphs Description Logic Reduktionstheorie von Burch: n 3 Datenbanktheorie (n = 3) Begriffliche Wissensverarbeitung 3 2

Begriffliche Wissensverarbeitung 1982: Einführung durch Prof. Dr. Rudolf Wille Mathematisierung des Begriffs Begriff Visualisierung begrifflicher Hierarchien Datenanalyse Begriffliche Skalierungstheorie Begriffliche Wissensakquisition Kontextuelle Logik Begriffliche Fuzzy-Theorie Begriffliche Zeitsysteme Rudolf Wille

Ein klassisches Beispiel Aristoteles

Formale Kontexte und Begriffsverbände Promotion vor Ende Pickert Hasse Hensel Kronecker Dirichlet 1938 Hasse Hensel Kronecker Dirichlet Pickert Günter Pickert und seine Doktor-Vorväter:

Begriffliche Konstruktion der reellen Zahlen Der Begriffsverband des Kontextes (Q,Q, ) ist der vollständige Verband der reellen Zahlen inclusive plus und minus Unendlich.

011DF SELBSTIDEALVATERMUTTER 1 rational denkend 2 emotional ehrlich 4 unehrlich optimistisch 6 pessimistisch interessiert 8 desinteressiert flexibel 10 gehemmt materialistisch 12 idealistisch nicht modebewußt 14 modebewußt lebensfroh 16 depressiv zielbewußt 18 unsicher zwanglos 20 zwanghaft 4223 Daten einer Magersuchtpatientin

Der abgeleitete Kontext 011D2FXSELBSTIDEALVATERMUTTER 1 rationalX X 2 emotional X 3 ehrlichXXX 4 unehrlich 5 optimistisch X 6 pessimistischX X 7 interessiert XX 8 desinteressiertX 9 flexibel X 10 gehemmtX 11 materialistisch X 12 idealistischXX 13 nicht modebewußt XXX 14 modebewußt X 15 lebensfroh X 16 depressivX 17 zielbewußt X 18 unsicherX 19 zwanglos XX 20 zwanghaft

Der Begriffsverband der Familie

Familie und Bekannte: 1. Zeitpunkt

Familie und Bekannte: 4. Zeitpunkt

Begriffliche Systemtheorie Probleme in der Mathematischen Systemtheorie: Was ist ein System? Wie sollte man allgemein die Zeit beschreiben? Was ist ein Zustand? Raum – Zeit – Kontinuum versus diskrete Phänomene? Was ist ein Gegenstand? Was ist ein Teilsystem?

Zwei Zitate: Liu: (General Systems Theory: A Mathematical Approach. 1999) There might not exist an ideal definition for general systems, upon which a general systems theory could be developed so that this theory would serve as the theoretical foundation for all approaches of systems analysis, developed in various disciplines. Zadeh: (The Concept of State in System Theory. 1964)To define the notion of state in a way which would make it applicable to all systems is a difficult, perhaps impossible, task. In this chapter, our modest objective is to sketch an approach that seems to be more natural as well as more general than those employed heretofore, but still falls short of complete generality.

Begriffliche Zeitsysteme Hauptideen: Zustände als formale Begriffe definieren Systemdefinition: skalierter mehrwertiger Kontext Zeitobjekte einführen Zerlegung in Zeit- und Raum-Merkmale Begriffliche Skalierung als Granularitätstheorie Einführung von Situations- und Zustandsräumen Objekte und Teilsysteme Aktuelle Objekte Transitionen Lebenslinien

Zu jeder Stunde: Temperaturen: Aussen Raum 2 Raum 3 Vorlauftemperatur Ein Beispiel: Klimaanlage bei ROCHE Im Folgenden: Nur die ersten drei Tage

Die ersten drei Tage

Was ist ein Zustand dieses Systems? Derselbe Zustand in drei Situationen!

Die Außentemperatur

Ein Film im Situationenraum: 1. Tag

Die Außentemperatur Ein Film im Situationenraum: 1. Tag

Die Außentemperatur Ein Film im Situationenraum: 1. Tag

Die Außentemperatur Ein Film im Situationenraum: 1. Tag

Die Außentemperatur Ein Film im Situationenraum: 1. Tag

Die Außentemperatur Ein Film im Situationenraum: 1. Tag

Die Außentemperatur Ein Film im Situationenraum: 1. Tag

Die Außentemperatur Ein Film im Situationenraum: 2. Tag

Die Außentemperatur Ein Film im Situationenraum: 2. Tag

Die Außentemperatur Ein Film im Situationenraum: 2. Tag

Die Außentemperatur Ein Film im Situationenraum: 2. Tag

Die Außentemperatur Ein Film im Situationenraum: 2. Tag

Die Außentemperatur Ein Film im Situationenraum: 2. Tag

Die Außentemperatur Ein Film im Situationenraum: 2. Tag

Die Außentemperatur Ein Film im Situationenraum: 2. Tag

Die Außentemperatur Ein Film im Situationenraum: 2. Tag

Die Außentemperatur Ein Film im Situationenraum: 2. Tag

Die Außentemperatur Ein Film im Situationenraum: 2. Tag

Die Außentemperatur Ein Film im Situationenraum: 2. Tag

Die Außentemperatur Ein Film im Situationenraum: 2. Tag

Die Außentemperatur Ein Film im Situationenraum: 2. Tag

Die Außentemperatur Ein Film im Situationenraum: 3. Tag

Die Außentemperatur Ein Film im Situationenraum: 3. Tag

Die Außentemperatur Ein Film im Situationenraum: 3. Tag

Die Außentemperatur Ein Film im Situationenraum: 3. Tag

Die Außentemperatur Ein Film im Situationenraum: 3. Tag

Die Außentemperatur Ein Film im Situationenraum: 3. Tag

Die Außentemperatur Ein Film im Situationenraum: 3. Tag

Die Außentemperatur Ein Film im Situationenraum: 3. Tag

Die Außentemperatur Ein Film im Situationenraum: 3. Tag

Die Außentemperatur Ein Film im Situationenraum: 3. Tag

Die Außentemperatur Ein Film im Situationenraum: 3. Tag

Ein dreidimensionaler Situationenraum:

Ein dreidimensionaler Zustandsraum (grob skaliert)

Ein dreidimensionaler Zustandsraum (feiner skaliert)

Transitionen in begrifflichen Zeitsystemen In begrifflichen Zeitsystemen kann man unterscheiden zwischen Transitionen in verschiedenen Räumen, zum Beispiel: Transitionen zwischen Zuständen, Transitionen zwischen Situationen, Transitionen zwischen Zeitzuständen, Transitionen zwischen Phasen. Alle diese lassen sich erzeugen aus einer gemeinsamen Relation R aus Transitionen auf den Zeitobjekten.

Lebenslinien Transition: ( (g,h), (f(g), f(h) ) Lebenslinie f := {(g,f(g)) | g G }

Der Zustandsraum einer Familie (in der Sprache des Therapeuten Dr. N. Spangenberg)

Lebenslinien und Objekte Geburt Kopie Kooperation Kann ein Objekt in einem Zeitpunkt in zwei verschiedenen Zuständen sein? ?

Objekte als Untersysteme Für Objekte: Verboten! Jedes Objekt ist zu jedem Zeitpunkt in genau einem Zustand. Für Objektklassen: Erlaubt!?

Granulare Raum-Zeit-Objekt-Theorie Schema eines begrifflichen Zeitsystems mit Objekten g h Objekt 2 Objekt 1 g h Zeitteil TEreignisteil C ZeitskalenEreignisskalen vw K(C) K(T) Zeit-Zustände Zustände Situationen Gegenstandsbegriffe

Danke für Ihre Aufmerksamkeit!