Spatio-temporal granular logic and its applications to dynamic information systems

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 /spl pi/: X/spl times/T/spl rarr/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.

[1]  Tsau Young Lin,et al.  Granular Computing: Fuzzy Logic and Rough Sets , 1999 .

[2]  Yiyu Yao,et al.  Induction of Classification Rules by Granular Computing , 2002, Rough Sets and Current Trends in Computing.

[3]  Andrzej Skowron,et al.  Measures of Inclusion and Closeness of Information Granules: A Rough Set Approach , 2002, Rough Sets and Current Trends in Computing.

[4]  Qing Liu.  Granules and Reasoning Based on Granular Computing , 2003, IEA/AIE.

[5]  Churn-Jung Liau.  Many-Valued Dynamic Logic for Qualitative Decision Theory , 1999, RSFDGrC.

[6]  Bo Zhang,et al.  The Quotient Space Theory of Problem Solving , 2003, Fundam. Informaticae.

[7]  Andrzej Skowron,et al.  Reasoning Based on Information Changes in Information Maps , 2003, RSFDGrC.

[8]  Qing Liu.  The OI-Resolution of Operator Rough Logic , 1998, Rough Sets and Current Trends in Computing.

[9]  Zohar Manna.  Verification of Sequential Programs: Temporal Axiomatization , 1982 .

[10]  Patrick Doherty,et al.  Information Granules for Intelligent Knowledge Structures , 2003, RSFDGrC.

[11]  Tsau Young Lin,et al.  Granular Computing on Binary Relations , 2002, Rough Sets and Current Trends in Computing.

[12]  Andrzej Skowron,et al.  Approximation of Information Granule Sets , 2000, Rough Sets and Current Trends in Computing.

[13]  Lotfi A. Zadeh,et al.  Fuzzy sets and information granularity , 1996 .

[14]  Christian Freksa,et al.  Spatial and Temporal Structures in Cognitive Processes , 1997, Foundations of Computer Science: Potential - Theory - Cognition.

[15]  Andrzej Skowron,et al.  Patterns in Information Maps , 2002, Rough Sets and Current Trends in Computing.

[16]  B. Achiriloaie,et al.  VI REFERENCES , 1961 .

[17]  Qing Liu,et al.  Design and Implement for Diagnosis Systems of Hemorheology on Blood Viscosity Syndrome Based on GrC , 2003, RSFDGrC.

[18]  Emmanuel Stefanakis,et al.  Spatio-Temporal Multicriteria Decision Making Under Uncertainty , 2001 .

[19]  Churn-Jung Liau.  Belief Reasoning, Revision and Fusion by Matrix Algebra , 2004, Rough Sets and Current Trends in Computing.

[20]  Ewa Orlowska,et al.  Logic of nondeterministic information , 1985, Stud Logica.

[21]  David Toman.  On completeness of multi-dimensional first-order temporal logics , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

[22]  Liu Qing.  G-Logic and Its Resolution Reasoning , 2004 .

[23]  Qun Liu,et al.  Approximate reasoning based on granular computing in granular logic , 2002, Proceedings. International Conference on Machine Learning and Cybernetics.

[24]  Ewa Orlowska,et al.  Modal Logics in the Theory of Information Systems , 1984, Math. Log. Q..

[25]  Andrzej Skowron,et al.  Toward Intelligent Systems: Calculi of Information Granules , 2001, JSAI Workshops.

[26]  Ben J Hicks,et al.  SPIE - The International Society for Optical Engineering , 2001 .