Bücher der Reihe Informatik-Fachberichte

Dieser Band enthalt die Unterrichtsmaterialien zur KIFS-89, der siebten in der Reihe von Fruhjahrsschulen uber Kunstliche Intelligenz, die seit 1982 von dem Fachausschu 1.2. der Gesellschaft fur Informatik (GI) veranstaltet werden. Diese Fruhjahrsschulen bieten sowohl Einfuhrungen in reprasentative Teilbereiche der Kunstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten an. Der vorliegende Sammelband ist dementsprechend als Lehrbuch konzipiert und daher sowohl fur Interessierte geeignet, die sich einen ersten Uberblick uber relevante Forschungsgebiete der Kunstlichen Intelligenz verschaffen wollen, als auch fur diejenigen, die ihre Vorkenntnisse in diesem Bereich in einzelnen Gebieten vertiefen wollen.

Das Buch prasentiert die Resultate einer vierjahrigen Kooperation zwischen der Universitat des Saarlandes und der Siemens AG. Schwerpunkte sind die Themenbereiche Vernetzung, Entwicklung von Software-Tools und von wissenschaftlicher Anwender-Software. Der Band wurde zusammengestellt anlalich einer Abschlutagung mit umfassender Prasentation aller Projektergebnisse. Neben einer Einfuhrung in das Gesamtprojekt werden ausgewahlte Projekte detailliert vorgestellt. Ziel des Bandes ist es, von einem gelungenen Versuch zu berichten, in einer Hochschule durch den breiten Einsatz von Arbeitsplatzrechnern in allen Wissenschaftsbereichen die Arbeitsbedingungen in groem Umfang zu verbessern. Von zusatzlichem Interesse ist die Tatsache, da einige der vorgestellten Entwicklungen unter gewissen Voraussetzungen Interessenten zur Verfugung gestellt werden konnen.

Dieser Band enthalt die Beitrage zur AUSTROGRAPHICS '88, einer in zweijahrigem Turnus durchgefuhrten deutschsprachigen Tagung uber Graphische Datenverarbeitung. Die Tagung fand vom 28. bis 30. September 1988 an der Technischen Universitat Wien statt. Mit Rucksicht auf das in der gleichen Woche ebenfalls in Wien veranstaltete GI-Fachgesprach zum Thema Visualisierungstechniken und Algorithmen (Informatik-Fachberichte Band 182) liegen die Akzente der AUSTROGRAPHICS '88 diesmal auf anderen Gebieten. Nach einem Kapitel uber neue Algorithmen der Graphischen Datenverarbeitung folgen Beitrage zu den Themenkreisen Graphische Benutzerschnittstellen, Kartographie, Hardware und Netze. Einen regelrechten Schwerpunkt bilden die Kapitel Freiformflachen und Geometrische Algorithmen.

Der Band enthalt die Beitrage zum 5. Symposium Simulationstechnik, das im September 1988 an der RWTH Aachen stattfand. Die Vortrage reflektieren den State-of-the-Art der Simulationstechnik in allen Anwendungsbereichen. Das Ziel dieser von ASIM veranstalteten Reihe von Symposien ist es, den Austausch von Ideen und Erfahrungen von Fachleuten und Interessenten zu fordern, die auf dem Gebiet der Modellbildung und Simulation in Theorie und Praxis tatig sind. Dieses Tagungsziel wird vor dem Hintergrund der zunehmend breiten Bedeutung, die der Simulation als modernem Entwicklungs- und Analysehilfsmittel zukommt, immer wichtiger. Neue Hard- und Softwarekonzepte ermoglichen die Entwicklung hochkomplexer Systeme. Das vielfaltige Zusammenwirken der Systemkomponenten zu untersuchen und zu bewerten, ist ohne den Einsatz leistungsfahiger Simulationswerkzeuge undenkbar. Dies erfordert konsequenterweise auch Weiterentwicklungen auf dem Gebiet der Simulationstechnik und der ihr jeweils zugrunde liegenden Methodik. Der Erfahrungsaustausch im Rahmen einer solchen Tagung bietet allen Teilnehmern in gleicher Weise Vorteile: Einerseits erlangen Praktiker fruhzeitig Kenntnis von neuen Konzepten und Werkzeugen, und andererseits konnen Theoretiker fruhzeitig die vielfaltigen in der Praxis auftretenden Probleme bei der Entwicklung neuer Methoden bewerten und berucksichtigen. Der Band ist thematisch gegliedert in die drei Teile Modellbildung und Simulationstechnik, Simulationswerkzeuge sowie Anwendungen.

