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 条
  • [21] Agent-based computing from multi-agent systems to agent-based models: a visual survey
    Muaz Niazi
    Amir Hussain
    Scientometrics, 2011, 89 : 479 - 499
  • [22] Mathematical and logical foundations of soft computing
    Ojeda-Aciego, Manuel
    Gottwald, Siegfried
    Hajek, Petr
    FUZZY SETS AND SYSTEMS, 2008, 159 (10) : 1129 - 1130
  • [23] Agent-based resource management for grid computing
    Cao, JW
    Spooner, DP
    Turner, JD
    Jarvis, SA
    Kerbyson, DJ
    Saini, S
    Nudd, GR
    CCGRID 2002: 2ND IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER COMPUTING AND THE GRID, PROCEEDINGS, 2002, : 350 - 351
  • [24] Agent-based accountable grid computing systems
    Lee, Wonjun
    Squicciarini, Anna
    Bertino, Elisa
    JOURNAL OF SUPERCOMPUTING, 2013, 65 (02): : 903 - 929
  • [25] Agent-Based Adaptive Mobile Computing in Games
    Burke, Damian
    Hessler, Axel
    Albayrak, Sahin
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1905 - 1906
  • [26] General Purpose Agent-Based Parallel Computing
    Sanchez, David
    Isern, David
    Rodriguez, Angel
    Moreno, Antonio
    DISTRIBUTED COMPUTING, ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, SOFT COMPUTING, AND AMBIENT ASSISTED LIVING, PT II, PROCEEDINGS, 2009, 5518 : 232 - 239
  • [27] An agent-based approach to imagery and geospatial computing
    George Mason University, Center for Image Analysis, Dept. of Computer Science, Fairfax, VA 22030, United States
    Proc Int Conf Autonom Agents, 1600, (228-229):
  • [28] Research on agent-based IGDSS in pervasive computing
    Lin, Zhihong
    Guo, Chaozhen
    2006 1ST INTERNATIONAL SYMPOSIUM ON PERVASIVE COMPUTING AND APPLICATIONS, PROCEEDINGS, 2006, : 306 - +
  • [29] Massively concurrent agent-based evolutionary computing
    Krzywicki, D.
    Turek, W.
    Byrski, A.
    Kisiel-Dorohinicki, M.
    JOURNAL OF COMPUTATIONAL SCIENCE, 2015, 11 : 153 - 162
  • [30] Guest editorial: Challenges for agent-based computing
    Luck, M
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2004, 9 (03) : 199 - 201
12345