基于一阶谓词逻辑的结构设计规范表示方法

1

作者 张吉松 于泽涵 赵丽华 《土木与环境工程学报（中英文）》 CSCD 北大核心 2024年第1期254-262,共9页

目前,基于BIM模型的合规性审查采用人工方式,工作量繁重且自动化程度低,开展自动合规性审查研究具有重要意义。在结构设计领域能够有效支撑规范知识表示与推理并支持设计审查自动化的设计规范表达方法有待开发。基于一阶谓词逻辑,通过... 目前,基于BIM模型的合规性审查采用人工方式,工作量繁重且自动化程度低,开展自动合规性审查研究具有重要意义。在结构设计领域能够有效支撑规范知识表示与推理并支持设计审查自动化的设计规范表达方法有待开发。基于一阶谓词逻辑,通过转译《混凝土结构设计规范》中的设计条款,提出一种结构设计规范规则表达和推理方法。该方法可实现将半结构化设计规范条款转换为结构化知识并支持灵活查询与推理,通过“谓词定义”和“函数定义”转译设计规范中语言类、表格类和计算公式类设计条款,提出两种规范条款谓词定义方式。对于语言模糊类、表后注释类和条款补充类的设计条款给出转译解决方案。提出的方法有效地解决了传统一阶谓词对于结构设计条款表示不充分和不精确的问题,进而为设计规范的计算机表达提供一种参考方法。 展开更多

关键词 结构设计规范 知识表示 一阶谓词逻辑 合规性审查 人工智能

在线阅读 下载PDF 职称材料

一阶谓词逻辑的图形推理法 被引量：6

2

作者 耿霞 张继军 李蔚妍 《计算机科学》 CSCD 北大核心 2014年第7期148-152,156,共6页

针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法... 针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。 展开更多

关键词 一阶谓词逻辑 谓词 变迁系统 图形推理 谓词-与 或图 反向推理 目标制导

在线阅读 下载PDF 职称材料

利用谓词/变迁网证明的一阶谓词逻辑命题 被引量：2

3

作者 方欢 印玉兰 徐誉尹 《计算机工程》 CAS CSCD 北大核心 2006年第23期191-192,198,共3页

研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法:图形证明法和矩阵证明法。举出一个实际的例子来说明证明思路。

关键词 网逻辑 谓词/变迁网 一阶谓词逻辑 命题证明

在线阅读 下载PDF 职称材料

PHVB:基于GEP的一阶谓词逻辑规则挖掘算法

4

作者 左劼 唐常杰 +3 位作者 陈瑜 徐开阔 林夏祥 朱军 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2008年第6期115-120,共6页

为了有效挖掘一阶谓词逻辑规则,提出了一种基于基因表达式编程(GEP)技术的挖掘算法:PHVB算法。提出了规范一阶谓词规则概念;设计了量词隐含、变元绑定策略,将一阶谓词规则挖掘问题转化为GEP算法能够解决的形式;提出了基于GEP的一阶谓词... 为了有效挖掘一阶谓词逻辑规则,提出了一种基于基因表达式编程(GEP)技术的挖掘算法:PHVB算法。提出了规范一阶谓词规则概念;设计了量词隐含、变元绑定策略,将一阶谓词规则挖掘问题转化为GEP算法能够解决的形式;提出了基于GEP的一阶谓词逻辑规则挖掘算法PHVB算法。实验结果表明,采用PHVB算法可以有效发现一阶谓词关联规则。 展开更多

关键词 一阶谓词逻辑 基因表达式编程 数据挖掘

在线阅读 下载PDF 职称材料

一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用 被引量：22

5

作者 张兴芳 孟广武 《计算机科学》 CSCD 北大核心 2005年第10期1-5,共5页

通过引进公式变元集赋值的新概念给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的有限解释真度及可数解释真度的定义,并讨论了它们的一系列性质及其在近似推理中的应用,从而为一阶谓词逻辑的近似推理理论提供了一种带度量的框架。

关键词 一阶模糊谓词逻辑 公式变元集的赋值 有限解释真度 可数解释真度 一阶谓词逻辑 模糊谓词逻辑 逻辑公式 真度 应用 可数 有限 近似推理 模糊语言

