Hardware implementation of temporal nonmonotonic logics

Journal Publication ResearchOnline@JCU
Song, Insu;Governatori, Guido
Insu Song
Abstract

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.

Journal

Lecture Notes in Computer Science

Publication Name

N/A

Volume

4304

ISBN/ISSN

1611-3349

Edition

N/A

Issue

N/A

Pages Count

10

Location

N/A

Publisher

Springer

Publisher Url

N/A

Publisher Location

N/A

Publish Date

N/A

Url

N/A

Date

N/A

EISSN

N/A

DOI

10.1007/11941439_85