吕建 唐峰 姚松涛 孙德刚 韩婷婷 凌成 李龙澍 张闵敏 马海斌 鞠实儿 周祥和 王辉 刘大有 李金厚 陈韬略 杨鲲 颜锋 蒋静坪 魏耀华 姚从军 陈建中 王涛 段景瑶 张力锋 王国俊 郭荷清

意识系统 全局性模态词 决策规则 信息系统 逻辑全知问题 实在论 约束逻辑 模态R0代数 模型 语言S 跨世界同一性 M滤子 模态算子 agent研究 模糊化 模态词 归纳概率逻辑 克里普克结构 模态语言 不一致性 证据合成 R0代数 跨世界识别 完备性 模态滤子 基于agent的逻辑推理实现 互模拟 有界态射 假说 语义