Das Buch enthalt die Beitrage des Workshops "e;Wissensreprasentation in Expertensystemen"e;, der vom 16. bis 18.3.1987 von der IBM Deutschland GmbH in Herrenberg durchgefuhrt wurde. Wissensreprasentation ist fur viele Anwendungen der Kunstlichen Intelligenz von zentraler Bedeutung. Bei der Umsetzung von Ergebnissen der Forschung in Anwendungen wird die Wissensreprasentation wegen ihrer Verankerung in so verschiedenen Gebieten wie Logik, Linguistik und Psychologie unubersichtlich. Es gibt keine einheitliche Systematisierung. Hinzu kommt, da die Probleme der Wissensreprasentation erst an groeren Anwendungen in ihrer vollen Tragweite erkennbar werden. In dem Workshop wurde daher versucht, das Thema interdisziplinar und systematisch zu behandeln. Dabei ging es weniger um die Darstellung von Projekten, bei denen die Wissensreprasentation meistens nur peripher und unter spezifischen Projektaspekten diskutiert wird, sondern um eine gezielte Thematisierung der zentralen Fragestellungen in aufeinander abgestimmten Abschnitten: Orientierung und Grundlagen, Sprachen und Methoden der Wissensreprasentation, Spezifische Teilprobleme (Raum- und Zeitaspekte), Wissenserwerb und Wissensverarbeitung. Das Buch stellt in konzentrierter Form Beitrage von herausragenden Forschern auf diesem Gebiet zusammen.

Die deutsche Fruhjahrsschule fur Kunstliche Intelligenz, jahrlich veranstaltet von der Fachgruppe 1.2 "e;Kunstliche Intelligenz und Mustererkennung"e; der Gesellschaft fur Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Fruhjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergroert die thematische Vielfalt des bereits Verfugbaren um neuartige Einfuhrungen in LISP und PROLOG, sowie ausfuhrliche Beitrage uber Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen.

Das Buch enthalt Beitrage zu einer interdisziplinaren Tagung zur Cognitive Science. Im Vordergrund steht die Reprasentationsproblematik bei der Anwendung von Methoden der Informationsverarbeitung auf die kognitive Modellierung und umgekehrt. Das Prinzip informationsverarbeitender Systeme wird vom Standpunkt der Philosophie, Linguistik, Psychologie und Informatik beleuchtet und mit den jeweils unterschiedlichen Methoden der genannten Wissenschaften vorgestellt. Die Beitrage sind nach der Tagung substantiell uberarbeitet worden, wobei sich die Autoren um eine gemeinsame Terminologie und das Verstandnis fur die fachspezifischen Probleme der jeweils anderen Wissenschaften bemuht haben. Das Buch gliedert sich in vier thematische Bereiche, die von den Herausgebern ausfuhrlich eingeleitet werden: Philosophische Aspekte der Reprasentationsproblematik, Reprasentation sprachlichen Wissens, psychologische Aspekte der Reprasentationsproblematik, KI-Aspekte der Reprasentationsproblematik. Das Buch dokumentiert somit den aktuellen Forschungsstand der kognitionswissenschaftlichen Forschung in der BRD. Gegenuber fachspezifischen Veroffentlichungen zeichnet es sich durch seine breite Perspektive aus, durch die es an Lesbarkeit fur alle an der Cognitive Science Interessierten gewinnt und einen Beitrag zur gegenseitigen Horizonterweiterung leistet.

