ActorGame: Game Semantics for Actors

被引：4
作者：
Wang, Yong [1 ]
Dai, Guiping [2 ]
机构：
[1] Beijing Univ Technol, Coll Comp Sci & Technol, Beijing, Peoples R China
[2] Beijing Univ Technol, Coll Elect Informat & Control Engn, Beijing, Peoples R China
来源：
2013 FOURTH GLOBAL CONGRESS ON INTELLIGENT SYSTEMS (GCIS) | 2013年
关键词：
Actor; Actor System Theory; Games; Game Semantics; Asynchronous Game;
D O I：
10.1109/GCIS.2013.6
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Game semantics is suitable to model interactions between the environment (modeled as opponent role) and the system (modeled as player role), and has gained great successes in which the behaviors of the system and the environment are explicitly distinguished. In this paper, game semantics model (exactly asynchronous game) is introduced into the actors which is called ActorGame. The characteristics of actor computation model, such as receiving messages, sending messages and creating new actors, are well interpreted in ActorGame. And also composition of ActorGames and category of ActorGames are concerned. Both the ActorGame, composition of ActorGames, and category of ActorGames have good properties.
引用
收藏
页码：5 / 10
页数：6
相关论文
共 19 条
  • [1] GAMES AND FULL COMPLETENESS FOR MULTIPLICATIVE LINEAR LOGIC
    ABRAMSKY, S
    JAGADEESAN, R
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (02) : 543 - 574
  • [2] ABRAMSKY S, 1998, P IEEE S LOG COMP SC
  • [3] Abramsky S., 1994, P THEOR ASP COMP SOF, P1
  • [4] ABRAMSKY S, 1999, COMPUTATIONAL LOGIC
  • [5] CONCURRENT OBJECT-ORIENTED PROGRAMMING
    AGHA, G
    [J]. COMMUNICATIONS OF THE ACM, 1990, 33 (09) : 125 - 141
  • [6] Agha G, 2001, ACTORS MODEL REASONI
  • [7] Agha G., 1986, THESIS MIT
  • [8] ASTLEY M, 1999, THESIS U ILLINOIS UR
  • [9] HEWITT C, 1977, J ARTIFICIAL INTELLI, V8, P323
  • [10] Mellies P A, 2003, ASYNCHRONOUS GAME 1
12