时态模糊描述逻辑相关论文