Modulare Regelprogrammierung

AvSiegfried Bocionek

Häftad, Tyska, 1990

Del i serien Künstliche Intelligenz

573 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1990-01-01
Mått:170 x 244 x 13 mm
Vikt:402 g
Format:Häftad
Språk:Tyska
Serie:Künstliche Intelligenz
Antal sidor:210
Upplaga:1990
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783528047702

Utforska kategorier

Innehållsförteckning

1 Einleitung.- 1.1 Motivation.- 1.2 Zielsetzung.- 1.3 Zusammenfassender Überblick über die Arbeit.- 2 Regelbasierte Programmierung.- 2.1 Grundlagen der Regelprogrammierung.- 2.2 Hauptprobleme und existierende Lösungsansätze.- 2.3 Folgerungen.- 3 Das Modulkonzept für Regelprogramme.- 3.1 Anforderungen an das Modulkonzept.- 3.2 Architektur von Regelsystemen.- 3.3 Typisierung von Fakten.- 3.4 Definition eines Regelmoduls.- 3.5 Verknüpfung von Regelmoduln durch Übergangsgraphen.- 3.6 Ausdrucksmächtigkeit von Übergangsgraphen.- 4 Systemunterstützung beim Regelprogrammieren.- 4.1 Möglichkeiten der Systemunterstützung.- 4.2 Unterstützung durch syntaxgesteuerte Editoren.- 4.3 Übersetzung in Regelform.- 4.4 Generische Regelmoduln.- 4.5 Ablaufumgebung und Testhilfsmittel.- 5 Parallel arbeitende Regelmoduln.- 5.1 Ziele und Anforderungen.- 5.2 Entwurfsaspekte bei parallelen Regelmoduln.- 5.3 Implementierungsvorschläge für parallele Regelmoduln.- 6 Schlußbemerkungen.- 6.1 Zusammenfassung.- 6.2 Implementierungen.- 6.3 Ausblick.- 7 Literaturverzeichnis.- Al Vollständige Syntax der verwendeten Regelsprache.- A2 Syntax und Ordnung der Faktentypen.- A3 Die Standardregeln jedes Regelmoduls.- A5 Glossar.- A6 Stichwortverzeichnis.

Mer från samma författare

Robotik: Programmierung intelligenter Roboter

Hans-Jürgen Siegert, Siegfried Bocionek

Häftad, 1996

457 kr

Mer från samma serie

Die Wissensrepräsentationssprache OPS5

Reinhard Krickhahn

Häftad, 1987

573 kr

LISP

Rüdiger Esser

Häftad, 1989

557 kr

Logische Grundlagen der Künstlichen Intelligenz

Nils J. Nilsson

Häftad, 1989

504 kr

Wissensbasierte Echtzeitplanung

Jürgen Dorn

Häftad, 1989

557 kr

Automatisierung von Terminierungsbeweisen

Christoph Walther

Häftad, 1991

573 kr

Relative Complexities of First Order Calculi

Elmar Eder

Häftad, 1992

557 kr

Schließen bei unsicherem Wissen in der Künstlichen Intelligenz

Léa Sombé

Häftad, 1992

573 kr

Logische und Funktionale Programmierung

Ulrich Furbach

Häftad, 1991

573 kr

Parallelism in Logic

Friedrich Vieweg & Sohn Verlagsgesellschaft mbH

Häftad, 1991

573 kr

Neuronale Netze und Fuzzy-Systeme

Detlef D. Nauck

Häftad, 1994

573 kr

Du kanske också är intresserad av

Prolog

Paul Cordes, Paul Schmitz

Häftad, 1990

573 kr

Schließen bei unsicherem Wissen in der Künstlichen Intelligenz

Léa Sombé

Häftad, 1992

573 kr

Neuronale Netze und Fuzzy-Systeme

Detlef D. Nauck

Häftad, 1994

573 kr

LISP

Rüdiger Esser

Häftad, 1989

557 kr

Parallelism in Logic

Friedrich Vieweg & Sohn Verlagsgesellschaft mbH

Häftad, 1991

573 kr

Prolog

Ralf Cordes, Paul Schmitz

Häftad, 1992

573 kr

Die Wissensrepräsentationssprache OPS5

Reinhard Krickhahn

Häftad, 1987

573 kr

Logische und Funktionale Programmierung

Ulrich Furbach

Häftad, 1991

573 kr

Wissensbasierte Echtzeitplanung

Jürgen Dorn

Häftad, 1989

557 kr

Automatisierung von Terminierungsbeweisen

Christoph Walther

Häftad, 1991

573 kr