刘凤岐
- 作品数：7 被引量：28H指数：3
- 供职机构：国防科学技术大学计算机学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一个MC逻辑及其逻辑程序的语义
- 1998年
- 本文定义了一个多context逻辑结构(MCO)。MCO在几个方面推广了传统的一阶逻辑:每个context相关一个理论;context间存在outer关系;引入了模态词ist,公式ist(c,A)表示命题A在context c中为真;每个context可以有关于其内层context的元理论,…等等。我们还讨论了MCO逻辑程序的MCO谓词演算解释和MCO缺省解释。
- 刘海燕陈火旺刘凤岐
- 关键词：逻辑程序语义人工智能
- 支持逻辑程序并行执行的智能回溯机制被引量：1
- 1995年
- 本文提出一种支持ＰＲＯＬＯＧ程序并行执行的智能回溯机制．它是基于数据相关性分析的动静结合的智能回溯策略．在静态编译时通过相关性分析产生各子目标带条件的智能回溯点集合，动态执行时通过对变量的简单测试及对当前运行结果的简单测试来确定当前失败目标的最佳回溯点．
- 刘志宏孙文兵胡守仁刘凤岐
- 关键词：逻辑程序
- 一个多理论的逻辑系统
- 1998年
- 文中为多理论系统建立了一个层次的理论框架——ＭＴ．ＭＴ在几个方面推广了传统的二型一阶谓词演算：允许表示多个理论，每个理论都在一个ｃｏｎｔｅｘｔ内声明；每个ｃｏｎｔｅｘｔ可以有关于其下层ｃｏｎｔｅｘｔ的元理论，而ｃｏｎｔｅｘｔ自身又作为其上层ｃｏｎｔｅｘｔ的一个个体常元．
- 刘海燕陈火旺刘凤岐
- 关键词：逻辑系统知识库
- Multi-Agent系统中Agent知识获取的合作模型被引量：20
- 2001年
- Agent的知识是 Agent计算的前提 .在动态、不确定的 Multi- Agent系统中 ,Agent必须具备及时有效地获取所需知识的能力以求解问题 .现有的知识获取模型不能有效地支持在动态、不确定的 Multi- Agent系统中Agent对知识获取的要求 ,Agent的知识获取能力比较有限 .提出一个系统的、用于 Agent知识获取的合作模型KACM( knowledge- acquiring cooperation model)系列 ,包括被动模型、主动终止模型和主动非终止模型 .基于言语行为理论和以分枝时序逻辑为基础的形式化框架 ,讨论了 KACM所涉及的 Agent通信行为 ,分析了 Agent如何响应这些通信行为以完成知识交互 ,定义了各通信行为以及 KACM的满足语义 ,最后讨论了研究工作的意义 .
- 毛新军陈火旺刘凤岐
- 关键词：AGENTMULTI-AGENT系统知识获取人工智能
- 概率逻辑公式集分解的合并聚类算法被引量：3
- 1997年
- 为使概率逻辑的不确定性推理方法能应用于较大规模的知识库，本文基于一个实际专家系统知识库的开发经验，在概率逻辑公式一致性区间的一般算法基础上，为概率逻辑公式集的分解设计了一种合并聚类算法．对于不同背景的概率逻辑知识库，只要公式集具有一定的分层结构性质，该算法就能保证Ｄａｎｔｚｉｇ－Ｗｏｌｆｅ分解的联合计算模型适用于概率逻辑推理．测试结果表明，该算法对于数１０个变量和子句的实例可收到很好的效果．
- 张晨东陈火旺刘凤岐
- 关键词：概率逻辑一致性聚类专家系统
- 一个常识表示和推理语言X-Turing
- 聂勇军刘凤岐
- 关键词：人工智能语言处理
- Multi-agent系统的主动合作计算模型被引量：4
- 1999年
- 1 概述 Agent是近年来计算机科学领域中的一个重要概念,它是指在某一环境下具有自主性、社会性、主动性等特征的计算实体。Multi-agent系统由一组具有一定资源和能力、相对独立且相互作用的Agent组成。现实系统大多属于Multi-agent系统如空中交通管制系统、异构信息处理系统、战区导弹防御系统等等。由于Agent概念自然、贴切、直观地刻画了现实系统,因而有关Agent理论。
- 毛新军王怀民陈火旺刘凤岐
- 关键词：人工智能MULTI-AGENT
