李毅 王璞巍 张凤军 焦志伟 张双民 戴国忠 石纯一 曹泽翰 马光伟 刘洁 康小强 陈小平 金芝 刘贵全 蒲树祯 纪连恩 付永刚 叶荣华 李祖枢 刘勇 蔡庆生 徐晋晖 程代杰 郑丽伟 胡山立 杨夏芬 潘娅 程显毅 王姮 王牛

思维状态 愿望 Agent 信念 语义 模型 行为 服务组合 真假子集语义 模态算子 计算语言学 模型 Agent 承诺 社会承诺 可能世界 语义 义务 协调机制 双子集语义 效用 重要课题 形式化研究 哲学逻辑 解除承诺 理性Agent MAS 多智能体 飞行 跟踪

思维状态 愿望 Agent 信念

语义 模型