在线阅读 下载PDF 职称材料

一阶逻辑中约束求解的局部搜索法 被引量：1

6

作者 张健 《软件学报》 EI CSCD 北大核心 1998年第8期598-600,共3页

以一阶谓词逻辑为基础，讨论约束满足问题．着重研究一阶逻辑公式可满足性的局部搜索法，并与命题逻辑中的可满足性过程加以比较．以皇后问题和哈密顿回路问题为例，说明基于一阶逻辑的方法能处理较大的问题实例．

关键词 约束满足问题 一阶谓词逻辑 局部搜索 人工智能

在线阅读 下载PDF 职称材料

用于描述和验证数字电路的一阶间隔时态逻辑

7

作者 杜慧敏 韩俊刚 高德远 《西北工业大学学报》 EI CAS CSCD 北大核心 1999年第1期136-141,共6页

提出一种新的时态逻辑——一阶间隔时态逻辑（ＦＯＩＴＬ），它是扩充了间隔时间算子的一阶时态逻辑。它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。本文给出了ＦＯＩＴＬ的基本框架，并对其进... 提出一种新的时态逻辑——一阶间隔时态逻辑（ＦＯＩＴＬ），它是扩充了间隔时间算子的一阶时态逻辑。它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。本文给出了ＦＯＩＴＬ的基本框架，并对其进行了验证。 展开更多

关键词 命题时态逻辑 一阶谓词逻辑 数字电路 FOITL

在线阅读 下载PDF 职称材料

次协调逻辑——辩证逻辑形式化的阶梯 被引量：8

8

作者 桂起权 《武汉大学学报（人文科学版）》 1989年第6期24-30,共7页

【正】 “次协调逻辑”(para-consistent logic)这个术语意味着,新逻辑的协调性次于经典逻辑,但又远高于完全不协调系统。换句话说,在新逻辑中当矛盾律的有效性减弱之后,仍能保持一种稍逊的协调性。次协调逻辑是近二、三十年来兴起于国... 【正】 “次协调逻辑”(para-consistent logic)这个术语意味着,新逻辑的协调性次于经典逻辑,但又远高于完全不协调系统。换句话说,在新逻辑中当矛盾律的有效性减弱之后,仍能保持一种稍逊的协调性。次协调逻辑是近二、三十年来兴起于国际逻辑界的一种新思潮。它是作为一种颇带革命性的非经典逻辑而出现的,它允许“有意义的矛盾”进入形式演算系统,并否认矛盾律的普遍有效性,因此与数理逻辑、辩证逻辑都有密切的联系。这样,就不能不引起人们的浓厚兴趣。次协调逻辑产生于本世纪50年代,在70—80年代吸引了大批的逻辑学家、哲学家和数学家,目前已发展成一个独立的研究领域,对逻辑、哲学与集合论等学科都产生了相当的影响。巴西、澳大利亚、东欧、意大利乃至美国和苏联等国家和地区的学者都积极参与这个新领域的研究。 展开更多

关键词 次协调逻辑 矛盾律 非经典逻辑 亦此亦彼 一阶谓词逻辑 数理逻辑 逻辑学家 命题演算 演算系统 经典命题逻辑

在线阅读 下载PDF 职称材料

亲属关系的逻辑意义及其自动推理 被引量：8

9

作者 陈振宇 袁毓林 +1 位作者 张秀松 周强 《计算机工程与应用》 CSCD 北大核心 2009年第16期43-47,共5页

用一阶谓词逻辑设计了一个亲属关系的自动推理模型。首先,把亲属关系(称谓)视为谓词,相关的人物视为变元,把亲属关系和有关性质用"或"、"与"及"逆"等运算符号联结成亲属关系表达式。然后,选取11种基本的... 用一阶谓词逻辑设计了一个亲属关系的自动推理模型。首先,把亲属关系(称谓)视为谓词,相关的人物视为变元,把亲属关系和有关性质用"或"、"与"及"逆"等运算符号联结成亲属关系表达式。然后,选取11种基本的亲属关系作为亲属基元,并构造亲属基元转换和化简的九大定理,用以描写和定义其他一百多种亲属关系,从而形成亲属关系转换的核心知识库。最后,给出一种简洁的亲属关系转换算法,主要包括连接、求逆、化简和组配等运算。 展开更多

