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 条
  • [21] Computational complexity of hybrid interval temporal logics
    Walega, Przemyslaw Andrzej
    ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (01)
  • [22] Prospects of Using Temporal Logics for Knowledge Management
    Mach-Krol, Maria
    ADVANCES IN BUSINESS ICT, 2014, 257 : 41 - 52
  • [23] Cascade Products and Temporal Logics on Finite Trees
    Esik, Zoltan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 163 - 166
  • [24] Temporal Logics for Multi-Agent Systems
    Henzinger, Thomas A.
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 1 - 1
  • [25] Temporal logics and real time expert systems
    Blom, JA
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 1996, 51 (1-2) : 35 - 49
  • [26] Perspectives of Using Temporal Logics for Knowledge Management
    Mach-Krol, Maria
    2012 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2012, : 935 - 938
  • [27] MULTIAGENT TEMPORAL LOGICS, UNIFICATION PROBLEMS, AND ADMISSIBILITIES
    Rybakov, V. V.
    SIBERIAN MATHEMATICAL JOURNAL, 2022, 63 (04) : 769 - 776
  • [28] Sequent calculi for temporal logics of common knowledge and belief
    Sakalauskaite, R
    INFORMATICA, 2006, 17 (01) : 85 - 94
  • [29] FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS
    Alur, Rajeev
    Arenas, Marcelo
    Barcelo, Pablo
    Etessami, Kousha
    Immerman, Neil
    Libkin, Leonid
    LOGICAL METHODS IN COMPUTER SCIENCE, 2008, 4 (04)
  • [30] Poster Abstract: Learning from Demonstrations with Temporal Logics
    Puranic, Aniruddh G.
    Deshmukh, Jyotirmoy, V
    Nikolaidis, Stefanos
    HSCC 2022: PROCEEDINGS OF THE 25TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS-IOT WEEK 2022), 2022,
12345