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 条
  • [1] Ground nonmonotonic modal logics
    Donini, FM
    Nardi, D
    Rosati, R
    JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (04) : 523 - 548
  • [2] Reasoning about minimal knowledge in nonmonotonic modal logics
    Rosati R.
    Journal of Logic, Language and Information, 1999, 8 (2) : 187 - 203
  • [3] Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic
    Grigoris Antoniou
    Volker Sperschneider
    Artificial Intelligence Review, 1998, 12 : 431 - 443
  • [4] Operational concepts of nonmonotonic logics - Part 2: Autoepistemic logic
    Antoniou, G
    Sperschneider, V
    ARTIFICIAL INTELLIGENCE REVIEW, 1998, 12 (06) : 431 - 443
  • [5] Logics for Temporal Information Systems in Rough Set Theory
    Khan, Md Aquil
    Banerjee, Mohua
    Panda, Sibsankar
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2023, 24 (01)
  • [6] Reified Temporal Logics: An Overview
    J. Ma
    B. Knight
    Artificial Intelligence Review, 2001, 15 : 189 - 217
  • [7] Arity hierarchy for temporal logics
    Rabinovich, Alexander
    THEORETICAL COMPUTER SCIENCE, 2008, 403 (2-3) : 373 - 381
  • [8] Temporal logics with language parameters
    Gutsfeld, Jens Oliver
    Mueller-Olm, Markus
    Dielitz, Christian
    INFORMATION AND COMPUTATION, 2023, 295
  • [9] Multiagent Temporal Logics with Multivaluations
    V. V. Rybakov
    Siberian Mathematical Journal, 2018, 59 : 710 - 720
  • [10] Multiagent Temporal Logics with Multivaluations
    Rybakov, V. V.
    SIBERIAN MATHEMATICAL JOURNAL, 2018, 59 (04) : 710 - 720
12345