Name: Concurrent MetateM
SKU: 67031167
Price: 162.73 EUR
Availability: InStock
ISBN: 9786131357480

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Betascript Publishing

Language

English

Format

Paperback

Dimensions

0 x 0 cm

ISBN13

9786131357480

Concurrent MetateM

New Book Imported to Netherlands

Delivery: 02 Oct - 06 Oct

€ 162,73

Import costs and 9% BTW included in the price ✅

€ 162,73

Add to Wishlist

Synopsis "Concurrent MetateM"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Synopsis "Concurrent MetateM"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery