Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

The Logical Approach to Temporal Reasoning Juan Carlos Augusto (jca@cs.uns.edu.ar)

Summary: The Logical Approach to Temporal Reasoning
Juan Carlos Augusto (jca@cs.uns.edu.ar)
Departamento de Cs. de la ComputaciŽon
Universidad Nacional del Sur
BahŽia Blanca - Argentina
Abstract. Temporal reasoning started to be considered as a subject of study
in artificial intelligence in the late '70s. Since that several ways to represent
and use temporal knowledge have been suggested. As a result of that there
are several formalisms capable of coping with temporal notions in some way
or other. They range from isolated proposals to complex systems where the
temporal aspect is used together with other important features for the task of
modelling an intelligent agent. The purposes of this article are to summarize
logic-based temporal reasoning research and give a glance on the different
research tracks envisaging future lines of research. It is intended to be useful
to those who need to be involved in systems having these characteristics and
also an occasion to present newcomers some problems in the area that still
wait for a solution.
Keywords: knowledge representation, temporal logic, time, properties, events,
actions, processes.
1. Introduction


Source: Augusto, Juan Carlos - School of Computing and Mathematics, University of Ulster at Jordanstown


Collections: Computer Technologies and Information Sciences