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 accountable grid computing systems
    Lee, Wonjun
    Squicciarini, Anna
    Bertino, Elisa
    JOURNAL OF SUPERCOMPUTING, 2013, 65 (02): : 903 - 929
  • [24] 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
  • [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] Research on agent-based IGDSS in pervasive computing
    Lin, Zhihong
    Guo, Chaozhen
    2006 1ST INTERNATIONAL SYMPOSIUM ON PERVASIVE COMPUTING AND APPLICATIONS, PROCEEDINGS, 2006, : 306 - +
  • [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] 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
  • [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