云南高校图书馆联盟文献共享服务平台- PROLOG

PROLOG: 作品数：411被引量：258H指数：7; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：雷英杰陶文祥崔奇明曾湘燕邓铁清更多>>; 相关机构：国防科学技术大学吉林大学上海交通大学中山大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金教育部高等学校骨干教师资助计划更多>>

运动员训练专家系统知识库的设计与实现被引量：1: 《计算机与数字工程》2019年第2期314-319,共6页毕璐刘斌张鹏海; 国家自然科学基金(编号:61603234);西藏自治区自然科学基金"西藏运动员训练专家系统的研究"(编号:2016ZR-MY-06)资助; 为了选拔和培养优秀的体育运动员在比赛中取得更好的成绩,构建了运动员训练专家系统知识库。此知识库将运动员选拔和训练等有关的知识和经验转换成计算机可处理的规则和事实,建立基于规则和事实的诊断树;该知识库采用判断树结构作为知...; 关键词：运动员专家系统知识库数据结构 PROLOG

基于推理机制的逻辑语言在Web服务组合机制中的应用被引量：5: 《电信科学》2012年第12期70-75,共6页赵莹映章韵; 在实际的网络应用中,相比客户端的形式,人们更希望能提供服务设施和应用程序的平台来自简单方便的网络浏览器。基于多阶段可用性的Web服务组合管理关键技术的研究成功,将解决目前服务组合管理中的许多关键问题。本文主要研究人工智能语...; 关键词：WEB服务情景演算 PROLOG

An Expert System for Advising to Buy a FootballPlayer Using Visual Prolog: 《Intelligent Information Management》2012年第4期134-137,共4页Mahdi Gholami mehr Hossein Shirazi; This work presents the design of an Expert System that aims to advice the club teams to buy a football player in the post that they needed. Suggesting different player in many posts by an expert person is based on foo...; 关键词：Artificial Intelligence EXPERT System Visual PROLOG FOOTBALL Adviser

基于规则的网站信息检测与修复方法: 《计算机工程与设计》2011年第7期2514-2517,共4页朱菁菁杨小虎; 为了给网站管理员提供有效的、半自动化的工具,帮助他们处理一些可能预见的问题,提出了一种采用逻辑语言实现自动推理验证网站信息的半自动化方法,并用逻辑编程语言prolog实现。基于用户最初制定的规则来检测网站所发布的信息,同时做出...; 关键词：PROLOG XML文件处理逻辑编程网站检测网站修复

基于Prolog的安全态势推理技术研究: 《信息安全与通信保密》2011年第6期89-91,94,共4页陈世林; 安全态势感知及分析处理是网络安全领域的研究热点,由于网络结构日益复杂,安全设备不断增多,在监测网络运行状态过程中产生的海量、多类型的安全事件需要进行分类、计算和归纳推理,从而得到整体统一的安全态势视图来辅助管理员决策。基...; 关键词：专家系统安全态势 PROLOG 知识推理人工智能语言

自动答疑系统中文自动分词模块设计与实现被引量：3: 《现代计算机》2010年第2期8-10,14,共4页江耿豪; 广东省本科高等教育教学改革项目(NoBKJG200746); 中文自动分词模块是自动答疑系统的一个重要功能模块。在分析自动答疑系统中问句特点的基础上,提出一种面向课程答疑的中文自动分词算法和分词词典设计方案,并探讨运用Visual-Prolog开发基于该算法的中文自动分词模块的关键技术,包括词...; 关键词：自动答疑系统中文自动分词分词词典 Visual—Prolog

Prolog在开发智能教学系统中的应用被引量：2: 《计算机时代》2009年第2期68-69,共2页陈燕娟; 近几年来,随着计算机与网络技术的迅猛发展,特别是因特网的大规模普及,人工智能的研究活跃起来,并正向更广阔的领域发展。VisualProlog是国际上已经广泛流行的功能强大的通用智能化应用集成开发环境,引进Prolog,对于开发智能应用系统十...; 关键词：PROLOG 智能教学系统知识库推理机模糊综合评价

基于Prolog的协议自动化分析器实现被引量：1: 《计算机与数字工程》2008年第7期111-112,170,共3页任瑞王雪涛张浩军; 河南省科技攻关(编号:0524220044;0624260017;072102210029);河南工业大学科研基金项目(编号:06XJC017;06XJC022;07XGG030)资助; 以BAN逻辑为原型,讨论使用Prolog人工智能语言实现基于逻辑的协议自动化分析器实现方法,给出一个安全认证协议自动化分析器的具体方案。; 关键词：PROLOG语言协议分析器 BAN逻辑

采用Agent的FMS可靠性仿真方法被引量：1: 《兵工自动化》2003年第6期12-13,共2页张勇史宪铭梅珺郭波; 基于Agent的仿真是在仿真软件开发中引入Agent技术,结合C++编程,建立系统仿真模型。基于知识库的目标驱动Agent用VisualProlog开发,由DLL接口与C++程序通信,Agent从C++程序感知环境,进行推理,并将结果返回,决定程序运行。Agent在FMS中的...; 关键词：FMS可靠性仿真 AGENT C++ PROLOG

智能CAD系统：Prolog与CADAM结合的产物: 《软件》1991年第4期356-379,共24页Bond,AH 王津涛; 关键词：人工智能 CAD CADAM PROLOG

PROLOG