Rönnquist, R. (1990). A Logic for Propagation Based Characterisation of Process Behaviour. Technical Report LiTH-IDA-R-90-27, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the International Symposium on Methodologies for Intelligent Systems (ISMIS), October 24.27, 1990. (bibtex),
Abstract: We present the co5ceptual basis for the formal temporal framework implemented in the LINCKS system. In comparison to current techniques in artificial intelligence, this framework has the distinct feature that "change in time" is explicitly attributed to objects rather than relations. Objects appear in a structure as sets of (time-bound) instances, and relations and functions are (time-lessly) defined over instances. "Time" is introduced as a collection of one instance of each object, and the language of first-order predicate logic is extended to allow bindings relative to explicitly given collections. We further introduce progressive invariance as a temporal operator that expresses the behaviour of constraint propagation systems, and also allows us to characterise some forms of causal dependencies.
CS Dept TR Overview