Advertisement

Applied Intelligence

, Volume 23, Issue 2, pp 109–119 | Cite as

A Formalism for Representing and Reasoning with Temporal Information, Event and Change

  • Nadim ObeidEmail author
Article

Abstract

In this paper we present a general formalism for representing and reasoning with temporal information, event and change. The temporal framework is a theory of time that takes both points and interval as temporal primitives and where the base logic is that of Kleene’s three-valued logic. Thus, we can avoid the Divided Instant Problem (DIP). We present a three-valued based Temporal First-Order Nonmonotonic Logic (TFONL) that employs an explicit representation of time and events. We may embody default logic into TFONL, which takes into consideration the frame, qualification and ramification problems.

Keywords

three-valued temporal nonmonotonic event change 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J. Allen, “Maintaining knowledge about temporal intervals,” Communications of the ACM, vol. 26, pp. 832–843, 1983.CrossRefGoogle Scholar
  2. 2.
    J. Allen, “Towards a general theory of action and time,” Artificial Intelligence, vol. 23, pp. 123–154, 1984.CrossRefGoogle Scholar
  3. 3.
    J. Allen and P. Hayes, “A common-sense theory of time,” in Proceeding of the International Joint Conference on Artificial Intelligence, IJCAI-85, 1985, pp. 528–531.Google Scholar
  4. 4.
    J. Allen and P. Hayes, “Moments and points in an interval-based temporal logic,” Computational Intelligence, vol. 5, pp. 225–238, 1989.Google Scholar
  5. 5.
    C. Baral, M. Gelfond, and A. Provetti, “Representing Actions: Laws, Observations and Hypothesis,” Journal of Logic Programming, vol. 31, No. 1–3, pp. 201–243, 1997.CrossRefGoogle Scholar
  6. 6.
    C. Baral, M. Gelfond, and A. Provetti, “Formalizing Narratives using nested circumscription,” Artificial Intelligence, vol. 104, No. 1–2, pp. 107–64, 1998.CrossRefGoogle Scholar
  7. 7.
    A. Galton, “A critical examination of Allen’s theory of action and time,” Artificial Intelligence, vol. 42, pp. 159–188, 1990.CrossRefGoogle Scholar
  8. 8.
    H. Kamp, “Events, instants and temporal reference”. in Semantics from Different Points of View, edited by R.B. Auerle, U. Egli, and A. von Stechow, Springer-Verlag, pp. 376–417, 1979.Google Scholar
  9. 9.
    R. Kowalski and M. Sergot, “A logic-based calculus of events,” New Generation Computing, vol. 3, 1986.Google Scholar
  10. 10.
    J. McCarthy and P. Hayes, “Some philosophical problems from the standpoint of AI,” Machine Intelligence, vol. 4, 1969.Google Scholar
  11. 11.
    D. McDermott. “A temporal logic for reasoning about processes and plans,” Cognitive Science, vol. 6, pp. 101–155, 1982.CrossRefGoogle Scholar
  12. 12.
    N. Obeid, “Three Valued Logic and Nonmonotonic Reasoning,” Computers and Artificial Intelligence, vol. 15, No. 6, pp. 509–530, 1996.Google Scholar
  13. 13.
    N. Obeid, “A Logic Framework for Model-Based Diagnosis of Dynamic Systems,” in Proceeding of the 15th International Congress of Condition Monitoring and Diagnostic Engineering Management: Innovative trends & Sharing Best Practices in World-Class Manufacturing & Industrial Asset Management, edited by R. Rao and A. Nandi, pp. 189–199, 2002.Google Scholar
  14. 14.
    N. Obeid, “Semantic interpretation of defaults using partial models,” Submitted for Publication, 2003.Google Scholar
  15. 15.
    R. Reiter, “A logic for default reasoning,” Artificial Intelligence, vol. 13, pp. 81–132, 1980.CrossRefGoogle Scholar
  16. 16.
    Y. Shoham, “Temporal logics in AI: Semantical and ontological considerations,” artificial intelligence, vol. 33, pp. 89–104, 1987.CrossRefGoogle Scholar
  17. 17.
    E. Tsang, “Time structures for AI,” in Proceeding of the International Joint Conference on Artificial Intelligence, IJCAI-87, 1987, pp. 456–461.Google Scholar
  18. 18.
    H. Turner, “Representing actions in logic programs and default theories,” Journal of Logic Programming, vol. 31, pp. 245–298, 1997.CrossRefGoogle Scholar
  19. 19.
    R. Turner, Logics for Artificial Intelligence, Ellis Horwood Limited, 1984.Google Scholar
  20. 20.
    J. Van Benthem, The Logic of Time (second edition), Reidel, 1991.Google Scholar
  21. 21.
    M. Vilain, 1982. “A system for reasoning about time,” in Proceedings of AAAI’82, 1982, pp. 197–201.Google Scholar
  22. 22.
    L. Vila, “IP: An instant-period based theory of time,” in Proc. ECAI’94 Workshop on Spatial and Temporal Reasoning, edited by R. Rodriguez, 1994.Google Scholar

Copyright information

© Springer Science + Business Media, Inc. 2005

Authors and Affiliations

  1. 1.King Abdullah II School for Information TechnologyUniversity of JordanJordan

Personalised recommendations