一阶谓词相关论文
R.G.Hoffmam(RGH):并行分布式理近来很热门,有些人认为,它可以解“传统的”基于符号的 AI 方法久攻不下的题。对此您有何看法?J.M......
本文讨论了RKIF规范的设计和推理引擎的实现。最终定义的RKIF实际上是一个默认封闭世界假设，并去掉了一些不常用的KIF语法特性的KIF......
海德格尔在概括存在问题研究的历史和现状时指出：“迄今为止的一切存在论（常译为本体论）当然把‘存在’‘设为前提’”，各门科学所做的......
科学效应是产品创新设计过程中的一种重要知识类型。建立科学效应知识模型,并实现知识推理,有助于功能的求解过程。Prolog是一种基......
这是关于知识表示的又一篇综述文章,首先讨论了知识表示中的基本问题,接着介绍了知识表示研究的发展现况,目前存在的主要问题以及......
为使计算机工作,必须事先编好程序。早期的手编程序相当麻烦,而且难以掌握。后来出现了 ALGOL、FORTRAN、PASCAL 等高级程序设计......
在数据库理论的发展过程中，（一阶谓词）逻辑作为数据模型的研究是富于建设性成果的。对逻辑规则涵义的理解是该项研究的基本背景。文中......
在扩展的时态逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策......
国际上现有的诊断推理方法可归纳为两类：基于第一原理的定性诊断推理和基于启发式知识的定性诊断推理，由于这两种方法各有其优缺点，因......
机器学习和发现需要我们对当代科学哲学的思想和方法进行形式化．本文介绍了Ｌａｋａｔｏｓ方法论的基本思想，并通过二阶受限Ｔａｂｌｅａｕ来实现Ｌａｋａｔｏｓ方法论的形式化系......
这篇论文以国家高技术研究发展计划(863计划)的"斗轮机的机器人化技术开发与工程应用"课题以及"唐山市产业结构调整示范项目"中"污......
为解决Web数据集成中大量事件表象语句共指现实世界同一事件,导致数据冗余问题,提出一种基于Markov逻辑网的事件表象统一方法。该......
Prolog语言是基于一阶谓词逻辑的Horn子句，其丰富的表达能力极大地促进了知识处理、专家系统等应用领域的进一步发展。对Prolog语言......
人工智能原理中,基于一阶谓词逻辑下的归结推理方法可以在机器上实现"自动定理证明以及问题的求解",实际研究应用表明归结原理中的......
本文给出了一个在自然数的有穷客体域Dk={l，2，…，k}（k≥0）内一阶谓词逻辑公式的k普遍有效性的判定算法。对于只包含一元谓词的公式以及......
本文通过对基于任务的访问控制模型的扩展，提出了一种基于活动和环境约束的访问控制模型。该模型可以用四元组{授权策略，授权约束定......
针对公路养护规范长期存在表述不够明确、与实际情况不符等问题,提出了引入数理逻辑改善规范严密性的设想,并重点考察了一阶谓词逻......
SDL 是 CCITT 推荐的一种用于描适时实系统软件的功能和行为的标准化语言.它有两种具体语法形式,图形表示法 SDL/GR 和本文表示法 ......
多agent系统中事件间的逻辑约束形成事件间的逻辑依赖关系.在分析逻辑依赖关系与一阶谓词表示法基础上,分别给出了单agent单目标、......
针对变电站操作票具有操作项目繁多、要求严格的特点,为了规范化操作票内容,开发了操作票规范化学习与考核系统。对标准操作票的具......
用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等。总结用一阶谓词逻......
