Die vorliegende Arbeit ist im "Dunstkreis" des IPSEN-Projektes entstanden und ware ohne die vielfaltigen Anregungen aus diesem Kontext nicht denkbar gewesen. Besonderer Dank gilt deshalb Prof. Dr. Ing. M. Nagl, dem Leiter des IPSEN-Projekts und dem geistigen Vater des Urahns von PROGRESS, fur die Vergabe eines so span nenden Dissertationsthemas, fur die Moglichkeit zur freien Entfaltung im Rahmen des IPSEN-Projekts und fur seinen vehementen Einspruch gegen viele Versuche, die Spra che PROGRESS allein aus Effizienzgriinden zu vereinfachen. Ferner danke ich dem Zweitgutachter, Prof. Dr. H. -J. Schneider, der die Muhe nicht gescheut hat, fur diese doch etwas umfangreich geratene Arbeit ein Gutachten zu erstellen. Mein Dank gilt weiterhin allen jetzigen und ehemaligen Kollegen und Diploman den im IPSEN-Projekt, die - in welcher Weise auch immer - zum Gelingen meiner Ar beit beigetragen haben. Besonderen Dank schulde ich hier den IPSEN-Opas Gregor Engels und Wilhelm Schafer fur ihre Verdienste um das "Graph Grarnmar Engineering," meinem Landsmann Claus Lewerentz fur die Gelegenheit zu vielen fruchtbaren "Zwischen Tur und Angel"-Gesprachen in unserer gemeinsamen Muttersprache, meinem WG-Genossen und Arbeitskollegen Bernhard Westfechtel, dem welt besten PROGRESS-Programmierer, fur seine Diskussionsbereitschaft in allen Lebenslagen (beim Fruhstuck, Abspulen, . . ."

Das vorliegende Buch gibt einen umfassenden UEberblick uber das wohl aktivste Forschungs- und Anwendungsgebiet der Artificial Intelligence - uber Expertensysteme. Basierend auf den Erfahrungen aus mehrjahriger Vorlesungstatigkeit stellt das Autorenteam neben grundlegenden Konzepten auch die theoretischen wie praktischen Aspekte ausfuhrlich dar. Eine kompetente Einfuhrung in die Pradikatenlogik wird gegeben. Als Novum verdeutlicht dieses Buch die unterschiedlichen Schlussweisen und Komponenten von Expertensystemen durch ausfuhrbare Prototypen in der logischen Programmiersprache Prolog. Dem praktischen Aspekt wird weiters durch einen UEberblick uber im industriellen Einsatz stehende Expertensysteme Rechnung getragen. Nicht zuletzt behandelt dieses Buch die neuesten Entwicklungen, wie Experten-Datenbanksysteme und Ergonomie und Gestaltung von Benutzerschnittstellen fur Expertensysteme. Das Buch eignet sich damit nicht nur als Unterlage und Referenz fur Vorlesungen auf dem Gebiet der Expertensysteme, vielmehr wendet es sich auch an den interessierten Informatiker und Programmierer in Studium und Praxis.

Dieser Band enthalt fotomechanische Nachdrucke klassischer Arbeiten von Giuseppe Peano zur Analysis und zur mathematischen Logik aus den Jahren 1886 bis 1899, denen fur die Herausbildung der gegenwartigen Mathematik grosse Bedeutung zukommt. Im Nachwort berichtet der Herausgeber uber die Entstehungsgeschichte der abgedruckten Arbeiten, uber deren Stellung im Gesamtwerk Peanos und uber ihre Verflechtung mit der Entwicklung der Mathematik um die Jahrhundertwende. Fotos und Archivalien komplettieren das Buch. Aus den Besprechungen: "Die mathematische Behandlung der Grundlagen der Mathematik ... ist aus der Verbindung zweier verschiedener Forschungsrichtungen ... hervorgegangen. Einerseits das Werk der Meister der Analysis und der Geometrie, sofern sie ihre Axiome formulierten und systematisierten, und das Werk von Cantor und anderen uber Gebiete wie die Mengentheorie. Andererseits die symbolische Logik, die nach der notwendigen Entwicklungsperiode jetzt dank Peano und seinen Nachfolgern die technische Verwendbarkeit und logische Bundigkeit erreicht hat, die wesentlich sind fur ein mathematisches Hilfsmittel zur Behandlung dessen, was bisher die Grundlagen der Mathematik gebildet hat." "A.N. Whitehead, B. Russell"#1"

Durch die Reihe der GI-Kongresse uber wissensbasierte Systeme wird eine groessere OEffentlichkeit uber den Stand der Entwicklung sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung unterrichtet. Ein wichtiges Ziel ist dabei, auf das grosse Potential an Anwendungsmoeglichkeiten hinzuweisen und intensivere Kooperation zwischen verschiedenen Gebieten anzuregen. Behandelt werden diesmal neben den Grundlagen, Entwicklungen und Anwendungen von Expertensystemen auch maschinelles Lernen, naturlichsprachliche Systeme und Konnektionismus. Einen grossen Raum nimmt die Prasentation von Gemeinschaftsprojekten ein; insbesondere werden deutsche KI-Zentren, alle BMFT-Verbundprojekte im Bereich wissensbasierter Systeme und zahlreiche europaische Gemeinschaftsprojekte (EUREKA- und ESPRIT-Projekte) dargestellt. Dieses Buch wendet sich an alle, die Interesse an der Informatik und ihren Anwendungen haben. Es soll sowohl Wissenschaftler als auch Praktiker und moegliche Anwender informieren und zu fruchtbarer Diskussion und Zusammenarbeit stimulieren.

So-called classical logic--the logic developed in the early twentieth century by Gottlob Frege, Bertrand Russell, and others--is computationally the simplest of the major logics, and it is adequate for the needs of most mathematicians. But it is just one of the many kinds of reasoning in everyday thought. Consequently, when presented by itself--as in most introductory texts on logic--it seems arbitrary and unnatural to students new to the subject.

In "Classical and Nonclassical Logics," Eric Schechter introduces classical logic alongside constructive, relevant, comparative, and other nonclassical logics. Such logics have been investigated for decades in research journals and advanced books, but this is the first textbook to make this subject accessible to beginners. While presenting an assortment of logics separately, it also conveys the deeper ideas (such as derivations and soundness) that apply to all logics. The book leads up to proofs of the Disjunction Property of constructive logic and completeness for several logics.

The book begins with brief introductions to informal set theory and general topology, and avoids advanced algebra; thus it is self-contained and suitable for readers with little background in mathematics. It is intended primarily for undergraduate students with no previous experience of formal logic, but advanced students as well as researchers will also profit from this book.

Neutrosophy is a new branch of philosophy that studies the origin, nature, and scope of neutralities as well as their interactions with different ideational spectra. In all classical algebraic structures, the law of compositions on a given set are well-defined, but this is a restrictive case because there are situations in science where a law of composition defined on a set may be only partially defined and partially undefined, which we call NeutroDefined, or totally undefined, which we call AntiDefined. Theory and Applications of NeutroAlgebras as Generalizations of Classical Algebra introduces NeutroAlgebra, an emerging field of research. This book provides a comprehensive collection of original work related to NeutroAlgebra and covers topics such as image retrieval, mathematical morphology, and NeutroAlgebraic structure. It is an essential resource for philosophers, mathematicians, researchers, educators and students of higher education, and academicians.

Diese Monographie gibt einen systematischen Uberblick uber Attributierte Grammatiken als ein Mittel zur Darstellung und Analyse von Kontextabhangigkeiten in Compilern unter Betonung der fur Compiler-erzeugende Systeme erforderlichen Algorithmen. Attributierte Grammatiken sind ein inzwischen weltweit anerkanntes Mittel zur Beschreibung der statischen Semantik von Programmiersprachen. Mit der verstarkten Verbreitung von Compiler-Generatoren wird es auch fur den Praktiker interessant, fur spezielle Zwecke geeignete Sprachen zu entwickeln und zu implementieren. Diese ausfuhrliche vergleichende Darstellung der verfugbaren Ergebnisse und Methoden weist auch dem Nichtspezialisten den Weg, einen fur seine Sprache geeigneten Algorithmus zu finden. Betont werden vor der Systematik der theoretischen Erkenntnisse vor allem die in Compiler-Erzeugenden Systemen wie GAG oder HLP78 bewahrten Algorithmen. Fur den im Compilerbau Tatigen sind sicherlich die einheitliche Zusammenfassung der grossen Vielzahl bekannter Ergebnisse uber Attributierte Grammatiken und die sehr umfangreiche Bibliographie von Interesse."

These pun-studded fables by a popular science writer make complicated mathematical concepts accessible and fun. Twelve essays take a playful approach to mathematics, investigating the topology of a warm blanket, the odds of beating a superior tennis player, and how to distinguish between fact and fallacy. 1991 edition.

Das KernstUck des vor1iegenden Suches entstand aus einer einsemestrigen Vor- 1esunH gleichen Namens, die die Autoren seit mehreren Studienjahren an der Technischen Universitat Wien betreuen und die von R.M1itz ausgearbeitet wurde. Es erschien den Autoren notwendig bzw. zweckmaBig, dieses KernstUck zu erHanzen durch 1ineare Algebra - die an der TU Wien getrennt vorgetragen wird - und Hraphentheoretische Grundbegriffe. Die von den Autoren gewonnenen Erfahrungen haben die yom Ub1ichen Schema abweichenden didaktischen Aspekte der Darste11unq gepraqt, deren Grundprinzip in der nachfo1qenden Ein1eitung er1autert wird. Das Such richtet sich zunachst an Studierende der Informatik zum Gebrauch neben entsprechenden Vor1esungen, zum Nachsch1agen und Wiederho1en. DarUber hinaus soll der Anwender angesprochen werden, der in dem Werk die wichtigsten a1gebraischen Methoden des Informatikers dargeboten findet. Die Darste11ung beschrankt sich auf den mathematischen Hintergrund und dessen direkte Anwendung. SezUg1ich eventueller technischer Realisierungen sei auf die entsprechende Literatur verwiesen. Unser besonderer Dank gilt Frau E.Wiesenbauer und Frau H.Reinauer fUr die sorqfa1tig durchgefUhrten Schreibarbeiten, Herrn Mag.W.Nowak fUr die genaue AusfUhrung der Graphiken, sowie dem Springer-Verlag Wien fUr sein Entgegenkommen und die gute Zusammenarbeit. H.Kaiser, R.Mlitz und G.Zeilinger Wien, im Juli 1981 In der vorliegenden 2. Auflage wurden - so hoffen wir - alle Tippfehler des ersten Manuskriptes korrigiert. Des weiteren wurde an einigen Stellen der Text in mathematischer Hinsicht leichter lesbar gemacht.

Das vorliegende Buch besteht aus zwei Teilen. Teil I enthalt einen axiomatischen Aufbau der euklidischen Geometrie auf Grund eines Axiomensystems von Tarski, das in einem gewissen Sinne (auch fur die absolute Geometrie) gleichwertig ist mit dem Hilbertschen Axiomensystem, aber formalisiert ist in einer Sprache, die fur die Betrachtungen in Teil II besonders geeignet ist. Mehrere solche Axio- mensysteme wurden schon vor langer Zeit von Tarski veroeffentlicht. Hier wird nun die Durchfuhrung eines Aufbaus der Geometrie auf Grund eines solchen Axiomensystems - unter Benutzung von Resultaten von H. N. Gupta - allgemein zuganglich gemacht. Die vorliegende Darstel- lung wurde vom zuerst genannten Autor allein geschrieben, aber sie beruht zum Teil auf unveroeffentlichten Resultaten von Alfred Tarski und Wanda Szmielew; daher gebuhrt ihnen ein Teil der Autorschaft. Mehr uber Entstehung und Inhalt von Teil I sowie uber die Geschichte der Tarskischen Axiomensysteme wird in der Einleitung (Abschnitt I.O) gesagt. Teil II enthalt metamathematische Untersuchungen und Ergebnisse uber verschiedene Geometrien, was vielfac auf eine Anwendung von Methoden und Satzen der mathematischen Logik auf Geometrien hinauslauft (vgl.