摘要
A kind of classification on temporal relations of propositions is presented.By introducing temporal approaching relation, a new temporal logic based ontime-point and time-interval is proposed, which can describe uncertain temporalrelations. Finally some properties of temporal proposition under.uncertainrelations are proposed.
A kind of classification on temporal relations of propositions is presented.By introducing temporal approaching relation, a new temporal logic based ontime-point and time-interval is proposed, which can describe uncertain temporalrelations. Finally some properties of temporal proposition under.uncertainrelations are proposed.
