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

Authors:
Nadim Obeid
Affiliations:
King Abdullah II School for Information Technology, University of Jordan, Jordan
Venue:
Applied Intelligence
Year:
2005

Citing 8
Cited 4

Towards a general theory of action and time

Artificial Intelligence
A logic-based calculus of events

New Generation Computing
Temporal logics in AI: semantical and ontological considerations

Artificial Intelligence
A critical examination of Allen's theory of action and time

Artificial Intelligence
Moments and points in an interval-based temporal logic

Computational Intelligence
Formalizing narratives using nested circumscription

Artificial Intelligence
Maintaining knowledge about temporal intervals

Communications of the ACM
Logic for Artificial Intelligence

Logic for Artificial Intelligence

Partial information basis for agent-based collaborative dialogue

Applied Intelligence
On integrating event definition and event detection

Knowledge and Information Systems
On the combination of logical and probabilistic models for information analysis

Applied Intelligence
Determining topological relationship of fuzzy spatiotemporal data integrated with XML twig pattern

Applied Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.