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 条
  • [31] Representing a robotic domain using temporal description logics
    Artale, A
    Franconi, E
    AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 1999, 13 (02): : 105 - 117
  • [32] Temporal Logics for Phylogenetic Analysis via Model Checking
    Ignacio Requeno, Jose
    de Miguel Casado, Gregorio
    Blanco, Roberto
    Manuel Colom, Jose
    IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2013, 10 (04) : 1058 - 1070
  • [33] Temporal Logics for Phylogenetic Analysis via Model Checking
    Blanco, Roberto
    de Miguel Casado, Gregorio
    Ignacio Requeno, Jose
    Manuel Colom, Jose
    2010 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE WORKSHOPS (BIBMW), 2010, : 152 - 157
  • [34] Branching Time Logics with Multiagent Temporal Accessibility Relations
    V. V. Rybakov
    Siberian Mathematical Journal, 2021, 62 : 503 - 510
  • [35] The complexity of propositional linear temporal logics in simple cases
    Demri, S
    Schnoebelen, P
    INFORMATION AND COMPUTATION, 2002, 174 (01) : 84 - 103
  • [36] A Temporal Logics Approach to Contract-Based Design
    Cimatti, Alessandro
    Tonetta, Stefano
    2016 ARCHITECTURE-CENTRIC VIRTUAL INTEGRATION (ACVI), 2016, : 1 - 3
  • [37] BRANCHING TIME LOGICS WITH MULTIAGENT TEMPORAL ACCESSIBILITY RELATIONS
    Rybakov, V. V.
    SIBERIAN MATHEMATICAL JOURNAL, 2021, 62 (03) : 503 - 510
  • [38] Temporal logics for concurrent recursive programs: Satisfiability and model checking
    Bollig, Benedikt
    Cyriac, Aiswarya
    Gastin, Paul
    Zeitoun, Marc
    JOURNAL OF APPLIED LOGIC, 2014, 12 (04) : 395 - 416
  • [39] Comments on Temporal Logics for Real-Time System Specification
    Furia, Carlo A.
    Pradella, Matteo
    Rossi, Matteo
    ACM COMPUTING SURVEYS, 2009, 41 (02)
  • [40] Modal and temporal logics for abstract space-time structures
    Uckelman, Sara L.
    Uckelman, Joel
    STUDIES IN HISTORY AND PHILOSOPHY OF MODERN PHYSICS, 2007, 38 (03): : 673 - 681
12345