关键词 一阶谓词逻辑 亲属关系 自动推理 亲属关系表达式 求逆 化简

在线阅读 下载PDF 职称材料

基于描述逻辑的模糊软集参数转换算法

10

作者 刘海 汤庸 陈启买 《深圳大学学报（理工版）》 EI CAS 北大核心 2011年第6期495-499,共5页

通过应用模糊描述逻辑FALC(fuzzy attribute language and complement)表示问题领域和模糊软集参数知识,丰富模糊软集参数的语义;利用描述逻辑的推理能力,通过设计模糊软集转化算法,将原始模糊软集转化为符合查询决策参数语义的模糊软集... 通过应用模糊描述逻辑FALC(fuzzy attribute language and complement)表示问题领域和模糊软集参数知识,丰富模糊软集参数的语义;利用描述逻辑的推理能力,通过设计模糊软集转化算法,将原始模糊软集转化为符合查询决策参数语义的模糊软集,提高了模糊软集决策支持能力. 展开更多

关键词 计算机科学 决策支持 本体论 模糊系统 一阶谓词逻辑 模糊软集

在线阅读 下载PDF 职称材料

基于本体的多Agent自动工艺系统 被引量：5

11

作者 李文杰 冯志勇 陈钢 《天津大学学报（自然科学与工程技术版）》 EI CAS CSCD 北大核心 2004年第3期253-257,共5页

为把本体理念应用于多Agent的CAPP自动工艺系统,提出了基于本体的多Agent自动CAPP系统模型,并构造了单个Agent的基本架构;建立了该领域的零件本体库和特征本体库,采用基于RDF(S)的OIL语言对系统中的各Agent零件特征知识的语法和语义进... 为把本体理念应用于多Agent的CAPP自动工艺系统,提出了基于本体的多Agent自动CAPP系统模型,并构造了单个Agent的基本架构;建立了该领域的零件本体库和特征本体库,采用基于RDF(S)的OIL语言对系统中的各Agent零件特征知识的语法和语义进行详细的描述与注释,并利用一阶谓词逻辑对各Agent之间本体转换规则的语法和语义加以描述;最后通过实例验证了本体的功能和转换规则的智能推理机制,从而很好地满足多Agent自动工艺系统之间零件特征知识共享、复用和互操作的需求,同时对其它领域知识信息的处理也有着很好的借鉴意义. 展开更多

关键词 多AGENT 自动工艺系统 零件特征 CAPP 本体交换语言 一阶谓词逻辑 智能推理机制

在线阅读 下载PDF 职称材料

角色转授权模型中授权冲突问题的解决方案 被引量：2

12

作者 孙伟 邬长安 王瑞民 《计算机工程与应用》 CSCD 北大核心 2008年第36期244-248,共5页

针对现有用户-用户的角色转授权模型存在授权冲突问题,基于转授权的组件、相关性质以及约束规则,提出了一种约束转授权模型,该模型满足最小特权和职责分离两安全原则,给出了该模型的体系架构和功能描述;以此模型为背景介绍了一种约束描... 针对现有用户-用户的角色转授权模型存在授权冲突问题,基于转授权的组件、相关性质以及约束规则,提出了一种约束转授权模型,该模型满足最小特权和职责分离两安全原则,给出了该模型的体系架构和功能描述;以此模型为背景介绍了一种约束描述语言及其形式化语义描述;通过规约算法和构造算法论证了它与严格形式上的一阶谓词逻辑是等价的,并对该约束语言的合理性和完整性进行了讨论;最后用该约束语言给出了模型的表现能力,较好的解决了转授权冲突问题。 展开更多

关键词 基于角色的访问控制 转授权冲突 约束规则 约束描述语言 一阶谓词逻辑

在线阅读 下载PDF 职称材料

客运专线综合运营调度系统agent知识描述 被引量：2

13

