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 条
  • [31] Agent-Based Computing in the Internet of Things: A Survey
    Savaglio, Claudio
    Fortino, Giancarlo
    Ganzha, Maria
    Paprzycki, Marcin
    Badica, Costin
    Ivanovic, Mirjana
    INTELLIGENT DISTRIBUTED COMPUTING XI, 2018, 737 : 307 - 320
  • [32] PARALLEL PATTERNS FOR AGENT-BASED EVOLUTIONARY COMPUTING
    Stypka, Jan
    Anielski, Piotr
    Mentel, Szymon
    Krzywicki, Daniel
    Turek, Wojciech
    Byrski, Aleksander
    Kisiel-Dorohinicki, Marek
    COMPUTER SCIENCE-AGH, 2016, 17 (01): : 83 - 98
  • [33] Agent-based risk learning for computing systems
    Wang, XF
    Kiliccote, H
    Khosla, PK
    Zhang, CQ
    FOURTH INTERNATIONAL CONFERENCE ON MULTIAGENT SYSTEMS, PROCEEDINGS, 2000, : 459 - 460
  • [34] An agent-based approach for Universal Personal Computing
    Kumara, MHWU
    He, PL
    Sun, XJ
    2000 IEEE ASIA-PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS: ELECTRONIC COMMUNICATION SYSTEMS, 2000, : 18 - 21
  • [35] Guest Editorial: Agent-based Grid computing
    Kwang M. Sim
    Applied Intelligence, 2006, 25 : 127 - 129
  • [36] Flexible and efficient agent-based metaheuristic computing
    Kisiel-Dorohinicki, Marek
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2019, 37 (06) : 7567 - 7578
  • [37] Hermes: Agent-based middleware for mobile computing
    Corradini, F
    Merelli, E
    FORMAL METHODS FOR MOBILE COMPUTING, 2005, 3465 : 234 - 270
  • [38] Agent-based resource selection for grid computing
    Shen, S
    O'Hare, GMP
    GRID AND COOPERATIVE COMPUTING GCC 2004 WORKSHOPS, PROCEEDINGS, 2004, 3252 : 658 - 669
  • [39] The architectural foundations for agent-based shop floor control
    Langer, G
    Bilberg, A
    FLEXIBLE AUTOMATION AND INTELLIGENT MANUFACTURING, 1998, 1998, : 725 - 735
  • [40] TOWARDS AGENT-BASED MODEL SPECIFICATION OF SMART GRID: A COGNITIVE AGENT-BASED COMPUTING APPROACH
    Akram, Waseem
    Niazi, Muaz A.
    Iantovics, Laszlo Barna
    Vassilakos, Athanasios V.
    INTERDISCIPLINARY DESCRIPTION OF COMPLEX SYSTEMS, 2019, 17 (03) : 546 - 585
12345