A Temporal Logic for Stochastic Multi-Agent Systems

被引：0
|
作者：
Jamroga, Wojciech [1 ]
机构：
[1] Tech Univ Clausthal, Dept Informat, Clausthal Zellerfeld, Germany
来源：
INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, PROCEEDINGS | 2008年 / 5357卷
关键词：
Temporal logic; multi-agent system; Markov decision process;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Typical analysis of Markovian models of processes refers only to the expected utility that can be obtained by the process. On the other hand, modal logic offers a systematic method of characterizing processes by combining various modal operators. A multivalued temporal logic for Markov chains and Markov decision processes has been recently proposed in [1]. Here, we discuss how it can be extended to the mufti-agent case. We relate the resulting logic to existing (two-valued) logics of strategic ability, and present fixpoint characterizations for some natural combinations of strategic and temporal operators.
引用
收藏
页码：239 / 250
页数：12
相关论文
共 50 条
  • [21] Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
    Andersson, Sofie
    Nikou, Alexandros
    Dimarogonas, Dimos V.
    IFAC PAPERSONLINE, 2017, 50 (01): : 2397 - 2402
  • [22] A complete first-order temporal BDI logic for forest multi-agent systems
    Wu, Lijun
    Su, Kaile
    Sattar, Abdul
    Chen, Qingliang
    Su, Jinshu
    Wu, Wei
    KNOWLEDGE-BASED SYSTEMS, 2012, 27 : 343 - 351
  • [23] On reward distribution in reinforcement learning of multi-agent surveillance systems with temporal logic specifications
    Terashima, Keita
    Kobayashi, Koichi
    Yamashita, Yuh
    ADVANCED ROBOTICS, 2024, 38 (06) : 386 - 397
  • [24] Temporal verification of probabilistic multi-agent systems
    Dekhtyar, Michael I.
    Dikovsky, Alexander Ja.
    Valiev, Mars K.
    PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 256 - +
  • [25] Multi-agent Logic with Distances Based on Linear Temporal Frames
    Rybakov, Vladimir
    Babenyshev, Sergey
    ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT II, 2010, 6114 : 337 - 344
  • [26] Intelligent agent for formal modelling of temporal multi-agent systems
    Qasim, Awais
    Aziz, Zeeshan
    Kazmi, Syed Asad Raza
    Khalid, Adnan
    Fakhir, Ilyas
    Hassan, Jawad
    INTERNATIONAL JOURNAL ON SMART SENSING AND INTELLIGENT SYSTEMS, 2020, 13 (01):
  • [27] From logic programming towards multi-agent systems
    Kowalski, R
    Sadri, F
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1999, 25 (3-4) : 391 - 419
  • [28] Functionalities of multi-agent systems in Programmable Logic Controllers
    Peixoto, Joao Alvarez
    Pereira, Carlos Eduardo
    de Oliveira, Jose Barata
    IFAC PAPERSONLINE, 2016, 49 (30): : 60 - 64
  • [29] An Epistemic Logic for Modular Development of Multi-Agent Systems
    Costantini, Stefania
    Formisano, Andrea
    Pitoni, Valentina
    ENGINEERING MULTI-AGENT SYSTEMS, 2022, 13190 : 72 - 91
  • [30] On multi-agent systems specification via Deontic Logic
    Lomuscio, A
    Sergot, M
    INTELLIGENT AGENTS VIII: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 2002, 2333 : 86 - 99
12345