作者 王宏刚 张一军 《中国铁道科学》 EI CAS CSCD 北大核心 2010年第3期115-119,共5页

根据客运专线综合运营调度系统结构,为建立系统知识库,将客运专线的运输环境分为静态环境和动态环境。静态环境包括车站顺序关系、站场配置和列车运行计划。动态环境包括列车、车站、线路和自然环境。按照知识工程思想和anget理论,采用... 根据客运专线综合运营调度系统结构,为建立系统知识库,将客运专线的运输环境分为静态环境和动态环境。静态环境包括车站顺序关系、站场配置和列车运行计划。动态环境包括列车、车站、线路和自然环境。按照知识工程思想和anget理论,采用一阶谓词逻辑和映射分别对静态环境和动态环境进行形式化描述,给出推理规则的形式化描述。在仿真系统中推理规则采用IF-THEN形式存储,agent采用数据驱动的方式进行推理。仿真结果表明,采用一阶谓词和映射对agent的知识进行描述是可行的。 展开更多

关键词 客运专线 综合运营调度系统 运输环境 推理规则 一阶谓词逻辑 映射

在线阅读 下载PDF 职称材料

开发等式比较SQL查询语句的一种模型推理方法 被引量：1

14

作者 杨波 薛锦云 《计算机工程与应用》 CSCD 北大核心 2007年第22期99-102,164,共5页

尝试将模型推理引入一类典型的SQL查询语句(等式比较SQL查询语句)的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性。提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓... 尝试将模型推理引入一类典型的SQL查询语句(等式比较SQL查询语句)的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性。提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓词逻辑表达式与等式比较SQL查询语句的对应关系;总结了开发过程的三个步骤;形成了一种开发等式比较SQL查询语句的模型推理方法;并且按照由简单到复杂的顺序给出了两个应用实例。 展开更多

关键词 等式比较 SQL查询语句 模型推理 一阶谓词逻辑

在线阅读 下载PDF 职称材料

基于分布RDF(S)模型的信息查询与集成 被引量：2

15

作者 李剑 《软件学报》 EI CSCD 北大核心 2008年第2期369-378,共10页

在Web应用环境中,可以通过RDF(S)形式描述企业领域内分布信息资源的语义,以提高信息查询的准确性.提出了描述分布异构RDF(S)的分布RDF(S)模型,并基于这一模型给出了实现分布RDF(S)查询的方法,此查询方法既能实现实例层次的查询,也能实... 在Web应用环境中,可以通过RDF(S)形式描述企业领域内分布信息资源的语义,以提高信息查询的准确性.提出了描述分布异构RDF(S)的分布RDF(S)模型,并基于这一模型给出了实现分布RDF(S)查询的方法,此查询方法既能实现实例层次的查询,也能实现概念层次的查询.基于这一方法,用户能够以统一的形式来查询,获取相关的信息资源,同时还可以实现分布RDF(S)的集成. 展开更多

关键词 RDF(resource DESCRIPTION framework) RDF SCHEMA 分布一阶谓词逻辑 分布信息集成

在线阅读 下载PDF 职称材料

一种电路板智能审查方法

16

作者 臧明相 王甜甜 黄战武 《计算机工程》 CAS CSCD 北大核心 2011年第7期265-267,共3页

为避免因电路板设计出错而发生的加工制造性错误,提出一种电路板加工前的智能审查方法。该方法使用一阶谓词逻辑和隶属函数所表示的设计审查规则,以知识库为基础,利用设计的审查模型对多种EDA设计软件的多层加工制造数据进行提取和审查... 为避免因电路板设计出错而发生的加工制造性错误,提出一种电路板加工前的智能审查方法。该方法使用一阶谓词逻辑和隶属函数所表示的设计审查规则,以知识库为基础,利用设计的审查模型对多种EDA设计软件的多层加工制造数据进行提取和审查,以直观、可视化的方式显示审查结果。实验结果证明该方法具有可行性且查错率高。 展开更多

关键词 电路板 智能审查 一阶谓词逻辑 审查模型

在线阅读 下载PDF 职称材料

广义量词理论述评

17

作者 张维真 《中州学刊》 CSSCI 北大核心 1994年第6期52-55,84,共5页

