Logical foundations of agent-based computing

被引：0
|
作者：
van der Hoek, W
机构：
[1] Univ Utrecht, Inst Informat & Comp Sci, Dept Philosophy, NL-3508 TB Utrecht, Netherlands
[2] Univ Liverpool, Dept Comp Sci, Liverpool, Merseyside, England
来源：
MULTI-AGENT SYSTEMS AND APPLICATIONS | 2001年 / 2086卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Logics for agents are useful when specifying, implementing and verifying agent programs. We show that modal logic provides a nice tool to define informational, motivational and dynamic aspects of agents. We conclude by showing how an agent programming language can also benefit from this modal approach.
引用
收藏
页码：50 / 73
页数：24
相关论文
共 50 条
  • [1] Methodological foundations for agent-based systems
    Fisher, M
    Muller, J
    Schroeder, M
    Staniford, G
    Wagner, G
    KNOWLEDGE ENGINEERING REVIEW, 1997, 12 (03): : 323 - 329
  • [2] Agent-based grid computing
    Shi, ZZ
    Dong, MK
    Zhang, HJ
    Sheng, QJ
    DCABES 2002, PROCEEDING, 2002, : 164 - 169
  • [3] Agent-Based Cloud Computing
    Sim, Kwang Mong
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2012, 5 (04) : 564 - 577
  • [4] Agent-based Grid computing
    Zhang, HJ
    Shi, ZZ
    Dong, MK
    Sheng, QJ
    Jiang, YC
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIV, PROCEEDINGS: COMPUTER SCIENCE, ENGINEERING AND APPLICATIONS, 2003, : 353 - 358
  • [5] Agent-based grid computing
    Shi, Zhongzhi
    Huang, He
    Luo, Jiewen
    Lin, Fen
    Zhang, Haijun
    APPLIED MATHEMATICAL MODELLING, 2006, 30 (07) : 629 - 640
  • [6] TUNING OF AGENT-BASED COMPUTING
    Byrski, Aleksander
    COMPUTER SCIENCE-AGH, 2013, 14 (03): : 491 - 512
  • [7] Agent-based computing and programming of agent systems
    Luck, M
    McBurney, P
    Gonzalez-Palacios, J
    PROGRAMMING MULTI-AGENT SYSTEMS, 2006, 3862 : 23 - 37
  • [8] Machine learning & agent-based computing
    Ding, ZM
    Liu, L
    DR DOBBS JOURNAL, 1999, 24 (11): : 88 - +
  • [9] Agent-based distributed computing with JMessengers
    Gmelin, M
    Kreuzinger, J
    Pfeffer, M
    Ungerer, T
    INNOVATIVE INTERNET COMPUTING SYSTEMS, PROCEEDINGS, 2001, 2060 : 134 - 145
  • [10] The Study of Agent-based Distributed Computing
    Huang, Jun
    Guo, Liang
    Wang, Le
    Qiu, Zhao
    COMPONENTS, PACKAGING AND MANUFACTURING TECHNOLOGY, 2011, 460-461 : 213 - +
12345