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

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

基于Java和Amzi!Prolog混合编程的辅助训练专家系统: 《杨凌职业技术学院学报》2019年第1期5-9,13,共6页张鹏海毕璐刘斌旺堆次仁; 西藏自治区自然科学基金项目"西藏运动员训练专家系统的研究"(2016ZR-MY-06); 为了科学规范的选拔和培养优秀的高水平运动员,构建了一种科学高效的选拔和训练运动员的辅助方法-运动员训练专家系统。本系统收集了运动员教练在实践中总结的比赛经验和训练计划等资料,将这类隐性知识在计算机上建立了知识库,并设计了...; 关键词：运动员专家系统知识库判断树 PROLOG

A Genetic-Algorithm-Based Information Evolution Model for Social Networks: 《China Communications》2016年第12期234-249,共16页Yanan Wang Xiuzhen Chen Jianhua Li Wanyu Huang; supported by the National Key Basic Research Program of China (No. 2013CB329603);National Natural Science Foundation (No.61562004,No.61431008);Basic Research Foundation of Shanghai Committee of Science and Technology (No. 13JC1403501) of China; the existing information diffusion models focus on analyzing the spatial distribution of certain pieces of messages in social networks. However, these conventional models ignored another important characteristic of di...; 关键词：social network information evolution genetic algorithm MUTATION five-tuple PROLOG

人工智能: 《艺术科技》2016年第6期59-,共1页李加宁陈艳娟肖偲迪; 人工智能早在17世纪时,巴斯卡和莱布尼茨就有了思想的萌芽.到了1956年,号称"人工智能之父"的Mc Carthy以及一大批对此感兴趣的软硬件科学家和工程师在Dartmouth大学召开的会议上首次提出这一概念。后来经过几十年的发展,人工智能也有了...; 关键词：人工智能自然智能 PROLOG LISP

语义Tableau定理证明器的Prolog实现: 《科技视界》2015年第9期9-11,共3页高华江建国苏贺靓; 语义Tableau是一种具有较强通用性和适用性的推理方法。基于Prolog语言,并利用语义Tableau方法,在M.C.Fitting提出的一阶逻辑自动定理证明器的基础上提出了一些改进,给出了改进后相应的算法,并且对算法的可终止性和正确性进行了证明。...; 关键词：语义Tableau 定理证明器 PROLOG

An IPC-based Prolog design pattern for integrating backward chaining inference into applications or embedded systems被引量：2: 《Chinese Journal of Aeronautics》2014年第6期1571-1577,共7页Li Guoqi Shao Yuanxun Hong Sheng Liu Bin; supported by the National Natural Science Foundation of China (No.61304111);National Basic Research Program of China (No. 2014CB744904);Fundamental Research Funds for the Central Universities of China (Nos. YWF-14-KKX-001 and YWF-13-JQCJ); Prolog is one of the most important candidates to build expert systems and AI-related programs and has potential applications in embedded systems. However, Prolog is not suitable to develop many kinds of components, s...; 关键词：Backward chaining inference Design method Embedded systems Inference engines Inter-process communication Prolog

利用人工智能语言Prolog解决汉诺塔问题的研究: 《中国科技信息》2011年第18期51-51,共1页王苗韩磊; 汉诺塔问题是经典递归程序设计案例,一直以来,大家多利用面向对象、过程等编程语言来实现。当今人工智能发展迅速,能否利用人工智能语言解决汉诺塔问题成为一个新的研究领。此次研究利用结构式分析方法,借助人工智能语言推理强的特征,...; 关键词：汉诺塔人工智能语言 PROGRAMMING in Logic 递归算法

家庭知识系统的构造与搜索推理实现被引量：1: 《大庆师范学院学报》2011年第3期10-12,共3页安向明杨艳娟; 大庆师范学院教育教学研究项目(JY0920); 通过引入prolog语言中的函子、谓词和对数据模型的分析,声明含有两个特征的person复合域,创建事实和推理规则,建立家庭知识系统。通过对系统的提问,分析求解过程的规则演绎系统与或图,得到搜索策略的搜索过程,以及在程序执行时语句中回...; 关键词：专家系统 PROLOG 数据模型图搜索

基于规则的公交识别专家系统设计与实现被引量：2: 《智能计算机与应用》2011年第4期42-44,共3页安向明; 大庆师范学院教育教学研究项目（JY0920）; 通过对专家系统模型的分析,详细设计了基于规则的公交识别专家系统的构造模块,并根据专家系统的目标创建了事实库和规则库。在规则库的创建中,改进了规则的线性推理机制,提出递归调用规则：利用递归调用形式的规则库实现了两站间直达、...; 关键词：专家系统公交识别递归知识库 PROLOG

基于人工智能的线切割电参数的优化选取被引量：1: 《机床与液压》2011年第6期28-31,共4页曾焕鑫蔡长韬倪亚辉; 针对线切割加工过程中电参数选择的不确定性,提出了基于Visual Prolog内置推理机PIE的电参数智能选择方案。研究结果表明:所建立的推理系统能够较精确地根据用户给定的加工条件推导出所需的加工电参数,解决了电参数选择的不确定性问题。; 关键词：人工智能 VISUAL PROLOG 推理机线切割电参数

基于Prolog服装导购专家系统的设计与实现: 《电脑知识与技术》2009年第11X期9552-9553,共2页彭天昊; 购买服装对于人们来说是一件很平常的事情,该专家系统充当了服装店铺服务员的角色,根据顾客提供的基本信息,如颜色、价格和款式等,结合Prolog语言的自动推理能力,实现了给顾客快速推荐服装。; 关键词：PROLOG 推理专家系统

PROLOG