Raum und Identität als Konfliktkategorien

In der Soziologie wurden die Begriffe Identität und Raum selten thematisiert, da für beide die gesellschaftliche Relevanz als mehr oder weniger nebensächlich eingestuft wurde. Eine Auseinandersetzung um Identität wie um Raum wurde Nachbardisziplinen überlassen, die ihrerseits die gesellschaftlichen Komponenten allenfalls streiften. Eine erneute Thematisierung erfährt der Identitätsbegriff seit den 1970er, der Raumbegriff seit den 1990er Jahren. Auch mehrere feministische Wissenschaftlerinnen sind am derzeitigen Diskurs um Identität und Raum beteiligt. Durch ihre besondere Aufmerksamkeit für Dualisierungen erscheint es leichter, vielfältige und dynamische Konstruktionen in den Blick zu nehmen - was unter anderem Einfluss auf die Konzeption von Forschung hat. Nach einer kurzen Vorstellung historisch bzw. disziplinär typischer Sichtweisen auf Identität und Raum empfiehlt die Autorin eine Rückbesinnung auf das methodologische Denkmodell des Empirischen Relativs, dass im Bereich der sozialwissenschaftlichen Forschung im Prinzip allen Messvorgängen zugrunde liegt. Dessen zweistellige Menge aus Elementen und Beziehungen (Struktur und Prozess, positional und relational) erscheint geeignet, Erschließungen auch für solch abstrakte Gegenstände wie Identität und Raum zu entwickeln. Auf dieser Grundlage stellt sie dann ihr methodologisches RaumZeit-Modell vor, das vor allem bei der Entwicklung und Präzisierung raumbezogener Forschungsthemen helfen soll. Dessen Quadrantenstruktur mit dynamischer Zeitspirale scheint gegebenenfalls auch für Themenstellungen in Bezug auf Identität einsetzbar

Planen von Aktionen und Reaktionen

Dieser Text gibt einen Überblick über ältere und neuere KI-Methoden zum Planen, also zur Erstellung von Handlungsplänen. Er beleuchtet den Stand der KI-Kunst dazu aus drei miteinander verschränkten Perspektiven: (1) Es gibt eingeschränkte Formen von Handlungsplanung, die gut verstanden sind; der Text stellt die ``klassische Planung kurz vor. (2) Es gibt keine allgemein anwendbaren Verfahren, zielgeleitete Handlungen unter Bedingungen wie Zeitdruck oder Unsicherheit verfügbarer Information zu finden; der Text führt in die entsprechenden Probleme ein und beschreibt einige aktuelle Lösungsansätze. (3) Es gibt Logikkalküle, die Ereignisse und ihre Effekte unter einigen dieser Bedingungen sauber beschreiben bzw. ermitteln können; der Text beschreibt einen solchen Kalkül genauer und skizziert, wie man ihn verwenden kann, um Planer mit klarer Semantik zu bauen, die trotzdem funktionieren. The paper is written in German

Kunstpädagogische Komplexität - Logiken und Begriffe der Selbstbeschreibung

Selbstbeschreibungen der Kunstpädagogik greifen oft auf binäre Logiken zurück – sei es, um eindeutige Ein- und Ausgrenzungen vornehmen zu können oder um spannungsvolle Zweierverhältnisse zum Ausgangspunkt kunstpädagogischer Überlegungen zu machen. Kunstpädagogische Komplexität ist ein Angebot, das sich neben solche Logiken stellt, wirbt dafür, Kunstpädagogik mit komplexer Logik zu beschreiben, die über Zweiwertigkeit hinausgeht. Der Text zeigt, dass Kunstpädagogik mehr und anderes sein kann als die Kopplung zwischen zweien, zwischen Kunst und Pädagogik, um sich so mit erweiterten Perspektiven auseinandersetzen zu können. Kunstpädagogische Komplexität versucht damit, mehr Angemessenheit gegenüber gesellschaftlichen Verhältnissen zu erreichen, die sich nur gewaltvoll mit Logiken der Eindeutigkeit beschreiben lassen

Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Dissertation Universität Bonn 1981)

As certain aspects of my doctoral dissertation of 1981 are still being discussed, I re- publish it here as an online resource in its original German form. It introduces the notion of rules of higher levels in order to give a general schema for the characterization of logical connectives in terms of rules. It also makes a proposal for a treatment of negation on the basis of a denial operator. It thus deals with core issues of proof-theoretic semantics. The German dissertation is accompanied by an English manuscript "Sentential Calculi with Rules of Arbitrary Levels" which gives a summary of central ideas and results of Chapters 1 and 2 of the dissertation

