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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Song, I., & Governatori, G. (2006). Hardware implementation of temporal nonmonotonic logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4304 LNAI, pp. 808–817). Springer Verlag. https://doi.org/10.1007/11941439_85
Mendeley helps you to discover research relevant for your work.