| dbo:abstract |
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. (en) |
| dbo:wikiPageExternalLink |
http://www.csc.liv.ac.uk/~anthony/metatem.html%23download |
| dbo:wikiPageID |
19835689 (xsd:integer) |
| dbo:wikiPageLength |
3407 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1096143303 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Antecedent_(logic) dbc:Artificial_intelligence dbr:Gabbay's_separation_theorem dbr:Logical_equivalence dbr:Temporal_logic dbr:Multi-agent_system |
| dbp:wikiPageUsesTemplate |
dbt:' dbt:More_citations_needed dbt:Reflist |
| dct:subject |
dbc:Artificial_intelligence |
| gold:hypernym |
dbr:Language |
| rdf:type |
dbo:Language |
| rdfs:comment |
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. (en) |
| rdfs:label |
Concurrent MetateM (en) |
| owl:sameAs |
freebase:Concurrent MetateM wikidata:Concurrent MetateM https://global.dbpedia.org/id/4iCo2 |
| prov:wasDerivedFrom |
wikipedia-en:Concurrent_MetateM?oldid=1096143303&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Concurrent_MetateM |
| is dbo:wikiPageRedirects of |
dbr:MetateM dbr:Concurrent_Metatem |
| is dbo:wikiPageWikiLink of |
dbr:Index_of_robotics_articles dbr:MetateM dbr:Concurrent_Metatem |
| is foaf:primaryTopic of |
wikipedia-en:Concurrent_MetateM |