α-归结原理

本专辑为您列举一些α-归结原理方面的下载的内容,α-归结原理等资源。把最新最全的α-归结原理推荐给您,让您轻松找到相关应用信息,并提供α-归结原理下载等功能。本站致力于为用户提供更好的下载体验，如未能找到α-归结原理相关内容，可进行网站注册，如有最新α-归结原理相关资源信息会推送给您。

阅读全文

α-归结原理

: 格值命题逻辑系统LP(X)中广义文字的α-归结域 (2005年) 格值命题逻辑系统LP（X）中广义文字的α-归结域的研究，是基于格值命题逻辑系统LP（X）的α-归结原理研究的继续。该逻辑系统的逻辑真值域是格蕴涵代数。讨论了LP（X）的常量、命题变元和一些广义文字的性质，并得到...
评级：0 浏览量：54 收藏量：0 资源大小：250KB 上传时间：2021-05-18

: 格值命题逻辑系统LP(X)的语义归结方法为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。
评级：0 浏览量：99 收藏量：0 资源大小：924KB 上传时间：2020-06-27

: 格值命题逻辑LP(X)中的语义归结方法为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础...
评级：0 浏览量：83 收藏量：0 资源大小：905KB 上传时间：2020-06-03

: 论文研究-格值命题逻辑系统中广义文字的正规性.pdf 公式的正规性是α-归结原理中保持完备性的重要条件，其语义性质是公式形式的重要反映。从语义角度研究了广义文字的正规性，给出了两种典型正规公式F1→F2和（F1→F2）'的真值情况。为讨论广义文字的形式及其α-可...
评级：0 浏览量：77 收藏量：0 资源大小：526KB 上传时间：2019-09-13

: 直觉模糊逻辑的(α,β)-广义锁归结方法* (2015年) 为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α,β)-可满足和(α,β)-归结式的概念。研究了广义子句与其归结式的可满足性。在直觉模糊命题逻辑系统中给广义子句配锁,...
评级：0 浏览量：36 收藏量：0 资源大小：895KB 上传时间：2021-05-12

: 2017-广东工业大学人工智能实验报告Java，C 实验一：A*算法解决机器人走迷宫问题 c语言实验二：α-β剪枝法实现一字棋，java，eclipse 实验三：谓词逻辑归结原理，java，eclipse
评级：0 浏览量：542 收藏量：6 资源大小：725KB 上传时间：2018-01-27

: 论文研究-基于格值一阶逻辑.pdf 针对格值一阶逻辑LF(X)中归结自动推理问题，以格值一阶逻辑LF(X)的α-归结原理为理论基础，通过对例子进行分析，提出了LF(X)中简单广义子句集的归结自动推理算法，并证明了该算法的可靠性和完备性。
评级：0 浏览量：82 收藏量：0 资源大小：496KB 上传时间：2019-09-11

: 华工《人工智能》课程知识提炼 2）谓词逻辑、置换与合一、skolem标准型、归结原理 3）不确定推理、主观贝叶斯方法 4）模糊推理、模糊集以及运算、重点掌握匹配度计算 5）图搜索问题，A*算法，α-β剪枝优化 6）决策树：划分方法（信息增益、信息熵...
评级：0 浏览量：9 收藏量：0 资源大小：22.08MB 上传时间：2024-03-15

: 基于模拟退火算法的宽角度X射线超反射镜设计研究应用于硬X射线波段的宽带多层膜光学元件——宽角度X射线超反射镜的设计可以归结为一个连续变量的多维多极值的全局优化问题。缺少一种有效的全局优化方法是阻碍解决这一难题的一个关键。模拟退火算法是一种简单而且...
评级：0 浏览量：53 收藏量：0 资源大小：826KB 上传时间：2021-02-11

: 电源技术中的过流保护在可控硅整流装置中的应用前言可控硅整流装置不论在电力系统还是在现代工业的各行各业中已得到... 1 可控硅整流装置的控制原理 1.1可控硅整流装置的开环控制以三相全控桥为例，可控硅整流装置的输出电压Ud与可控硅控制角α之间的关系如下：
评级：0 浏览量：94 收藏量：0 资源大小：69KB 上传时间：2020-12-06

: 稀疏贝叶斯模型相关向量机 RVM原理步骤 RVM通过最大化后验概率（MAP）求解相关向量的权重。对于给定的训练样本集{tn,xn}，类似于SVM , RVM 的模型输出定义为 y(x;w)=∑Ni=1wiK(X,Xi)+w0 其中wi为权重， K(X,Xi)为核函。因此对于, tn=y(xn,w)+...
评级：2 浏览量：736 收藏量：9 资源大小：17KB 上传时间：2015-08-27

资源推荐

相关资源标签

相关向量机 AI 论文研究自动推理语义归结方法格值逻辑格蕴涵代数 α-归结原理电源技术薄膜光学模拟退火 thin film X-ray simulate 工程技术论文人工智能课程资源