广义量词理论述评张维真（天津市委党校）通常，现代逻辑只研究和运用两类量词：全称量词和存在量词，广义量词理论则对逻辑量词进行了充分的推广，从而极大地提高了逻辑的表达能力。广义量词理论始于五十年代末期，但它发展很快，已成... 广义量词理论述评张维真（天津市委党校）通常，现代逻辑只研究和运用两类量词：全称量词和存在量词，广义量词理论则对逻辑量词进行了充分的推广，从而极大地提高了逻辑的表达能力。广义量词理论始于五十年代末期，但它发展很快，已成为数理逻辑中一个相对独立的研究领域... 展开更多

关键词 广义量词 全称量词 自然语言逻辑 一阶逻辑 逻辑量词 存在量词 表达能力 一阶谓词逻辑 逻辑系统 限定词

在线阅读 下载PDF 职称材料

安全报警融合环境中信息的关联 被引量：2

18

作者 刘靖 刘建伟 +2 位作者 张铁林 陈建华 刘芋存 《计算机工程与应用》 CSCD 北大核心 2011年第25期107-111,125,共6页

网络中各个安全产品各自为阵,难以满足全方位集成防御体系的需求,信息融合是安全技术的发展趋势。基于分层融合的思想提出SAFE(Security Alerts Fusion Environment),对安全报警信息进行融合,采用一阶谓词逻辑,从网络安全行为描述和关... 网络中各个安全产品各自为阵,难以满足全方位集成防御体系的需求,信息融合是安全技术的发展趋势。基于分层融合的思想提出SAFE(Security Alerts Fusion Environment),对安全报警信息进行融合,采用一阶谓词逻辑,从网络安全行为描述和关联规则等方面叙述报警信息的关联。SAFE生成简洁直观的综合性安全信息,为安全事件响应决策提供有效支持。 展开更多

关键词 安全报警融合环境(SAFE) 分层融合 关联 一阶谓词逻辑

在线阅读 下载PDF 职称材料

SDSS中空间知识库系统模型的设计 被引量：1

19

作者 史文琦 邵伟民 +1 位作者 井文涛 董少军 《计算机工程》 CAS CSCD 北大核心 2002年第1期83-84,256,共3页

提出并实现了一个适用于智能化空间决策支持系统的空间知识库系统模型。在本知识库系统模型中,知识表示采用一阶谓词(SDSS)逻辑和案例两者相结合的方式。对于不同的知识表示方式,实现了相应的知识推理机制及相互间的切换。在此基础上,... 提出并实现了一个适用于智能化空间决策支持系统的空间知识库系统模型。在本知识库系统模型中,知识表示采用一阶谓词(SDSS)逻辑和案例两者相结合的方式。对于不同的知识表示方式,实现了相应的知识推理机制及相互间的切换。在此基础上,还设计实现了对案例知识的学习与获取方法。 展开更多

关键词 空间决策支持系统 空间知识库系统模型 一阶谓词逻辑 案例推理 SDSS 地理信息系统 专家系统

在线阅读 下载PDF 职称材料

中文专利文献摘要的知识表示 被引量：1

20

作者 郑红 胡思康 《山东科技大学学报（自然科学版）》 CAS 2015年第5期104-108,共5页

在分析与领域相关的中文专利文献摘要内容和结构的基础上,提出用三元组语义网络表示知识以及知识间的语义关系,并用一阶谓词逻辑分析语义三元组的语义。推导出专利文献知识融合将要面临的问题,包括句法分析后获取的描述性知识的不一致... 在分析与领域相关的中文专利文献摘要内容和结构的基础上,提出用三元组语义网络表示知识以及知识间的语义关系,并用一阶谓词逻辑分析语义三元组的语义。推导出专利文献知识融合将要面临的问题,包括句法分析后获取的描述性知识的不一致、信息的补足、冗余的发现和模糊信息的处理等。研究成果为后续中文专利文献知识融合分析和推理奠定了基础。 展开更多

关键词 知识表示 中文专利文献 三元组语义网络 一阶谓词逻辑 本体

在线阅读 下载PDF 职称材料