张晨东

作品数:8被引量:5H指数:1
导出分析报告
供职机构:中国人民解放军空军指挥学院更多>>
发文主题:概率逻辑一致性专家系统逻辑公式计算机更多>>
发文领域:自动化与计算机技术理学军事更多>>
发文期刊:《计算机研究与发展》《软件学报》《国防科技大学学报》《计算机科学》更多>>
所获基金:国家自然科学基金国家高技术研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-8
视图:
排序:
一个人-机协作智能体环境模型被引量:1
《系统工程与电子技术》1999年第12期69-72,共4页徐光 张晨东 
以计算机协同工作环境和人工智能技术为基础 ,提出了一个人 -机智能体协作环境的结构模型 ,其中包括两类智能体 ,独立的机器智能体和人 -机协作智能体。该模型的优点是对所求解问题随时提供可行解 ,并对参与工作的专家提供以可视化工具...
关键词:人工智能 人-机协作 智能环境模型 计算机 
概率性逻辑异构分解模式的相容性
《软件学报》1999年第7期709-712,共4页张晨东 徐光 陈火旺 王兵山 
国家自然科学基金;国家863高科技项目基金
文章讨论概率性逻辑异构分解模式的相容性问题.对于不同结构的分解模式,只要两两之间满足单边缘一致性,则可互相结合,构成异构的分解模式,并且由此设计的分解算法所形成的推理系统保持相对于原Nilsson
关键词:不确定性推理 分解算法 概率性逻辑推理 相容性 
概率逻辑含多重原子交集分解模型的可靠性被引量:1
《计算机研究与发展》1998年第8期673-677,共5页张晨东 谢兵 陈火旺 徐光 
国家自然科学基金;国家"863"高科技项目基金
文中给出含多重原子公式交集的概率逻辑分解计算模型的可靠性证明.若概率逻辑公式集可被划分为含多重原子交集的子集,且交集的原子个数较少,则分解算法将明显地缩小概率逻辑自动推理线性规划模型的规模.
关键词:概率逻辑 自动推理 不确定性推理 分解算法 
概率逻辑类超树结构分解计算模型的完备性被引量:1
《软件学报》1998年第4期273-275,共3页张晨东 陈火旺 王兵山 徐光 
国家自然科学基金;国家863高科技项目基金
针对Nilsson概率逻辑推理在计算规模方面存在的问题,本文给出了公式集按类超树结构分解的计算模型,并证明了分解算法的完备性.
关键词:概率逻辑 不确定性推理 分解算法 类超树结构 
分布式系统的LOTOS规范及其实现
《计算机科学》1998年第1期72-76,共5页谢冰 张晨东 陈火旺 
分布式系统的主要特点是靠各独立运转的组成部分协同工作来完成系统的功能。对干电信交换、指挥调度、实时控制以及模拟与仿真等分布交互系统。
关键词:分布式系统 LOTOS语言 规范语言 分布式计算机 
推理树概率逻辑公式集有效赋值列数计算
《国防科技大学学报》1997年第5期35-39,共5页张晨东 陈火旺 王兵山 徐光 
本文通过对概率逻辑推理树知识结构模型的研究,得出在树推理中对矩阵列消减起主要作用的相邻关系及其计算方法,给出了树推理模型的有效赋值列数的一般计算方法。
关键词:概率逻辑 线性规划 树推理 公式集 赋值列数 
概率逻辑推理的弱相关分解方法被引量:4
《计算机学报》1997年第10期894-898,共5页张晨东 陈火旺 王兵山 徐光 
国家自然科学基金;国家863高科技基金
本文给出了一种新的概率逻辑推理的分解计算模型.若表示专家知识的概率逻辑公式集具有一定的弱相关分解特性,则可分解为多个公式子集.大规模线性规划的Dantzig-Wolfe分解方法可用于对这种分解的问题求解.
关键词:一致性 知识库 专家系统 概率逻辑推理 
概率逻辑公式集分解的合并聚类算法被引量:3
《软件学报》1997年第6期441-447,共7页张晨东 陈火旺 刘凤岐 
国家自然科学基金;国家863高科技项目
为使概率逻辑的不确定性推理方法能应用于较大规模的知识库,本文基于一个实际专家系统知识库的开发经验,在概率逻辑公式一致性区间的一般算法基础上,为概率逻辑公式集的分解设计了一种合并聚类算法.对于不同背景的概率逻辑知识库,...
关键词:概率逻辑 一致性 分解算法 聚类 专家系统 
检索报告 对象比较 聚类工具 使用帮助 返回顶部