Skip navigation

Representing temporal relationships between events and their effects

Representing temporal relationships between events and their effects

Ma, J., Knight, B. and Peng, T. (1997) Representing temporal relationships between events and their effects. In: Proceedings: Fourth International Workshop on Temporal Representation and Reasoning. IEEE Computer Society Press, Los Alamitos, California, USA, pp. 148-152. ISBN 0818679379 (doi:https://doi.org/10.1109/TIME.1997.600796)

Full text not available from this repository.

Abstract

Temporal relationships between events and their effects are complex. As the effects of a given event, a proposition may change its truth value immediately after the occurrence of the event and remain true until some other events occur, while another proposition may only become true/false from some time after the causal event has occurred. Expressing delayed effects of events has been a problematic question in most existing theories of action and change. This paper presents a new formalism for representing general temporal causal relationships between events and their effects. It allows expressions of both immediate and delayed effects of events, and supports common-sense assertions such as "effects cannot precede their causes".

Item Type: Conference Proceedings
Title of Proceedings: Proceedings: Fourth International Workshop on Temporal Representation and Reasoning
Additional Information: [1] This poster session was first presented at the Fourth International Workshop on Temporal Representation and Reasoning held from 10-11 May 1997 in Florida, USA.
Uncontrolled Keywords: process algebra, temporal logic, temporal reasoning, calculus, delay effects, ontologies, pressing
Subjects: Q Science > QA Mathematics > QA76 Computer software
Pre-2014 Departments: School of Computing & Mathematical Sciences
School of Computing & Mathematical Sciences > Computer & Computational Science Research Group
School of Computing & Mathematical Sciences > Department of Computer Science
Related URLs:
Last Modified: 14 Oct 2016 08:59
URI: http://gala.gre.ac.uk/id/eprint/242

Actions (login required)

View Item View Item