Meta-evaluation of Actors with Side-effects
This 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 Nav...
| Main Author: | |
|---|---|
| Format: | Working Paper |
| Language: | en_US |
| Published: |
MIT Artificial Intelligence Laboratory
2008
|
| Online Access: | http://hdl.handle.net/1721.1/41128 |
| _version_ | 1826205322651369472 |
|---|---|
| author | Yonezawa, Akinori |
| author_facet | Yonezawa, Akinori |
| author_sort | Yonezawa, Akinori |
| collection | MIT |
| description | This 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 N000-14-74-C-0643. |
| first_indexed | 2024-09-23T13:10:52Z |
| format | Working Paper |
| id | mit-1721.1/41128 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T13:10:52Z |
| publishDate | 2008 |
| publisher | MIT Artificial Intelligence Laboratory |
| record_format | dspace |
| spelling | mit-1721.1/411282019-04-10T22:36:29Z Meta-evaluation of Actors with Side-effects Yonezawa, Akinori This 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 N000-14-74-C-0643. Meta-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 which allow sharing of data is presented. Typical examples of actors with side-effects are the cell, actor counterparts of the LISP function rplaca and rplacd, and procedures whose computation depends upon their input history. 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). It is illustrated how the situational tags are used for proving the termination of the activation of actors. MIT Artificial Intelligence Laboratory 2008-04-10T15:29:09Z 2008-04-10T15:29:09Z 1975-06 Working Paper http://hdl.handle.net/1721.1/41128 en_US MIT Artificial Intelligence Laboratory Working Papers, WP-101a application/pdf MIT Artificial Intelligence Laboratory |
| spellingShingle | Yonezawa, Akinori Meta-evaluation of Actors with Side-effects |
| title | Meta-evaluation of Actors with Side-effects |
| title_full | Meta-evaluation of Actors with Side-effects |
| title_fullStr | Meta-evaluation of Actors with Side-effects |
| title_full_unstemmed | Meta-evaluation of Actors with Side-effects |
| title_short | Meta-evaluation of Actors with Side-effects |
| title_sort | meta evaluation of actors with side effects |
| url | http://hdl.handle.net/1721.1/41128 |
| work_keys_str_mv | AT yonezawaakinori metaevaluationofactorswithsideeffects |