Show simple item record

Meta-evaluation of Actors with Side-effects

dc.date.accessioned2008-04-10T15:27:15Z
dc.date.accessioned2018-11-24T10:27:03Z
dc.date.available2008-04-10T15:27:15Z
dc.date.available2018-11-24T10:27:03Z
dc.date.issued1975-06
dc.identifier.urihttp://hdl.handle.net/1721.1/41127
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/41127
dc.descriptionThis report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract N00014-70-A-0362-0004.en
dc.description.abstractMeta-evaluation is a process which symbolically evaluates an actor and checks to see whether the actor fulfills its contract (specification). A formalism for writing contracts for actors with side-effects is presented. Meta-evaluation of actors with side-effects is carried out by using situational tags which denotes a situation (local state of an actor systems at the moment of the transmissions of messages). And also it is illustrated how the situational tags are used for providing the termination of the activation of actors.en
dc.language.isoen_USen
dc.publisherMIT Artificial Intelligence Laboratoryen
dc.titleMeta-evaluation of Actors with Side-effectsen
dc.typeWorking Paperen


Files in this item

FilesSizeFormatView
AI_WP_101.pdf1.101Mbapplication/pdfView/Open

This item appears in the following Collection(s)

Show simple item record