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.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
J. Allen, “Maintaining knowledge about temporal intervals,” Communications of the ACM, vol. 26, pp. 832–843, 1983.
J. Allen, “Towards a general theory of action and time,” Artificial Intelligence, vol. 23, pp. 123–154, 1984.
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.
J. Allen and P. Hayes, “Moments and points in an interval-based temporal logic,” Computational Intelligence, vol. 5, pp. 225–238, 1989.
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.
C. Baral, M. Gelfond, and A. Provetti, “Formalizing Narratives using nested circumscription,” Artificial Intelligence, vol. 104, No. 1–2, pp. 107–64, 1998.
A. Galton, “A critical examination of Allen’s theory of action and time,” Artificial Intelligence, vol. 42, pp. 159–188, 1990.
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.
R. Kowalski and M. Sergot, “A logic-based calculus of events,” New Generation Computing, vol. 3, 1986.
J. McCarthy and P. Hayes, “Some philosophical problems from the standpoint of AI,” Machine Intelligence, vol. 4, 1969.
D. McDermott. “A temporal logic for reasoning about processes and plans,” Cognitive Science, vol. 6, pp. 101–155, 1982.
N. Obeid, “Three Valued Logic and Nonmonotonic Reasoning,” Computers and Artificial Intelligence, vol. 15, No. 6, pp. 509–530, 1996.
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.
N. Obeid, “Semantic interpretation of defaults using partial models,” Submitted for Publication, 2003.
R. Reiter, “A logic for default reasoning,” Artificial Intelligence, vol. 13, pp. 81–132, 1980.
Y. Shoham, “Temporal logics in AI: Semantical and ontological considerations,” artificial intelligence, vol. 33, pp. 89–104, 1987.
E. Tsang, “Time structures for AI,” in Proceeding of the International Joint Conference on Artificial Intelligence, IJCAI-87, 1987, pp. 456–461.
H. Turner, “Representing actions in logic programs and default theories,” Journal of Logic Programming, vol. 31, pp. 245–298, 1997.
R. Turner, Logics for Artificial Intelligence, Ellis Horwood Limited, 1984.
J. Van Benthem, The Logic of Time (second edition), Reidel, 1991.
M. Vilain, 1982. “A system for reasoning about time,” in Proceedings of AAAI’82, 1982, pp. 197–201.
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.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Obeid, N. A Formalism for Representing and Reasoning with Temporal Information, Event and Change. Appl Intell 23, 109–119 (2005). https://doi.org/10.1007/s10489-005-3416-7
Issue Date:
DOI: https://doi.org/10.1007/s10489-005-3416-7