Concurrent MetateM, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Das Buch "Concurrent MetateM" von Betascript Publishing bietet eine umfassende Einführung in die Multi-Agenten-Sprache Metate... Mehr erfahren
Finde die besten Angebote
Bester Preis19 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Concurrent MetateM" von Betascript Publishing bietet eine umfassende Einführung in die Multi-Agenten-Sprache MetateM. Diese Sprache ermöglicht es, Agenten zu programmieren, die auf einer Reihe von (erweiterten) temporalen Logikspezifikationen basieren. Diese Spezifikationen werden direkt ausgeführt, was die Gefahr der Ungültigkeit der Logik minimiert, die bei Systemen besteht, in denen logische Spezifikationen zuerst in eine niedrigere Implementierung übersetzt werden müssen. Das Konzept von MetateM basiert auf Gabbays Trennungstheorem, das besagt, dass jede beliebige temporale Logikformel in eine logisch äquivalente Form umgeschrieben werden kann. Die Ausführung erfolgt durch kontinuierliches Abgleichen von Regeln mit einer Historie und das Auslösen dieser Regeln, wenn die Bedingungen erfüllt sind. Die resultierenden zukünftigen Konsequenzen werden zu Verpflichtungen, die erfüllt werden müssen, wodurch iterativ ein Modell für die Formel aus den Programmregeln generiert wird.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing