共查询到20条相似文献,搜索用时 31 毫秒
1.
讨论了知识、元知识的特征、关系以及表示方式.认为知识和无知识均可用谓词来统一地表示,即用一阶谓词表示知识,用高阶谓词表示无知识.简述了高阶逻辑程序设计语言HIFUNLOG,然后以该语言为基础,探讨高阶逻辑程序语言的推理机制.用谓词表示法统一地表示知识和无知识使得元推理与推理具有同样机制,均是(合一+归结)+的过程. 相似文献
2.
为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推理能力,但没有增加计算复杂性.以一个计算机配置实例讨论了扩展的加权约束逻辑程序在产品配置问题中的应用. 相似文献
3.
杜文静 《河南机电高等专科学校学报》2006,14(6):52-53
谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理,是人工智能产生和发展的最重要的理论基础。本文从具体事例出发,解析了谓词逻辑在人工智能领域中两个主要应用:知识表示和消解原理。并在结束语提出谓词逻辑的局限,希望有更多的学者参加逻辑学的研究。 相似文献
4.
目前,基于BIM模型的合规性审查采用人工方式,工作量繁重且自动化程度低,开展自动合规性审查研究具有重要意义。在结构设计领域能够有效支撑规范知识表示与推理并支持设计审查自动化的设计规范表达方法有待开发。基于一阶谓词逻辑,通过转译《混凝土结构设计规范》中的设计条款,提出一种结构设计规范规则表达和推理方法。该方法可实现将半结构化设计规范条款转换为结构化知识并支持灵活查询与推理,通过“谓词定义”和“函数定义”转译设计规范中语言类、表格类和计算公式类设计条款,提出两种规范条款谓词定义方式。对于语言模糊类、表后注释类和条款补充类的设计条款给出转译解决方案。提出的方法有效地解决了传统一阶谓词对于结构设计条款表示不充分和不精确的问题,进而为设计规范的计算机表达提供一种参考方法。 相似文献
5.
利用谓词逻辑能表示确定性知识与模糊逻辑中隶属函数能表示不确定性知识的特点,提出了一种新的谓词隶属逻辑表示法,即通过隶属函数的谓词逻辑对二值和多值逻辑规则进行归一化表示,得到了印制电路板(PCB)规则工艺知识库,实现了基于该方法的知识推理,为后续实现PCB的智能审查提供了审查依据及数据支持. 相似文献
6.
本文提出专家系统中的基于模糊语言逻辑的一类新的近似推理模型ARM。在ARM中,我们把领域专家知识表示的基本单元表征为一个三元组(P,β,LTV),其中P是一个模糊断言;β∈[0,1]是可信度;LTV是自信度,即语言真值。作为知识表示基本单元的三元组(P,β,LTV)将事实、模糊关系(模糊谓词)、模糊产生式规则等结合起来,构成一个模糊推理网络。基于ARM的专家系统中的推理机制包括正向推理,逆向推理和双向推理。给出了在正向推理、逆向推理和双向推理中模糊断言的可信度、自信度和真值的传递运算方法。这类近似推理模型ARM已用于建造“煤矿生产技术管理专家系统”的推理机制。目前,就这个专家系统运行的实例来看,其推理结果与领域专家的观点十分一致。 相似文献
7.
基于multi—agent的分布式专家系统原理及应用 总被引:4,自引:2,他引:2
基于Internet/Interanet松耦合环境设计分布式选矿专家系统,采用面向agent(智能体)的系统开发方法和multi-agent分布协作求解模式,采用异构异质agent,即agent可建构于广域局、局域网和单处理器紧耦合模式,且求解agent可以是基于符号系统、神经网络、遗传算法等agent的协作。此外,建立了统一的知识库标准,基于关系数据模式表征了传统的规则、框架、语义网络及谓词逻辑等知识表示方法。其中,基于数据库引导及搜索技术实现了正向推理机制及反向推理机制,易于agent之间知识的传输,大大提高了通信效率;基于DCOM技术,以C++构建框架类加速了agent的实现。以矿石可选性预测求解为例,实现了多agent协作求解的仿真系统,较好地验证了所提出的理论模式及框架。 相似文献
8.
黄智生 《哈尔滨工程大学学报》1986,(3)
逻辑程序设计语言HPROLOG是一种类prolog语言,它将主要作为一种推理数据库的查询语言.HPROLOG1是HPROLOG的一个基本子集,它具有逻辑程序设计语言prolog的基本功能和特点.本文将主要介绍在实现逻辑程序设计语言HPROLOG1中所采用的一种合一算法,目标栈的回溯控制方式以及循环检测的有关理论及其算法. 相似文献
9.
王湘云 《重庆理工大学学报(自然科学版)》2007,21(18):69-71
用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等。总结用一阶谓词逻辑的形式语言表示具体知识的步骤,以及这种知识表示法的局限与应当进一步研究的问题。 相似文献
10.
缸体铸件质量专家系统知识库的实现 总被引:3,自引:0,他引:3
梁维中 《哈尔滨理工大学学报》2001,6(2):96-98
应用适合不精确推理机制产生式规则的知识表示形式的人工智能技术,对462汽车缸体铸件缺陷知识进行了剖析.在此基础上,利用 BorlandC++for windows语言,建立了铸件质量保证体系专家系统知识库,并开发了具有添加、修改及删除功能的知识库管理系统,同时借助可信度因子使系统具备了一定的自学习能力.实际运行表明:该系统安全可靠,人机界面优良. 相似文献
11.
董传华 《上海工业大学学报》1994,15(5):397-404
本文讨论了用几何图形来表示高阶压缩的方法,以压缩相干态,迭加态这两种具有不同压缩机制的光场非经曲态为例,定量且形象地表现了高阶压缩与相位角之间的关系,并且讨论了高阶主压缩,对于压缩相干态,其偶数阶压缩可以用相似的椭圆双纽线表示,对迭加态,二阶压缩及J=2时高阶压缩可以用椭圆双纽线表示;在其他情况下其高阶压缩不能用椭圆双纽线表示,有J/2条主压缩轴(J为偶数)。 相似文献
12.
综采设备故障诊断的框架知识表示 总被引:1,自引:0,他引:1
专家系统主要产品包括三个组成部分:知识库、推理机和用户接口,其核心是知识库,有效合理的知识表示是专家系统中知识处理的基本前提。采煤机、液压支架和乳化液泵站是组成综采设备的三种主要设备。作者以这三种设备为基础,对综采设备故障诊断专家系统中的知识表示问题,提出了用框架结构对其知识进行表示,讨论了框架结构知识表示的推理和搜索技术,并可以用C 语言实现,得出正确的诊断结论。 相似文献
13.
提出了一种新的谓词型遗传编程方法,该方法包括;待求解问题论域的函数空间约束,遗传算子的谓词逻辑表达,谓词结构推理下数值参数空间的混沌式遍历及发生机制以及非线性方式下自适应进化和非监督学习的综合。整个过程是在约束网络的基础上的以谓词逻辑表达机制为核心实现的函数结点集合约束下的数值型进化计算过程。 相似文献
14.
介绍一个用逻辑程序语言Turbo-Prolog编制,在IBM-PC及其容机上运行的智能程序系统--多功能符号微分系统MFSDS,它提供了一个记忆和信息处理模型,该系统具有良好的人--机对话界面,能根据要求自动进行符号演绎求导数、偏导数、全微分和高阶导数。 相似文献
15.
王湘云 《重庆理工大学学报(自然科学版)》2007,21(9):69-71
用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等.总结用一阶谓词逻辑的形式语言表示具体知识的步骤,以及这种知识表示法的局限与应当进一步研究的问题. 相似文献
16.
OBPES通用骨架系统的整体结构 总被引:2,自引:1,他引:2
矿石可选性预测专家系统(OBPES)通用骨架系统是选矿领域专家系统的构造工具,是用C^++语言在Windows平台上开发的,本文分析了OBPES骨架系统的可行性,论述了系统的结构及各组成部分的主要功能,系统的工作原理及应用步骤,系统采用面向对象的知识库,知识自学习包括基于解释的学习及神经网络自学习,推理机制封装于知识类之中,通过特性继承和消息传递来实现,OBPES骨架系统的功能齐全,界面十分友好, 相似文献
17.
基于人工智能的零件配合设计方法研究 总被引:4,自引:1,他引:3
机械零件配合设计是机械设计与制造中的一项重要内容,根据专家系统的原理提出一种运用规则推理解决零件配合设计的方法,实现了知识表示与基于精确推理机制的规则推理。 相似文献
18.
19.
故障树是一种倒置的逻辑关系图,具有标准的知识结构.同时也是故障诊断专家系统问题求解策略的形式化方法.基于这种形式化方法的故障诊断专家系统可在一定程度上减小知识表示和获取的难度.主要介绍了如何用CLIPS语言实现基于二叉故障树知识的汽车故障诊断推理. 相似文献
20.
压力容器X射线探伤专家系统 总被引:1,自引:0,他引:1
结合压力容器无损探伤的生产实际和特殊要求,在对X射线探伤的有关知识及专家经验进行广泛收集整理和规范化处理的基础上,研究设计出压力容器焊缝X射线探伤专家系统XIS。此系统采用多级模块化结构,用Turbo Prolog语言编程,可在IBM及其兼容机上运行;并采用了产生式规则和谓词逻辑及图形相结合的知识表达方式和深度优先,目标驱动的搜索推理技术,应用该系统,可指导正确选择探伤器材和探伤方式,制订合理的工 相似文献