Concurrent MetateM, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
39,00 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
