Skip to Main Content
The main research content of the paper is a granular logic with meaning of space and time. Temporal operators Until (U) and Since (S) are studied. U and S are introduced into the granular logic, to have a temporal granular logic. Subsequently, a spatio-temporal changing function π: X×T→X is proposed, which are functions of two arguments mapping a point in space and a point in time, to another a point in space. Where X is the state space, T is a time-lines. Temporal granular logic is defined in the state space, thus the spatio-temporal granular logic is constructed. Further, the deductive systems of the logic are discussed. Finally, the applications of the logic are illustrated with real examples.
Granular Computing, 2005 IEEE International Conference on (Volume:1 )
Date of Conference: 25-27 July 2005