Name: Concurrent MetateM (en Inglés)
SKU: 67031167
Price: 595822.00 COP
Availability: InStock
ISBN: 9786131357480

Formato

Libro Físico

Editorial

Betascript Publishing

Idioma

Inglés

Encuadernación

Tapa Blanda

Dimensiones

0 x 0 cm

ISBN13

9786131357480

Concurrent MetateM (en Inglés)

Libro Nuevo Importado

Envío: 20 a 24 días háb.

$ 993.036$ 595.822

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 595.822

¡Envío Gratis! Llega entre el 07 Oct y el 15 Oct a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Concurrent MetateM (en Inglés)"

High Quality Content by WIKIPEDIA articles! Concurrent MetateM is a multi-agent language in which each agent is programmed using a set of (augmented) temporal logic specifications of the behaviour it should exhibit. These specifications are executed directly to generate the behaviour of the agent. As a result, there is no risk of invalidating the logic as with systems where logical specification must first be translated to a lower-level implementation. The root of the MetateM concept is Gabbay's separation theorem; any arbitrary temporal logic formula can be rewritten in a logically equivalent past = future form. Execution proceeds by a process of continually matching rules against a history, and firing those rules when antecedents are satisfied. Any instantiated future-time consequents become commitments which must subsequently be satisfied, iteratively generating a model for the formula made up of the program rules.