Stoyan herbert (121 résultats)

Softcover Sehr gut erhalten.

Etat : As New. Unread book in perfect condition.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Etat : New. pp. 484.

Paperback. Etat : Brand New. 482 pages. German language. 9.61x6.69x0.97 inches. In Stock.

Etat : New.

Etat : New.

Taschenbuch. Etat : Neu. GWAI-85 | 9th German Workshop on Artificial Intelligence Dassel/Solling, September 23-27, 1985 | Herbert Stoyan | Taschenbuch | x | Deutsch | 1986 | Springer Spektrum | EAN 9783540164517 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

358 S., broschiert ; mit 29 illustrationen, Literaturverzeichnis S. 346 - 350 ; 25 cm ; guter Zustand, geringe Gebrauchsspuren, keine Mängel .

Etat : New.

Etat : New.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieses Buch enthält die schriftlichen Ausarbeitungen von Vorträgen, die am 9. Oktober 1986 auf einem Workshop über Reason Maintenance gehalten worden sind. Der Begriff Begründungsverwaltung als Übersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begründungen und der Erhaltung der Gültigkeit von Aussagen auf Grund der gültigen Begründungen ausdrücken. Reason Maintenance ist eine Fortführung 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, daß eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Repräsentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Prämissen, Implikationen und Schlußregeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind. Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begründungsverwaltung. Die vorliegenden Arbeiten repräsentieren den deutschen Wissensstand auf diesem Teilgebiet der Künstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit führt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran.…

Paperback. Etat : Brand New. 160 pages. German language. 9.61x6.69x0.38 inches. In Stock.

Etat : As New. Unread book in perfect condition.

Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Etat : As New. Unread book in perfect condition.

Etat : very good. Berlin & New York : Springer, c1984. Paperback. 365 pp. 25 cm. (Informatik-Fachberichte, 91). - Was ist das Wesen der Compilierung? Ershov hat 1977 einen Vortrag /24/ gehalten mit dem Titel "On the essence of compilation". Darin führt er seine Idee aus, daß Compilation ein spezieller Fall von sog. "mixed computation" sei, welche sich kurz so charakterisieren läßt, daß alles was konkret ausrechenbar ist, ausgerechnet wird, und alles was nicht ausgerechnet werden kann, stehen bleibt. Ershovs Versuch hat keine Vorgänger, obwohl verschiedene Compilermodelle entwickelt wurden. Interpretieren wir in die se Modelle (teilweise unzulässig) Erklärungsversuche für den Vorgang der Compilation - daß das Resultat äquivalenter aus führbarer Maschinencode ist, nehmen wir als gemeinsame An sicht an - dann kommen wir grob zu folgenden Standpunkten: 1. Compilation ist ein nicht weiter erklärbarer Vorgang, der stattfindet durch Automaten (im Sinne der Automaten theorie), die in geeigneter Weise Zeichenketten akzeptieren bzw. generieren. Die Automaten hängen in gewisser Weise von der Quell sprache ab (man kann den Akzeptor aus einer guten syntak tischen Beschreibung erzeugen) bzw. werden vom Compiler konstrukteur auf Grund seiner Erfahrung entwickelt. Condition : very good copy. ISBN 9783540138952. Keywords : COMPUTER STUDIES, Evaporation (Meteorology).…

Etat : New.

Etat : New.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New.

Etat : As New. Unread book in perfect condition.

Format groß 8°, Ausgabe 1985 broschiert, die anderen 4 Bücher LEINEN, leicht nachgedunkelte Seiten, ausgesonderte Bibliotheksexemplar aus einer wissenschaftlichen Bibliotheke, keine Markierungen / Anmerkungen, die Bücher sind in einem sehr guten Zustand. Shipping to abroad insured with tracking number.…

paperback. Etat : Gut. 360 Seiten; 9783540131588.3 Gewicht in Gramm: 1.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Etat : New. pp. viii + 149.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Der vorliegende Band enth{lt die wesentlichen Vortr{ge einesSymposiums mit interdisziplin{rem Charakter an der THDarmstadt vom Juli 1989. Er dokumentiert den Forschungsstandim Bereich Erkl{rung und den wissenschaftlichen Austauschzwischen Informatikern und Philosophen.…

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Das vorliegende Buch ging aus einer Vorlesung hervor, die wir gemeinsam im Sommersemester 1982 an der Universität Erlangen-Nürnberg 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 veröffentlicht) am Massachusetts Institute ofTechnology, sowie den Lehrbüchern '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' von McCarthy und Talcott (1980) von der Stanford University. Im Mittelpunkt unserer Darstellung steht der Begriff des Programmierstils. Er gestattet eine sinnvolle Klassifikation der Ansätze und Leitlinien, nach denen in LISP programmiert wird und ermöglicht gleichzeitig die Einbeziehung neuer Grundgedanken wie des der Objektorientierung. Wir hoffen, damit eine neu artige Einführung in die Programmierung vorzulegen, die nur noch wenige Ge meinsamkeiten mit traditionellen Darstellungen teilt. So kommt es, daß in diesem Lehrbuch nichts über 'interne Repräsentation' von LISP-Objekten (z. B. Spei cherstrukturen, automatische Speicherverwaltung, usw.) und über interne Details der Implementation von LISP zu finden ist. Wir haben diese Entscheidung be wußt getroffen, da wir meinen, daß diese Themen Gegenstand eines weiterführen den Textes sein sollten. Der hieran interessierte Leser sei auf Allens 'Anatomy of LISP' (1979) verwiesen.…