Expressing Properties of Resource-Bounded Systems: The Logics RTL☆ and RTL

被引：0
|
作者：
Bulling, Nils [1 ]
Farwer, Berndt [2 ]
机构：
[1] Tech Univ Clausthal, Dept Informat, Clausthal Zellerfeld, Germany
[2] Univ Durham, Sch Engn & Comp Sci, Durham DH1 3HP, England
来源：
COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS | 2010年 / 6214卷
关键词：
TEMPORAL LOGIC;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Computation systems and logics for modelling such systems have been studied to a great extent in the past decades. This paper introduces resources into the models of systems and discusses the Resource-Bounded Tree Logics RTL and RTL star, based on the well-known Computation Tree Logics CTL and CTL star, for reasoning about computations of such systems. We present initial results on the complexity/decidability of model checking.
引用
收藏
页码：22 / +
页数：3
相关论文
共 50 条
  • [1] On the Complexity of Resource-Bounded Logics
    Alechina, Natasha
    Bulling, Nils
    Demri, Stephane
    Logan, Brian
    REACHABILITY PROBLEMS, RP 2016, 2016, 9899 : 36 - 50
  • [2] On the complexity of resource-bounded logics
    Alechina, N.
    Bulling, N.
    Demri, S.
    Logan, B.
    THEORETICAL COMPUTER SCIENCE, 2018, 750 : 69 - 100
  • [3] A Modal View on Resource-Bounded Propositional Logics
    Pardo, Pere
    STUDIA LOGICA, 2022, 110 (04) : 1035 - 1080
  • [4] A Modal View on Resource-Bounded Propositional Logics
    Pere Pardo
    Studia Logica, 2022, 110 : 1035 - 1080
  • [5] Correction to: A Modal View on Resource-Bounded Propositional Logics
    Pere Pardo
    Studia Logica, 2022, 110 (6) : 1537 - 1538
  • [6] Verifying Systems of Resource-Bounded Agents
    Alechina, Natasha
    Logan, Brian
    PURSUIT OF THE UNIVERSAL, 2016, 9709 : 3 - 12
  • [7] Reachability in Resource-Bounded Reaction Systems
    Dennunzio, Alberto
    Formenti, Enrico
    Manzoni, Luca
    Porreca, Antonio E.
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016, 2016, 9618 : 592 - 602
  • [8] Resource-bounded strong dimension versus resource-bounded category
    Hitchcock, JM
    Pavan, A
    INFORMATION PROCESSING LETTERS, 2005, 95 (03) : 377 - 381
  • [9] Resource-bounded sensing and planning in autonomous systems
    Zilberstein, S
    AUTONOMOUS ROBOTS, 1996, 3 (01) : 31 - 48
  • [10] Analytical properties of resource-bounded real functionals
    Feree, Hugo
    Gomaa, Walid
    Hoyrup, Mathieu
    JOURNAL OF COMPLEXITY, 2014, 30 (05) : 647 - 671
12345