Herbert Stoyan - Böcker

GWAI-85, die neunte deutsche Fachtagung Ober KOnstliche Intelligenz, fand yom 23. - 27. September 1985 in Dassel/Solling statt. Sie wurde von Ober 200 Teilnehmern besucht. Der vorliegende Band enthalt ausgewahlte Beitrage aus ver- schiedenen Themenbereichen der KOnstlichen Intelligenz (KI), darunter die Fassung eines aingeladenen Vortrages in voller Lange, zwei Zusammenfassungen zweier weiterer eingeladener und verdichtete Projektorfolien eines vierten. Des Vortrage weiteren sind Materialien des Tutoriums "Situationssemantik und Diskursreprasentationstheorie", das Manfred Pinkal organi- sierte, enthalten. Die GWAI-85 war interessant nicht zuletzt durch die (eingela- denen) Vortrage von J. McCarthy, H. Gallaire, J. de Kleer und J.P. Tsang. Bedauerlicherweise hat nur der letzte dieser Vor- tragenden eine vollstandige Arbeit eingereicht. Ich danke den Autoren fOr ihre MOhe bei der Erstellung der Druckvorlagen - wenn sie auch leider allzu unterschiedlich ausgefallen sind. Wie bei jeder wissenschaftlichen Tagung sind die abgedruckten Arbeiten eine Auswahl aus einer weit groBeren Zahl von eingereichten Vorschlagen. Allein aus ZeitgrOnden konnte nicht alles berOcksichtigt werden.So danke ich allen, die Beitrage eingesandt haben, auch wenn diese hier nicht veroffentlicht worden sind. Erst durch den vielfaltigen Wunsch urn Mitarbeit wurde die GWAI-85 zu einer erfolgreichen Tagung.

Dieses Buch enthalt die schriftlichen Ausarbeitungen von Vortragen, die am 9. Oktober 1986 auf einem Workshop uber Reason Maintenance gehalten worden sind. Der Begriff Begrundungsverwaltung als Ubersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begrundungen und der Erhaltung der Gultigkeit von Aussagen auf Grund der gultigen Begrundungen ausdrucken. Reason Maintenance ist eine Fortfuhrung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend nur auf aussagenlogischer Ebene formalisiert sind. Sie verwalten Aussagenmengen und ihre Bewertungen. Annahmen und einfache Konsequenzen aus ihnen werden in einer Weise aufbewahrt, dass eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Reprasentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Pramissen, Implikationen und Schlussregeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind.Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begrundungsverwaltung. Die vorliegenden Arbeiten reprasentieren den deutschen Wissensstand auf diesem Teilgebiet der Kunstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit fuhrt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran.

Das vorliegende Buch ist eine Einführung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, daß jedem Problem ein angepaßtes Verarbeitungsmodell (eine abstrakte Maschine) entspricht, das gefunden und mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen können jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrundegelegt wird. Diese Ausdrucksvielfalt führt zu verschiedenen "Programmierstilen". Um den angehenden KI-Programmierer zu befähigen, mit KI-Programmiersprachen (Wissensrepräsentationsformalismen) umzugehen, sie zu verstehen und zu implementieren, wird eine Reihe von etablierten bzw. zeitweise wichtigen Sprachen dargestellt. Das Besondere an diesem Sprachspektrum ist die Vielfalt der Verarbeitungsmodelle, auf denen die Sprachen beruhen, und die Unterschiedlichkeit der Programmierstile, denen der Programmierer folgen kann. Im vorliegenden 1. Band werden Funktions-, Muster-, Operator- und Logik-orientierte Formen der Programmierung behandelt und an einem durchgehenden Problembeispiel vorgestellt. Im 2. Band werden moderne Konzepte und Methoden im Vordergrund stehen.

Das vorliegende Buch ist der 2. Teil einer Einführung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, daß es zu jedem Problem ein angepaßtes Verarbeitungsmodell (eine abstrakte Maschine) gibt, das mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen können jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrunde gelegt wird. Diese Ausdrucksvielfalt führt zu verschiedenen "Programmierstilen". Um den angehenden KI-Programmierer mit KI-Programmiersprachen (Wissensrepräsentationsformalismen) und ihrer Implementierung vertraut zu machen, wird eine Reihe etablierter oder zeitweise wichtiger Sprachen vorgestellt. Das Besondere an diesem Sprachspektrum ist die Vielfalt der Verarbeitungsmodelle, auf denen die Sprachen beruhen, und die Unterschiedlichkeit der Programmierstile, denen der Programmierer folgen kann. Im ersten Band werden Funktions-, Muster-, Operator- und Logik-orientierte Formen der Programmierung behandelt und an einem durchgehenden Problembeispiel vorgestellt. Im vorliegenden zweiten Band stehen Relations-, Regel-, Plan-, Anweisungs- und Objekt-orientierte Formen sowie die ATN-Programmierung (Augmented Transition Networks) im Vordergrund.