期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
创成式BJCAPP系统设计 被引量:1
1
作者 王红军 《北京机械工业学院学报》 1999年第1期27-31,共5页
CAPP是实现CAD和CAM技术集成的关键。详细论述了CAPP的基本原理,指出了各种方法的特点。在此基础上,给出了BJCAPP系统的设计思路和具体方案。BJCAPP从实用性、通用性出发,在零件信息输入模块中采用型面要... CAPP是实现CAD和CAM技术集成的关键。详细论述了CAPP的基本原理,指出了各种方法的特点。在此基础上,给出了BJCAPP系统的设计思路和具体方案。BJCAPP从实用性、通用性出发,在零件信息输入模块中采用型面要素描述法,通过菜单进行交互式输入。在工艺决策上采用了基于知识的产生式规则,利用TURBOPROLOG的回溯和匹配机制选择加工方法和工艺装备。 展开更多
关键词 CAPP 创成式 型面要素 谓词规则 BJCAPP
下载PDF
方块苗文动态构造方法的形式化描述 被引量:2
2
作者 莫礼平 周恺卿 《计算机应用》 CSCD 北大核心 2014年第3期861-864,868,共5页
针对如何在计算机中生成和显示方块苗文的问题,提出了一种方块苗文动态构造方法,给出了该方法的基本原理,定义了实现方块苗文动态构造所需要的操作符,并以谓词规则的形式对方块苗文动态构造变换操作进行了描述。该方法仅需存储方块苗文... 针对如何在计算机中生成和显示方块苗文的问题,提出了一种方块苗文动态构造方法,给出了该方法的基本原理,定义了实现方块苗文动态构造所需要的操作符,并以谓词规则的形式对方块苗文动态构造变换操作进行了描述。该方法仅需存储方块苗文构件及独体字的显现字符,通过对显现字符进行上下组合、左右组合、侧围组合来实现方块苗文的动态构造,为方块苗文字库中字形构件提取及合体字自动生成技术提供了重要支持。 展开更多
关键词 方块苗文 信息处理技术 形式化方法 上下文无关文法 谓词规则
下载PDF
从规划解中学习一阶派生谓词规则 被引量:11
3
作者 饶东宁 蒋志华 +1 位作者 姜云飞 刘强 《计算机学报》 EI CSCD 北大核心 2010年第2期251-266,共16页
派生谓词是描述动作非直接效果的主要方式.但是由人类专家设计的派生谓词规则(即领域理论)不能保证总是正确或者完备的,因此有时很难解释一个观察到的规划解为什么是有效的.结合归纳学习与分析学习的优点,文中提出一种称为FODRL(First-O... 派生谓词是描述动作非直接效果的主要方式.但是由人类专家设计的派生谓词规则(即领域理论)不能保证总是正确或者完备的,因此有时很难解释一个观察到的规划解为什么是有效的.结合归纳学习与分析学习的优点,文中提出一种称为FODRL(First-Order Derived Rules Learning)的算法,在不完美的初始领域理论的引导下从观察到的规划解中学习一阶派生谓词规则.FODRL基于归纳学习算法FOIL(First-Order Inductive Learning),最主要的改进是可以使用派生谓词的激活集来扩大搜索步,从而提高学习到的规则的精确度.学习过程分为两个步骤:先从规划解中提取训练例,然后学习能够最好拟合训练例和初始领域理论的一阶规则集.在PSR和PROME-LA两个派生规划领域进行实验,结果表明,在大部分情况下FODRL比FOIL(甚至包括其变型算法FOCL)学习到的规则的精确度都要高. 展开更多
关键词 人工智能 智能规划 派生谓词规则 归纳学习 激活集
下载PDF
电力调度智能操作的知识模型和实现技术 被引量:4
4
作者 朱思婷 管霖 +3 位作者 徐尧燚 宋晓维 张卫华 黎翔 《南方电网技术》 CSCD 北大核心 2022年第12期98-108,133,共12页
实现电网操作的全过程自动化需要构建比较全面的电力调度操作领域的通用知识模型。以电力调度操作的机器智能为目标,综合应用层次化的一阶谓词逻辑规则库和知识本体两种知识表达方式,设计了具有良好扩展性的智能操作知识模型(intelligen... 实现电网操作的全过程自动化需要构建比较全面的电力调度操作领域的通用知识模型。以电力调度操作的机器智能为目标,综合应用层次化的一阶谓词逻辑规则库和知识本体两种知识表达方式,设计了具有良好扩展性的智能操作知识模型(intelligent operation knowledge model,IOKM)。将IOKM划分为元素知识、本体知识和推理知识三层架构,针对调度管理特点,充实了调度任务本体、拓扑本体和检修计划本体的描述属性和结构。为了更有效地将本体模型实例化并与基于对象描述的规则结合运用于操作实例,提出了事实库动态构建方法。针对具有时序约束的操作序列生成和合序任务,设计了可拓展且简明的操作规则优先级序列表达方式。以实际电网调度检修计划单为例,展示了知识模型的构建和运用流程,验证了模型的性能。 展开更多
关键词 电力调度 知识模型 本体模型 一阶谓词规则 智能操作
下载PDF
利用派生谓词和偏好处理OSP问题的目标效益依赖
5
作者 蒋志华 饶东宁 +1 位作者 姜云飞 翁健 《软件学报》 EI CSCD 北大核心 2012年第3期439-450,共12页
在过度规划问题(over-subscribed planning,简称OSP)研究中,如果目标之间不是相互独立的,那么目标间的效益依赖比单个目标效益更能提高规划解的质量.但是已有的描述模型不符合标准规划描述语言(planningdomain description language,简... 在过度规划问题(over-subscribed planning,简称OSP)研究中,如果目标之间不是相互独立的,那么目标间的效益依赖比单个目标效益更能提高规划解的质量.但是已有的描述模型不符合标准规划描述语言(planningdomain description language,简称PDDL)的语法规范,不能在一般的OSP规划系统上进行推广.提出了用派生谓词规则和目标偏好描述效益依赖的方法,这二者均为PDDL语言的基本要素.实质上,将已有的GAI模型转换为派生谓词规则和目标偏好,其中派生谓词规则显式描述目标子集的存在条件,偏好机制用来表示目标子集的效益,二者缺一不可.该转换算法既可以保持在描述依赖关系时GAI模型的易用性和直观性上,又可以扩展一般的OSP规划系统处理目标效益依赖的能力.从理论上可以证明该算法在转换过程中的语义不变性,在基准领域的实验结果表明其可行性和对规划解质量的改善能力.提出符合PDDL语言规范的目标效益依赖关系的描述形式,克服了已有模型不通用的缺点. 展开更多
关键词 人工智能 智能规划 过度规划问题 目标效益依赖 派生谓词规则 偏好
下载PDF
注射件熔接线缺陷诊断 被引量:2
6
作者 李宏生 郭志英 +1 位作者 谢晓龙 申昱 《塑料》 CAS CSCD 2003年第2期65-67,38,共4页
基于moldflow的模拟分析结果,对熔接线缺陷进行了诊断,并给出了解决方案。利用知识表达方法对熔接线缺陷诊断的经验进行了阐述。依据谓词逻辑规则建立解决方案,提供了求解的流程。利用VC作开发工具,编制了熔接线缺陷解释程序,为模拟分... 基于moldflow的模拟分析结果,对熔接线缺陷进行了诊断,并给出了解决方案。利用知识表达方法对熔接线缺陷诊断的经验进行了阐述。依据谓词逻辑规则建立解决方案,提供了求解的流程。利用VC作开发工具,编制了熔接线缺陷解释程序,为模拟分析师提供了有效的智能和自动决策工具。 展开更多
关键词 注射件 熔接线 缺陷诊断 谓词逻辑规则 塑料注射制品
下载PDF
英语复合名词的功能语用阐释
7
作者 刘艳 《南京航空航天大学学报(社会科学版)》 2010年第3期62-66,共5页
传统的"名词+名词"的英语复合名词研究主要关注构成成分间语义关联的类型特征,无法明确解释复合名词的多种词义问题。扩展后的谓词构成规则可以解释复合名词构成成分之间如何相互作用使之具有多种语义关联,但该方法对部分词... 传统的"名词+名词"的英语复合名词研究主要关注构成成分间语义关联的类型特征,无法明确解释复合名词的多种词义问题。扩展后的谓词构成规则可以解释复合名词构成成分之间如何相互作用使之具有多种语义关联,但该方法对部分词化词和转喻词无能为力。通过区分复合词的话语意义和语言意义,语用学从语境敏感性和语篇敏感性的角度解释复合名词构成成分之间的语义关联。研究表明:功能语法分析和语用分析存在互补性,也可以为其它复合词的研究提供参考。 展开更多
关键词 “名词+名词”复合词 谓词构成规则 语用 语境敏感性 语篇敏感性
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部