程辉 凌青华 邓立国 马宗民 方思行 邵玉宝 张师超 夏祖勋 陆颖 张刚 胡广朋 王艳

完备性 时态关系 人工智能 定性约束 时态数据库 时态逻辑 测不准原理 定量约束 可视化 区间矩阵 矩阵 时态知识表示 INDU网络 时态区间 不确定 区间代数 模糊集