【摘 要】
：
计划验证是计划编制过程的重要环节。从知识管理的角度,在已有计划表示和计划推理相关研究的基础上,提出了一种基于本体和规则的计划验证方法框架,通过对计划知识进行基于本
论文部分内容阅读
计划验证是计划编制过程的重要环节。从知识管理的角度,在已有计划表示和计划推理相关研究的基础上,提出了一种基于本体和规则的计划验证方法框架,通过对计划知识进行基于本体的表示、基于描述逻辑、一阶谓词逻辑的规则知识抽取和计划推理,以实现对计划的验证。并以某排雷作战计划的验证为例进行了实验。实验表明,该方法实现了对专家知识的扩展,提高了作战计划正确性检验的效率。
其他文献
明星人设作为一种社会建构的产物,是明星、娱乐资本、社会大众和粉丝多方力量共同互动的结果,因此存在"人设崩塌"的风险。本文从明星人设生产、维持和崩塌三个方面,分析了明
无论是在我们的生活中还是在日常生产中,节约用电都是必不可少的一个话题,本文针对节约用电问题,设计了一种单片机的照明控制系统,该照明系统属于智能控制型,对该系统的结构
互联网大数据时代对高校信管专业人才培养提出了新的要求,传统信管专业的培养模式需要进行相应的改革。在此背景下,本文以财经类院校为例,从社会对信管专业人才的实际需求出
本文在胜任力模型与会展旅游业员工培训关系的基础上,以A公司为例,构建了会展旅游业高技能人才胜任力模型,并阐述了在员工培训中的应用,这对于会展旅游企业具有一定的借鉴意
戴爱莲,1916年5月出生在特立尼达岛。1936年考入莱斯里主办的舞蹈工作室,研习现代舞。后进入著名舞蹈家安乐·道林芭蕾工作室和玛利·兰伯特芭蕾舞学校,在芭蕾舞大师克拉克
面对移动互联网的飞速发展,用户消费行为发生了巨大的变化,加之产品同质化与市场相对饱和,如何提升客户忠诚度摆在了运营商的面前。文章通过介绍NPS体系,了解NPS的优点,并将N
<正> (一)主谓谓语句是汉语中特有的一种句式,也是语法学界早就描写到了的一种语言结构。但真正引起人们重视从而研究这种语言结构,还是近几年的事。那么,什么是主谓谓语句呢
<正>明孝陵是明朝开国皇帝朱元璋与马皇后的合葬陵墓,位于南京钟山独龙阜玩珠峰,是南京地区建筑规模最大的一座帝王陵寝。1368年,在声势浩大的农民起义中元朝灭亡。年初,朱元
自１９８８年以来，采用吻合血管的跖趾关节或近侧趾间关节移植，重建掌指关节及近侧指间关节１１例。其中３例为单一血管蒂携带两个关节移植，同期重建相邻两个掌指关节。术后半年至５年对全部病例