Skip to main content
SpringerLink
Log in

Temporal Knowledge Representation and Reasoning Model for Temporally Rich Domains

  • Conference paper
Knowledge-Based Intelligent Information and Engineering Systems (KES 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3682))

  • 741 Accesses

Abstract

A formal model of knowledge representation and reasoning for temporally rich domains is given in the paper. The model is based on the high-level Petri Nets, called the Petri Nets with Time Tokens (PNTT). The PNTT is the main building block of the knowledge representation scheme KRPNTT. The scheme integrates theory of the PNTT and Allen’s interval-based temporal logic. Reasoning process in the proposed scheme is atime dependent event-driven process. It includes the ability to reason about time relations among actions and/or states, as well as planning in the temporally rich domains.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Pelevan, R., Allen, J.F.: A Formal Logic Plans in Temporally Rich Domains. Proceedings of the IEEE 74(10), 1364–1382 (1986)

    Article  Google Scholar 

  2. McCharty, J., Hayes, P.J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 4, Edinburgh University Press, Edinburgh (1969)

    Google Scholar 

  3. Kahn, K., Gorry, G.A.: Mechanizing Temporal Knowledge. Artificial Intelligence 9, 87–108 (1977)

    Article  Google Scholar 

  4. Dean, T.L., McDermott, D.V.: Temporal Data Base Management. Artificial Intelligence 32, 1–55 (1987)

    Article  Google Scholar 

  5. Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Communications of the ACM 26(11), 832–843 (1983)

    Article  MATH  Google Scholar 

  6. Decther, R., Meiri, I., Pearl, J.: Temporal Constraint Network. Artificial Intelligence 49, 61–69 (1991)

    Article  MathSciNet  Google Scholar 

  7. Merlin, P.: A Methodology for the Design and Implementation of Communication Protocols. IEEE Transactions on the Communications 24(6), 614–621 (1976)

    Article  MathSciNet  Google Scholar 

  8. Suzuki, I., Lu, H.: Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter. IEEE Transactions on Computers 38(5), 696–704 (1989)

    Article  Google Scholar 

  9. Meimei, G., Xiaoguang, H., Zhiming, W.: Linear logic as a tool for presentation and temporal reasoning of time Petri nets. In: Proceedings of the American Control Conference, Chicago, pp. 3177–3181 (2000)

    Google Scholar 

  10. Murata, T., Suzuki, T., Shatz, S.M.: Fuzzy-Timing High-Level Petri Nets (FTHNs) for Time-Critical Systems. In: Cardoso, J., Camargo, H. (eds.) Fuzziness in Petri Nets, A Springer, Heidelberg (1999)

    Google Scholar 

  11. Zaidi, A.K., Rizvi, K.H., Hussain, S.S.: On Spatial Modeling of Discrete Event Systems Using Point-interval Logic. In: Proceedings of the Second Int. Conf. on Machine Learning and Cybernetics, pp. 1699–1704. Xian (2003)

    Google Scholar 

  12. Peterson, J.L.: Petri Net theory and Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Electrical Engineering and Computing, University of Zagreb, Unska 3, 10000, Zagreb, Croatia

    Slobodan Ribarić

Authors
  1. Slobodan Ribarić
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Business, La Trobe University, 3086, Melbourne, Victoria, Australia

    Rajiv Khosla

  2. Centre for SMART systems Engineering Research Centre, University of Brighton, BN2 4GJ, Moulsecoomb, Brighton, UK

    Robert J. Howlett

  3. School of Electrical and Information Engineering, Knowledge Based Intelligent Engineering Systems Centre, University of South Australia, 5095, Mawson Lakes, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ribarić, S. (2005). Temporal Knowledge Representation and Reasoning Model for Temporally Rich Domains. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2005. Lecture Notes in Computer Science(), vol 3682. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11552451_57

Download citation

  • DOI: https://doi.org/10.1007/11552451_57

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28895-4

  • Online ISBN: 978-3-540-31986-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation