Skip navigation

Temporal representation of state transitions

Temporal representation of state transitions

Ma, Jixin, Knight, Brian and Nissan, Ephraim (1999) Temporal representation of state transitions. AI EDAM, 13 (2). pp. 67-78. ISSN 0890-0604 (Print), 1469-1760 (Online) (doi:https://doi.org/10.1017/S0890060499132025)

Full text not available from this repository.

Abstract

This paper describes a knowledge-based temporal representation of state transitions for industrial real-time systems. To allow expression of uncertainty, we shall define fluents as disjuncts of positive/negative time-varying properties. A state of the world is represented as a collection of fluents, which is usually incomplete in the sense that neither the positive form nor the negative form of some properties can be implied from it. The world under consideration is assumed to persist in a given state until an action(s) takes place to effect a transition of it into another state, where actions may either be instantaneous or durative. High-level causal laws are characterized in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law to guarantee that all the fluents that can be affected by the performance of the corresponding action are governed. This completion requirement is practical for most industrial real-time applications and in fact provides a simple and effective treatment to the so-called frame problem.

Item Type: Article
Additional Information: [1] Published in AI EDAM, Volume 13(2). April 1999. Special Issue: Temporal Logic in Engineering. Guest Editors: Brian Knight and Ephraim Nissan. Deputy Guest Editor: Jixin Ma.
Uncontrolled Keywords: temporal representation, state transitions, industrial real-time systems
Subjects: Q Science > QA Mathematics
Faculty / School / Research Centre / Research Group: Faculty of Liberal Arts & Sciences
Related URLs:
Last Modified: 14 Oct 2016 08:59
URI: http://gala.gre.ac.uk/id/eprint/190

Actions (login required)

View Item View Item