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] 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
  • [42] Guest Editorial: Challenges for Agent-Based Computing
    Michael Luck
    Autonomous Agents and Multi-Agent Systems, 2004, 9 : 199 - 201
  • [43] Agent-Based Distributed Computing for Dynamic Networks
    Mitrovic, Dejan
    Ivanovic, Mirjana
    Geler, Zoltan
    INFORMATION TECHNOLOGY AND CONTROL, 2014, 43 (01): : 88 - 97
  • [44] Fault tolerance in agent-based computing systems
    Mishra, S
    Huang, YJ
    PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2000, : 501 - 508
  • [45] Guest editorial: Agent-based grid computing
    Sim, Kwang M.
    APPLIED INTELLIGENCE, 2006, 25 (02) : 127 - 129
  • [46] 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
  • [47] Agent-based accountable grid computing systems
    Wonjun Lee
    Anna Squicciarini
    Elisa Bertino
    The Journal of Supercomputing, 2013, 65 : 903 - 929
  • [48] 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
  • [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