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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Technical report, Stanford, CA, USA (1990)
Ben-Eliyahu, R., Dechter, R.: Default reasoning using classical logic. Artif. Intell. 84(1-2), 113–150 (1996)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Governatori, G., Maher, M.J., Antoniou, G., Billington, D.: Argumentation semantics for defeasible logics. Journal of Logic and Computation 14(5), 675–702 (2004)
Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Procedings of the 10th International Conference on Artificial Intelligence and Law, pp. 25–34. ACM Press, New York (2005)
Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255–299 (1990)
Koymans, R.: Specifying Message Passing and Time-Critical Systems with Temporal Logic. Springer, New York (1992)
Maher, M.J., Governatori, G.: A semantic decomposition of defeasible logics. In: AAAI 1999, pp. 299–305 (1999)
Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proc. POPL 1989, pp. 179–190. ACM Press, New York (1989)
Rosenschein, S.J., Kaelbling, L.P.: A situated view of representation and control. Artif. Intell. 73(1-2), 149–173 (1995)
Song, I., Goverantori, G.: A compact argumentation system for agent system specification. In: Proc. STAIRS 2006, IOS Press, Amsterdam (in print, 2006) available at http://eprint.uq.edu.au/archive/00004138/01/InsuGuidoSTAIRS.pdf
Song, I., Governatori, G.: Designing agent chips. In: Stone, P., Weiss, G. (eds.) 5th International Conference on Autonomous Agents and Multi-Agent Systems, May 10–12, pp. 1311–1313. ACM Press, New York (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Song, I., Governatori, G. (2006). Hardware Implementation of Temporal Nonmonotonic Logics. In: Sattar, A., Kang, Bh. (eds) AI 2006: Advances in Artificial Intelligence. AI 2006. Lecture Notes in Computer Science(), vol 4304. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11941439_85
Download citation
DOI: https://doi.org/10.1007/11941439_85
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-49787-5
Online ISBN: 978-3-540-49788-2
eBook Packages: Computer ScienceComputer Science (R0)