Wissenschaftliche Literatur AI

Anton Wallner

Beiträge zur Theorie der Intervallwahrscheinlichkeit

Der Blick über Kolmogorov und Choquet hinaus

Beiträge zur Mathematik

Wie kann man die starren Grenzen des üblichen Kolmogorovschen Wahrscheinlichkeitsbegriffs sprengen, etwa um Unsicheres Wissen in der Künstlichen Intelligenz oder bei ökonomischen Entscheidungen adäquat zu modellieren? Eine fruchtbare Antwort in dieser Debatte liefert das über Choquet hinausgehende Konzept der Intervallwahrscheinlichkeit nach Weichselberger. Die vorliegende Monographie trägt zur Weiterentwicklung dieser Theorie bei. [...]

Thomas Diessel

Mehrdimensionale Wissenspräsentationen technischer Systeme und ihre Anwendung in intelligenten Tutoriellen Systemen

Forschungsergebnisse zur Informatik

Intelligente Tutorielle Systeme (ITS) bieten vielfältige Vorteile gegenüber konventionellen Systemen für Computer Based Training (CBT), insbesondere Adaptivität an den Schüler und die Flexibilität ihres Einsatzes für unterschiedliche Ausbildungszwecke. Rascher Wandel und Fortschritt im industriellen Bereich erfordern gerade dort einen ständig aktualisierten Wissensstand und eine effizientere, zielgerichtete Ausbildung der Benutzer technischer Systeme. Bislang erfolgt…

Karl A. Schniz

Zur prozessorientierten Analyse interaktiver Gefechtssimulationen

Forschungsergebnisse zur Informatik

Interaktive Gefechtssimulationen modellieren komplexe militärische Abläufe und erzeugen während des Simulationslaufs einen umfangreichen Satz verschiedenster Ereignisdaten; die Möglichkeit des steuernden Eingriffs in den Simulationslauf durch den Anwender (interaktive Steuerung) erhöht die Komplexität und stellt zusätzliche Anforderungen an den Umfang der simulationsbegleitenden Nutzerinformation sowie Auslegung und Methodik der Auswertung. Die Zusammenfassung der…

Conrad Kuck

Intuitionistic Set Theory

or How to construct semi-rings Part III

Forschungsergebnisse zur Informatik

Hilbert‘s Program is completed by a finite method, which constructs propositions. The constructed propositions can make assertions about infinitive sets. Intuitionistic Set Theory generalizes the construction of an algebraic-real number u.u is a complex number, which satisfies a polynomial equation with rational coefficients not all zero:

a₀ + a₁u + a₂u 2 +... - a_n-1u n-1 + a_nu n = 0 (a_i in Q,…

Reinhard Golecki

Können Computer denken ?

Fächerübergreifender Unterricht auf der gymnasialen Oberstufe am Beispiel der Kurskombination Philosophie/Informatik

EUB. Erziehung – Unterricht – Bildung

Der besondere Wert des fächerübergreifenden Unterrichts auf der gymnasialen Oberstufe liegt in seinem Beitrag zur Ergänzung des Fachunterrichtes zu einer wohlverstandenen Wissenschaftspropädeutik und zur Entwicklung der Fähigkeit und Bereitschaft der Verständigung zwischen unterschiedlichen Fachkulturen.

Als Beispiel für einen solchen Brückenschlag zwischen den "zwei Kulturen" der Geisteswissenschaften einerseits und der naturwissenschaftlich-technischen…

Jens Münchrath

Philosophische Dimension einer neuen "Kulturtechnik"

Informations- und Kommunikationstechnik. Entwicklungen und Auswirkungen auf den Menschen und sein Bewußtsein

BOETHIANA – Forschungsergebnisse zur Philosophie

Die Welt, in der wir leben, ist maßgeblich von der Technik geprägt. Sie durchdringt alle Bereiche unserer Erfahrung und ist durch ihre Wirkungen zugleich mit bestimmten Bewusstseinsformen und Wertorientierungen, mit Handlungsbereitschaften und Lebenshaltungen verknüpft. Sie transzendiert ihre Rolle als praktisches Mittel für bestimmte Zwecke, denn sie ist konstitutiv für die symbolische Neuschaffung der Welt durch den Menschen. Sie unterstützt nicht nur unser Handeln,…

Matthias Fuchs

Learning Search Heuristics for Automated Deduction

Forschungsergebnisse zur Informatik

Viele Probleme in der Informatik, speziell im Teilgebiet der Künstlichen Intelligenz (KI), werden mit Verfahren bearbeitet, die auf Suche basieren. Zu diesen Suchproblemen zählt auch die automatische Deduktion. Probleme aus diesem Bereich gehören zu den schwierigsten Suchproblemen. Gerade hier ist es unbestritten, dass die oftmals eigentlich unintelligenten Suchmethoden (Suchstrategien bzw. Suchheuristiken) Schwächen haben, die auch schnelle Rechner und ausgeklügelte…

Vladimir Cherniavsky

Die Virtualität

Philosophische Grundlagen der logischen Relativität

BOETHIANA – Forschungsergebnisse zur Philosophie

Dieses Buch wendet sich an Leser, die an Grundlagen-Problemen der modernen Wissenschaft interessiert sind, und insbesondere an Philosophen, Mathematiker, Naturwissenschaftler und Informatiker. Der Leitfaden, um den sich die Abhandlungen dieser Monographie gruppieren, ist der Versuch, den natürlichen Intellekt, den Intellekt des Menschen, zu modellieren und zu untersuchen und - unter anderem - den natürlichen mit dem künstlichen Intellekt zu vergleichen. Die…

Shirin Bakthari

Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien

Forschungsergebnisse zur Informatik

Shirin Bakthari setzt sich zum Ziel, eine Symbiose herzustellen zwischen zwei Forschungsrichtungen: der parakonsistenten Logik einerseits und der Künstlichen Intelligenz andererseits, indem bei der Entwicklung von Problemlösungsverfahren, die einen methodischen Umgang mit Inkonsistenz aufweisen, nicht–klassische Logiken zur Anwendung gelangen. Das hier vorgestellte Problemlösungsverfahren zeichnet sich gegenüber den bisherigen Verfahren im Paradigma der Künstlichen…

Eric Bonse

Wissen ist Macht

Modernisierungspolitik am Beispiel der „Künstlichen Intelligenz“

POLITICA – Schriftenreihe zur politischen Wissenschaft

„Wissen ist Macht“ – Ob Sir Francis Bacon, dem dieser Satz zugeschrieben wird, damit wirklich sein wissenschaftliches Programm zusammengefasst hat, ist nicht erwiesen. Sicher ist aber, dass die Forscher der „Künstlichen Intelligenz“ ihn wörtlich nehmen: Indem sie Computer mit immer mehr Wissen „füttern“, hoffen sie, „mächtige“ Programme zu entwickeln, die intelligente menschliche Fähigkeiten wie Hören, Sehen, Verstehen, Schlussfolgern und Problemlösen simulieren…