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:	Publisher Publisher Organisation
Last Modified:	14 Oct 2016 08:59
URI:	http://gala.gre.ac.uk/id/eprint/242

Actions (login required)

View Item