Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic

被引：0
|
作者：
Martiny K. [1 ]
Möller R. [1 ]
机构：
[1] Institute of Information Systems, Universität zu Lübeck, Lübeck
来源：
KI - Künstliche Intelligenz | 2017年 / 31卷 / 1期
关键词：
Belief updates; Imprecise probabilities; Knowledge representation;
D O I：
10.1007/s13218-016-0455-7
中图分类号：
学科分类号：
摘要：
We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their finite temporal evolution in multi-agent systems. This formalism enables the quantification of agents’ beliefs through probability intervals and incorporates an explicit notion of time. In this work, we give an overview of recent contributions on PDT Logic. After describing the syntax and semantics of this formalism, we show that two alternative representation forms are available to model problems in PDT Logic. Furthermore, we outline how abductive reasoning can be performed in PDT Logic and how this formalism can be extended to infinite time frames. © 2016, Springer-Verlag Berlin Heidelberg.
引用
收藏
页码：63 / 71
页数：8
相关论文
共 50 条
  • [41] A Multi-agent Strategy for Integration of Imprecise Descriptions
    Skorupa, Grzegorz
    Lorkiewicz, Wojciech
    Katarzyniak, Radoslaw
    [J]. INTELLIGENT INFORMATION AND DATABASE SYSTEMS (ACIIDS 2012), PT I, 2012, 7196 : 1 - 10
  • [42] Functionalities of multi-agent systems in Programmable Logic Controllers
    Peixoto, Joao Alvarez
    Pereira, Carlos Eduardo
    de Oliveira, Jose Barata
    [J]. IFAC PAPERSONLINE, 2016, 49 (30): : 60 - 64
  • [43] An Epistemic Logic for Modular Development of Multi-Agent Systems
    Costantini, Stefania
    Formisano, Andrea
    Pitoni, Valentina
    [J]. ENGINEERING MULTI-AGENT SYSTEMS, 2022, 13190 : 72 - 91
  • [44] From logic programming towards multi-agent systems
    Kowalski, R
    Sadri, F
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1999, 25 (3-4) : 391 - 419
  • [45] On multi-agent systems specification via Deontic Logic
    Lomuscio, A
    Sergot, M
    [J]. INTELLIGENT AGENTS VIII: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 2002, 2333 : 86 - 99
  • [46] Location-Based Reasoning about Complex Multi-Agent Behavior
    Sadilek, Adam
    Kautz, Henry
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2012, 43 : 87 - 133
  • [47] Reasoning about Belief, Goal and Exceptions in Multi-agent Cooperation Logics
    Lai, Xianwei
    Hu, Shanli
    Ning, Zhengyuan
    Wang, Xiuli
    [J]. 2008 3RD INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM AND KNOWLEDGE ENGINEERING, VOLS 1 AND 2, 2008, : 1271 - +
  • [48] Abstract architecture for meta-reasoning in multi-agent systems
    Pechoucek, M
    Stepánková, O
    Marík, V
    Bárta, J
    [J]. MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS, 2003, 2691 : 84 - 99
  • [49] Knowledge sharing in default reasoning based multi-agent systems
    Rybinski, H
    Ryzko, D
    [J]. IEEE/WIC INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2003, : 576 - 579
  • [50] Possibilistic reasoning and privacy/efficiency tradeoffs in multi-agent systems
    Wallace, RJ
    Freuder, EC
    Minca, M
    [J]. MICAI 2004: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2004, 2972 : 380 - 389
12345