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 条
  • [41] Fault tolerance in agent-based computing systems
    Mishra, S
    Huang, YJ
    PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2000, : 501 - 508
  • [42] Agent-Based Distributed Computing for Dynamic Networks
    Mitrovic, Dejan
    Ivanovic, Mirjana
    Geler, Zoltan
    INFORMATION TECHNOLOGY AND CONTROL, 2014, 43 (01): : 88 - 97
  • [43] Security Framework for Agent-Based Cloud Computing
    Venkateshwaran, K.
    Malviya, Anu
    Dikshit, Utkarsha
    Venkatesan, S.
    INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE, 2015, 3 (03): : 35 - 42
  • [44] Agent-based accountable grid computing systems
    Wonjun Lee
    Anna Squicciarini
    Elisa Bertino
    The Journal of Supercomputing, 2013, 65 : 903 - 929
  • [45] Guest editorial: Agent-based grid computing
    Sim, Kwang M.
    APPLIED INTELLIGENCE, 2006, 25 (02) : 127 - 129
  • [46] Concurrent negotiations for agent-based grid computing
    Li, Xiong
    Wu, Yujin
    Wang, Kai
    Xu, Zongchang
    PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, VOLS 1 AND 2, 2006, : 31 - 36
  • [47] Agent-based computing in an augmented cloud environment
    Byrski, Aleksander
    Debski, Roman
    Kisiel-Dorohinicki, Marek
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2012, 27 (01): : 7 - 18
  • [48] Guest Editorial: Challenges for Agent-Based Computing
    Michael Luck
    Autonomous Agents and Multi-Agent Systems, 2004, 9 : 199 - 201
  • [49] FINE TUNING OF AGENT-BASED EVOLUTIONARY COMPUTING
    Mizera, Michal
    Nowotarski, Pawel
    Byrski, Aleksander
    Kisiel-Dorohinicki, Marek
    JOURNAL OF ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING RESEARCH, 2019, 9 (02) : 81 - 97
  • [50] Survey of agent-based cloud computing applications
    De la Prieta, Fernando
    Rodriguez-Gonzalez, Sara
    Chamoso, Pablo
    Manuel Corchado, Juan
    Bajo, Javier
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2019, 100 : 223 - 236
12345