Zur EntwicklungWissensbasierter Systeme stehen inzwischen unterschiedliche Werkzeuge zur VerfUgung. Eines dieser Werkzeuge ist O}>S5, das speziell zur Erstellung regelbasierter Systeme dient. Es hat schon seit llingerem den Weg aus den Entwicklungslaboratorien gefunden und wurde fUr erfolgreich eingesetzte Experten systeme verwendet. Auch in der Bundesrepublik hat es Verbreitung in Universitliten und Unternehmen gefunden. Ein Lehrbuch in deutscher Sprache, wie es sie fUr Sprachen wie Pascal oder FORTRAN in breiter Auswahl gibt, existierte fUr OPS5 jedoch bislang nicht. Als die Autoren Anfang...

Dieses Buch basiert auf zwei zentralen Annahmen: Fur den wissen schaftlichen und technischen Fortschritt einer wissenschaftlichen Disziplin ist erstens ein geeignetes mathematisches Handwerkszeug zur Formulierung und Zusammenfassung neuer Ideen notig. Zweitens ist die symbolische Logik ein sehr wesentlicher Bestandteil der in der Forschung uber Kunstliche Intelligenz (KI) verwendeten Mathe matik. Beide Behauptungen mussen begrundet werden. Man sollte allerdings meinen, unser erster Grundsatz fande ei gentlich allgemeine Zustimmung. Dennoch gibt es in neuen Wissen schaftsgebieten, in denen das...

Das Gefiige unserer Welt wird immer engmaschiger mit technischen Systemen zu einem uniiberschaubar komplexen Gesamtsystem verflochten. Von ihrer Konzeption her sind solehe techDischen Systeme (und damit auch das Gesamtsystem) jedoch so angelegt, daB sie nur dann beherrseht werden kl>nnen, wenn men schlicher Geist sie durehschaut und begreift. Zwischen diesen beiden Sachverhalten tut sieh ein Zwiespalt auf, der an immer hltufigeren Pannen unterschiedliehen AusmaBes erkennbar ist. Ihnen allen ist gemein, daB sie die bete gten Menschen rat- und hilflos erseheinen lassen. Technische Systeme...

Die Infonnatik ist ein fester, nicht mehr wegzudenkender Bestandteil un serer heuti gen Welt In alien Bereichen von Technik, Wirtschaft und Wissenschaft erledigen Rechenprogramme Routineaufgaben dauerhaft, meist zuverllissig und schnell. Der Fort schritt der Rechnertechnologie erlaubt dabei, daB dem Computer immer komplexere Aufgabenstellungen tibertragen werden konnen. Zudem werden immer mehr Bereiche von Programmen erfaBt, die nicht nur Rechenarbeit, sondern fast schon Denkarbeit erfordern. Wann Rechenarbeit aufhort und Denkarbeit anfllngt, Hillt sich natfirlich nicht definieren. 1m...

Das Fuhren von Terminierungsbeweisen flir rekursiv definierte Algorithmen erfordert eine gewisse Kreativitiit des (menschlichen oder automatischen) Bewei sers, die sich im Erfinden einer Hypothese manifestiert, deren Giiltigkeit hinrei chend flir die Terminierung eines Algorithmus ist. In dieser Arbeit wird ein Ver fahren vorgestellt, mit dem diese KreativiUit durch ein Computerprogramm nachgebildet werden soIl. Mit diesem Verfahren konnen Terminierungsbeweise in vielen Hillen vollautomatisch, d.h. ohne jegliche menschliche Unterstutzung, gefiihrt werden. Es wird gezeigt, - wie flir einen...

In unuberschaubarer Fulle werden derzeit in der Kunstlichen Intelligenz Formalismen vorgeschlagen, die den sogenannten gesunden Menschenverstand in Betracht ziehen und damit den unvollstandigen Charakter verfugbarer Informationen verschleiern konnen. Der potentielle Benutzer ist etwas verwirrt durch die Vielfalt der ihm vorgeschlagenen Methoden, insofern als diese in einer vielfaltigen weitverstreuten Literatur dargestellt sind, wo wenig Vergleichselemente zwischen den von verschiedenen Denkschulen vorgeschlagenen Ansatzen existieren. Dies kam einer Gruppe franzosischer Wissenschaftler zu...

The potential of parallelism in logic reaches far beyond the exploitation of AND- and OR-parallelism usually found in attempts to parallelize PROLOG. This book discusses parallelism in logic and its exploitation on parallel architectures. A variety of categories of parallelism is discussed with respect to different levels of a logical formula and different ways to evaluate it. As an outcome of these investigations it is shown that modularity allows s tructuring of logic programs and meta-evaluation can be used to c ontrol the evaluation process on a parallel system. This combinat ion yields a...

Erkenntnis bildet sich nur ikonisch, durch konkrete An schauung, und die Anschaulichkeit (Ikonizitiit) mufl ab solut sein. Umberto Eco Mit "Rechnersehen" wird heute ein umfangreiches Forschungs- und Anwen dungsgebiet bezeichnet. Bildhafte Information wird dabei von Rechnern mit ver schiedenen Methoden in abstraktere Beschreibungen transformiert, die zur Steue rung, Uberwachung, Interpretation oder anderer Weiterverarbeitung verwendet werden konnen. Diese Transformation wird in der Disziplin "Mustererkennung" behandelt. Zur Gewinnung von Bildinformation gibt es viele technische Verfahren, von...

Eine Programmiersprache wird eingesetzt, um Verfahren zur Losung von Anwen dungsproblemen auf dem Computer zu formulieren. Daher sollte das Erlernen einer Programmiersprache immer in Bezug auf ein Anwendungsgebiet erfolgen. Kennt man die Grundbegriffe einer Programmiersprache, erlangt man einen hoheren Grad ihrer Beherrschung am besten durch das Studium von Programmen, die typischen Einsatzgebieten der Sprache entstammen. Dabei sollte man wiederum an realen Aufgaben orientierte praktische Programmierubungen durchfuhren. Auf diese Weise erhalt man ein lebendiges Bild von der Sprache, lernt sie...

Die Programmiersprache Prolog gewinnt in weiten Kreisen von EDV-Fachleuten und Anwendern stark an Popularitat. 1m universitaren Kreis besitzt diese Spra che besonders im Bereich der wissensbasierten Systeme seit geraumer Zeit einen hohen Stellenwert. Das Ziel des Buches ist es, einen in Lektionen eingeteilten, methodisch geglie derten Einfuhrungskurs in die Programmierung mit Prolog zu geben. Das Buch basiert auf dem Praktikum "Programmieren in Prolog," das an der Technischen Universitat in Braunschweig seit dem Wintersemester 1984/85 regelmafiig an ge boten wird. Das Buch wendet sich an...