Hardware implementation of temporal nonmonotonic logics

被引：0
|
作者：
Song, Insu [1 ]
Governatori, Guido [1 ]
机构：
[1] Univ Queensland, Sch Informat Technol & Elect Engn, Brisbane, Qld 4072, Australia
来源：
AI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2006年 / 4304卷
关键词：
agent; chip design; nonmonotonic logic; knowledge representation; temporal logic;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal operators and (2) a mapping of these new temporal nonmonotonic logics into a Metric Temporal Logic. This mapping provides a formal specification method for real-time temporal reasoning digital circuits for the temporal nonmonotonic logics. We present our method in the context of synthesizing custom digital hardware (called agent chip) automatically from high level agent specifications.
引用
收藏
页码：808 / +
页数：2
相关论文
共 50 条
  • [41] Linear Temporal Justification Logics with Past and Future Time Modalities
    Ghari, Meghdad
    LOGIC JOURNAL OF THE IGPL, 2023, 31 (01) : 1 - 38
  • [42] Maximal traces and path-based coalgebraic temporal logics
    Cirstea, Corina
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (38) : 5025 - 5042
  • [43] Using temporal logics to express search control knowledge for planning
    Bacchus, F
    Kabanza, F
    ARTIFICIAL INTELLIGENCE, 2000, 116 (1-2) : 123 - 191
  • [44] Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics
    Cirstea, Corina
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 264 (02) : 83 - 103
  • [45] Cut-Free Calculi and Relational Semantics for Temporal STIT Logics
    van Berkel, Kees
    Lyon, Tim
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2019, 2019, 11468 : 803 - 819
  • [46] Verification of Access Control in Big Data Systems Using Temporal Logics
    Poltavtseva, M. A.
    Podorov, A. A.
    Aleksandrova, E. B.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2024, 58 (08) : 1311 - 1317
  • [47] Analyzing completeness of axiomatic functional systems for temporal x modal logics
    Burrieza, Alfredo
    de Guzman, Inmaculada P.
    Munoz-Velasco, Emilio
    MATHEMATICAL LOGIC QUARTERLY, 2010, 56 (01) : 89 - 102
  • [48] Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
    Engelaar, M. H. W.
    Zhang, Z.
    Lazar, M.
    Haesaert, S.
    IFAC PAPERSONLINE, 2024, 58 (11): : 93 - 98
  • [49] Incompleteness of a first-order Godel logic and some temporal logics of programs
    Baaz, M
    Leitsch, A
    Zach, R
    COMPUTER SCIENCE LOGIC, 1996, 1092 : 1 - 15
  • [50] Expressing and organizing real-time specification patterns via temporal logics
    Bellini, P.
    Nesi, P.
    Rogai, D.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (02) : 183 - 196
12345