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...

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,...

Das vorliegende Buch ist eine Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, dass jedem Problem ein angepasstes Verarbeitungsmodell (eine abstrakte Maschine) entspricht, das gefunden und mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen konnen jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrundegelegt wird. Diese Ausdrucksvielfalt fuhrt zu verschiedenen...

Das vorliegende Buch ist der 2. Teil einer Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, dass es zu jedem Problem ein angepasstes Verarbeitungsmodell (eine abstrakte Maschine) gibt, das mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen konnen jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrunde gelegt wird. Diese Ausdrucksvielfalt fuhrt zu verschiedenen...

Das vorliegende Buch ging aus einer Vorlesung hervor, die wir gemeinsam im Sommersemester 1982 an der Universitat Erlangen-Nurnberg gehalten haben. Wesentliche Anregungen verdanken die Autoren den Manuskripten der Vorle sung Structure und Interpretation of Computer Programs von Abelson, Fano und Sussman (1981, 1982, 1983 als MIT-AI-TR-735 veroffentlicht) am Massachusetts Institute ofTechnology, sowie den Lehrbuchern LISP von Win ston und Horn (1981) und Artificial Intelligence Programming von Charniak, Riesbeck und McDermott (1980) und dem Vorlesungsmanuskript LISP - Pro gramming and Proving...