蒋静坪 张绍德

基于agent的逻辑推理实现 agent研究 实质蕴涵 信息系统 专家系统 跟踪参考输出 感觉空间 编码 多agent系统 同构空间 意识系统 模态逻辑 模糊自适应控制 意义蕴涵 可能世界语义 充分条件 属性及距离映射 工艺曲线 广义对象模型 严格蕴涵 信息互动 逻辑全知问题 必要条件 智能信息处理机

浙江杭州 安徽马鞍山 浙江大学电气工程学院 安徽工业大学计算机科学系 安徽工业大学自动化系