Hardware Implementation of Temporal Nonmonotonic Logics

  • Insu Song
  • Guido Governatori
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4304)

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.

Keywords

agent chip design nonmonotonic logic knowledge representation temporal logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Technical report, Stanford, CA, USA (1990)Google Scholar
  2. 2.
    Ben-Eliyahu, R., Dechter, R.: Default reasoning using classical logic. Artif. Intell. 84(1-2), 113–150 (1996)CrossRefMathSciNetGoogle Scholar
  3. 3.
    Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)MATHGoogle Scholar
  4. 4.
    Governatori, G., Maher, M.J., Antoniou, G., Billington, D.: Argumentation semantics for defeasible logics. Journal of Logic and Computation 14(5), 675–702 (2004)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255–299 (1990)CrossRefGoogle Scholar
  7. 7.
    Koymans, R.: Specifying Message Passing and Time-Critical Systems with Temporal Logic. Springer, New York (1992)MATHGoogle Scholar
  8. 8.
    Maher, M.J., Governatori, G.: A semantic decomposition of defeasible logics. In: AAAI 1999, pp. 299–305 (1999)Google Scholar
  9. 9.
    Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proc. POPL 1989, pp. 179–190. ACM Press, New York (1989)Google Scholar
  10. 10.
    Rosenschein, S.J., Kaelbling, L.P.: A situated view of representation and control. Artif. Intell. 73(1-2), 149–173 (1995)CrossRefGoogle Scholar
  11. 11.
    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 Google Scholar
  12. 12.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Insu Song
    • 1
  • Guido Governatori
    • 1
  1. 1.School of Information Technology & Electrical EngineeringThe University of QueenslandBrisbaneAustralia

Personalised recommendations