Ein mehrsortiger Resolutionskalkül mit Paramodulation

Der Resolutionskalkül mit Paramodulationsregel wird zu einem mehrsortigen Kalkül erweitert. Als Grundlage für das automatische Beweisen erhält man mit diesem Kalkül einen stark reduzierten Suchraum und einfachere Beweise. Die Vollständigkeit, die Korrektheit und der Sortensatz, der den neuen Kalkül mit seinem einsortigen Gegenstück in Beziehung setzt, werden bewiesen. Ergebnisse über Grundtermersetzungen und Unifikation in einem mehrsortigen Kalkül werden vorgestellt. Die Implementierung eines automatischen Beweisers für den neuen Kalkül wird beschrieben. Die Vorteile der Methode werden anhand ausgewählter Beispiele belegt.The resolution calculus with paramodulationrule is extended to a many-sorted calculus. As a basis for Automated Theorem Proving, this many-sorted calculus leads to a remarkable reduction of the search space and also to simpler proofs. Soundness and completeness of the new calculus and the Sort-Theorem, which relates the many-sorted calculus to its one-sorted counterpart, are shown. In addition results about groundterm rewriting and unification in a many-sorted calculus are obtained. The practical consequences for an implementation of an automated theorem prover based on the many-sorted calculus are described. The advantages of the proposed method is verified by certain examples

Die Schönheit des Denkens: Mathematisierung der Wahrnehmung am Beispiel der Computational Neurosciences

Seit Jahrhunderten gibt es den Wunsch, das komplexe Gefüge des Gehirns und der Denkprozesse zu formalisieren. Die Autorin geht der Geschichte dieses Wunsches nach, indem sie mit Hilfe des Begriffs der Mathematisierung der Wahrnehmung die Geschichte der mathematischen Logik und der Übersetzungsprozesse in binäre/informatische Technologien nachzeichnet. Sie stellt dar, wie Methoden und Modelle aus der Mathematik und der Informatik Eingang in die Hirnforschung, in die Ideen des Denkens und in das Konzept des freien Willens gefunden haben. Aus einer feministisch informierten Science-and-Technology-Studies-Perspektive nähert sie sich der Mathematisierung des Blicks und der Wahrnehmung und stellt Fragen nach der Betrachtungsweise der Mensch/Maschine-Parallelen

Die Schönheit des Denkens

Seit Jahrhunderten gibt es den Wunsch, das komplexe Gefüge des Gehirns und der Denkprozesse zu formalisieren. Hannah Fitsch geht der Geschichte dieses Wunsches nach, indem sie mit Hilfe des Begriffs der Mathematisierung der Wahrnehmung die Geschichte der mathematischen Logik und der Übersetzungsprozesse in binäre/informatische Technologien nachzeichnet. Sie stellt dar, wie Methoden und Modelle aus der Mathematik und der Informatik Eingang in die Hirnforschung, in die Ideen des Denkens und in das Konzept des freien Willens gefunden haben. Aus einer feministisch informierten Science-and-Technology-Studies-Perspektive nähert sie sich der Mathematisierung des Blicks und der Wahrnehmung und stellt Fragen nach der Betrachtungsweise der Mensch/Maschine-Parallelen

Approximation, Reduktion und Regelextraktion:Semantikbeschreibung für neuronale Netze

Die Dissertation befasst sich mit der Problemstellung, aus einem mehrschichtigen Neuronalen Feedforward-Netz, das für die Außenwelt als Black Box wirkt, eine semantische Beschreibung zu extrahieren. Als Form dieser Beschreibung des Netz-Verhaltens dient die Struktur einer Regelbasis bestehend aus IF-THEN-Regeln. Hierbei steht das Ziel im Vordergrund, eine möglichst allgemeine Methodik der Regelextraktion zu entwickeln, so dass die resultierenden Verfahren flexibel eingesetzt werden können. Diese zentralen Aspekte der Arbeit sind die Approximation der Sigmoiden durch die Rampenfunktion, die Reduktion der Neuronenanzahl in der verborgenen Schicht (bei dreischichtigen Feedforward-Netzen) sowie die Extraktion von Regeln aus einem Neuronalen Netz. Diese drei Bausteine - die Approximation, die Reduktion und die Regelextraktion - können nun verschiedentlich miteinander kombiniert werden