Dies ist der Tagungsband zu dem Fachgesprach "e;Non-Standard Datenbanken fur Anwendungen der Graphischen Datenverarbeitung"e;, das am 21. und 22. Marz 1988 in Dortmund vom Fachausschu 4.1 der Gesellschaft fur Informatik veranstaltet wurde. Viele der Anforderungen an moderne Graphiksysteme erfordern Datenstrukturen, die sich aufgrund ihrer Komplexitat und der Leistungsanforderungen kaum noch effizient auf klassische Datenbanksysteme abbilden lassen. Die intensiven Forschungsarbeiten fur diesen Anwendungsbereich gewinnen zunehmend an Bedeutung fur die Anwender und Entwickler graphischer Systeme. Ziel des Fachgespraches war es insbesondere, den Erfahrungsaustausch zwischen der Forschung und den Anwendern neuer Datenbanktechnologien zu fordern und uber den Entwicklungsstand zu berichten.

1m vorliegenden Bericht tiber Software-Fehlertoleranz und -Zuverlassigkeit wird ein Problemkreis aus dem weitgefacherten Themenkomplex der Fehlertoleranz in Rechensystemen aufgegriffen, der in den letzten Jahren zunehmend an Bedeutung und Interesse gewonnen hat. Wahrend in der Vergangenheit ein Schwerpunkt der Fehlertoleranz-Konzepte und -Realisierungen darin lag, die Zuverlassigkeit von Rechensystemen durch MaBnahmen gegen den Ausfall von Hardware-Komponenten zu erhohen, wachst zusehends der Bedarf, auch Software in diese Bemtihungen mit einzubeziehen. Mit dem Einsatz von Rechensystemen in verschiedensten Bereichen steigen auch die Zahl und das AusmaB kritischer Anwendungen und somit die Anforderungen an die Zuverlassigkeit der eingesetzten Software. Techniken, die es gestatten, fehlerfreie, fehlertolerante und robuste Software zu erstellen, kommt daher eine neue Schltisselfunktion ftir zuklinftige Systeme zu. Bevor man jedoch spezielle Fragestellungen der Software-Fehlertoleranz und Software-Zuverlassigkeit angeht, erscheint es wichtig, den Stand der Technik in Theorie und Praxis zu erfassen und eine Bestandsaufnahme von laufenden Aktivitaten zu versuchen. Dieser Band gibt einen ersten Uberblick und will eine Basis ftir weitere Diskussionen schaffen. Er entstand im wesentlichen aus Beitragen zu einem Workshop an der Hochschule in Bremerhaven. Ziel des Workshops war der Informationsaustausch und die Diskussion zum oben erwahnten Problemkreis und zu verwandten Themen. Es nahmen 63 Fachleute aus den Bereichen Lehre, Forschung und Industrie teil.

Welcome to Aachen and to the First European Simulation Congress ESC83, a triennial international conference jointly promoted by ASIM/GI, DBSS, SIMS and UKSC. ESC83 is organized by ASIM/GI,. supported by SCS and IMACS, and sponsored by NGI (section for simulation). It takes place at the Karman Auditorium of the Aachen Technical Univer- sity, FRG. The aim of ESC83 is to cover all aspects of modeling and simulation in theory and practice, to promote the exchange of knowlewdge and experience between different international research groups in this field, and to strengthen the international contact between developers and users of modeling and simulation techniques. On the occasion of the Congress people of scientific and engineering disciplines will meet to discuss the state of the art and future activities and developments. A large number of contributed papers has been strictly examined and selected by the Scientific Committee to guarantee a high international standard. The book contains the accepted papers that will be presented at the Congress. The papers have been classified according to the following keywords.