林渊雷 冯宗宁 刘黎岗 姚从军 鞠实儿 万平

模糊性 竞争冒险 同一律 排中律 矛盾律 开放类 模糊逻辑 置态型触发器 内涵语义学 三值模拟 二值逻辑 指称 经典逻辑 开放世界预设 开放世界 移位寄存器 预设 语词的使用 语义推理系统