一种基于规则的语言的公理语义

doi:10.3778/j.issn.1002-8331.2008.20.027

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (20): 86-88.DOI: 10.3778/j.issn.1002-8331.2008.20.027

一种基于规则的语言的公理语义

魏振春^1,2,韩江洪^1,2,陆阳^1,2,刘小平¹

1.合肥工业大学计算机与信息学院，合肥 230009
2.教育部安全关键工业测控技术工程研究中心，合肥 230009

收稿日期:2007-10-08 修回日期:2007-12-24 出版日期:2008-07-11 发布日期:2008-07-11
通讯作者: 魏振春

Axiomatic semantics of rule-based language

WEI Zhen-chun^1,2,HAN Jiang-hong^1,2,LU Yang^1,2,LIU Xiao-ping¹

1.School of Computer & Information，Hefei University of Technology，Hefei 230009，China
2.Engineering Research Center of Safety Critical Industrial Measurement and Control Technology，Ministry of Education，Hefei 230009，China

Received:2007-10-08 Revised:2007-12-24 Online:2008-07-11 Published:2008-07-11
Contact: WEI Zhen-chun

摘要/Abstract

摘要： 为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序，提出了一种基于规则的语言——逻辑规则描述语言（LRDL）。用EBNF给出了LRDL的语法定义，基于Hoare逻辑的公理系统，形式化地给出并证明了LRDL的公理语义，为用LRDL编写的程序的正确性证明提供了理论依据。

关键词: 规则, 逻辑规则描述语言, 公理语义, Hoare逻辑, 形式语法

Abstract: In order to exactly describe logic relations among objects of discrete event control systems and write programs，a rule-based language，Logic Rule Description Language（LRDL） is put forward.Formal syntax of LRDL is defined by EBNF.Axiomatic semantics of LRDL is presented and proved formally based on axiomatic system of Hoare logic，which offers theoretical basis for the proof of the correctness of programs written with LRDL.

Key words: rule, Logic Rule Description Language（LRDL）, axiomatic semantics, Hoare logic, formal syntax

魏振春^1,2,韩江洪^1,2,陆阳^1,2,刘小平¹. 一种基于规则的语言的公理语义[J]. 计算机工程与应用, 2008, 44(20): 86-88.

WEI Zhen-chun^1,2,HAN Jiang-hong^1,2,LU Yang^1,2,LIU Xiao-ping¹. Axiomatic semantics of rule-based language[J]. Computer Engineering and Applications, 2008, 44(20): 86-88.

[1]	刘藤，陈恒，李冠宇. 联合FOL规则的知识图谱表示学习方法[J]. 计算机工程与应用, 2021, 57(4): 100-107.
[2]	宋浩楠，赵刚，王兴芬. 融合知识表示和深度强化学习的知识推理方法[J]. 计算机工程与应用, 2021, 57(19): 189-197.
[3]	童文林，陈德旺，黄允浒，吕宜生. 结合模拟退火与规则约简的模糊系统优化方法[J]. 计算机工程与应用, 2021, 57(16): 142-150.
[4]	孟晓娟，张月琴，郝晓丽，吕进来. 多分类深度卷积生成对抗网络的皮带撕裂检测[J]. 计算机工程与应用, 2021, 57(16): 269-275.
[5]	张振海，张湘婷. 上下文感知的高铁信息服务推荐方法研究[J]. 计算机工程与应用, 2021, 57(12): 231-236.
[6]	杨葛英，沈夏炯，史先进，张磊. 以概念格为背景的关联规则可视化[J]. 计算机工程与应用, 2021, 57(1): 84-91.
[7]	袁顺杰，程辉，叶贞成，程培鑫. SOM-T2 FLS在股市预测中的应用研究[J]. 计算机工程与应用, 2020, 56(7): 130-136.
[8]	杜雨菲，吴保国，陈栋. 基于产生式规则的乔灌木识别推理算法研究[J]. 计算机工程与应用, 2020, 56(5): 242-250.
[9]	李建，习文风. 钻井液设计专家系统规则库的检测算法[J]. 计算机工程与应用, 2020, 56(4): 256-261.
[10]	纪文璐，王海龙，苏贵斌，柳林. 基于关联规则算法的推荐方法研究综述[J]. 计算机工程与应用, 2020, 56(22): 33-41.
[11]	王卉，李英顺. 改进型证据更新规则的动态故障诊断算法[J]. 计算机工程与应用, 2020, 56(2): 261-265.
[12]	顾军华，苏鸣，张亚娟，张丹红. 基于位编码链表的快速频繁模式挖掘算法研究[J]. 计算机工程与应用, 2020, 56(19): 86-93.
[13]	张孝，孙一铭，吴旭峰. 查询感知的关系-图数据库自适应存储技术研究[J]. 计算机工程与应用, 2020, 56(17): 100-108.
[14]	杨颖，王珺，王刚. 基于改进的Random Subspace的客户投诉分类方法[J]. 计算机工程与应用, 2020, 56(13): 230-235.
[15]	王诗宇，刘洪星，范家佳. 移动用户界面概念模型到代码的转换方法研究[J]. 计算机工程与应用, 2020, 56(10): 240-245.

一种基于规则的语言的公理语义

Axiomatic semantics of rule-based language

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics