Axiomatic semantics of rule-based language

doi:10.3778/j.issn.1002-8331.2008.20.027

Computer Engineering and Applications ›› 2008, Vol. 44 ›› Issue (20): 86-88.DOI: 10.3778/j.issn.1002-8331.2008.20.027

• 研发、设计、测试 • Previous Articles Next Articles

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

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

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

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

通讯作者: 魏振春

Abstract

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

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

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

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

[1]	LIU Teng, CHEN Heng, LI Guanyu. Knowledge Graph Representation Learning Method Jointing FOL Rules [J]. Computer Engineering and Applications, 2021, 57(4): 100-107.
[2]	SONG Haonan, ZHAO Gang, WANG Xingfen. Knowledge Reasoning Method Combining Knowledge Representation with Deep Reinforcement Learning [J]. Computer Engineering and Applications, 2021, 57(19): 189-197.
[3]	MENG Xiaojuan, ZHANG Yueqin, HAO Xiaoli, LYU Jinlai. Multi-class Deep Convolutional Generative Adversarial Networks for Belt Tear Detection [J]. Computer Engineering and Applications, 2021, 57(16): 269-275.
[4]	TONG Wenlin, CHEN Dewang, HUANG Yunhu, LYU Yisheng. Fuzzy System Optimization Method Based on Simulated Annealing and Rule Reduction [J]. Computer Engineering and Applications, 2021, 57(16): 142-150.
[5]	ZHANG Zhenhai，ZHANG Xiangting. Context-Aware Information Service Recommendation Method for High-Speed Rail [J]. Computer Engineering and Applications, 2021, 57(12): 231-236.
[6]	YANG Geying, SHEN Xiajiong, SHI Xianjin, ZHANG Lei. Visualization of Association Rules in Context of Concept Lattices [J]. Computer Engineering and Applications, 2021, 57(1): 84-91.
[7]	CHEN Guang, JIANG Tonghai, WANG Meng, TANG Xinyu, JI Wenfei. Custom SWRL Knowledge Graph Completion Reasoning Built-ins Implementation Method [J]. Computer Engineering and Applications, 2021, 57(1): 261-270.
[8]	YUAN Shunjie, CHENG Hui, YE Zhencheng, CHENG Peixin. Application of SOM-T2 FLS in Stock Market Forecasting [J]. Computer Engineering and Applications, 2020, 56(7): 130-136.
[9]	DU Yufei, WU Baoguo, CHEN Dong. Study of Trees and Shrubs Recognition Inference Algorithm Based on Production Rules [J]. Computer Engineering and Applications, 2020, 56(5): 242-250.
[10]	LI Jian, XI Wenfeng. Detection Algorithm for Rule Base of Drilling Fluid Design Expert System [J]. Computer Engineering and Applications, 2020, 56(4): 256-261.
[11]	JI Wenlu, WANG Hailong, SU Guibin, LIU Lin. Review of Recommendation Methods Based on Association Rules Algorithm [J]. Computer Engineering and Applications, 2020, 56(22): 33-41.
[12]	GU Junhua, SU Ming, ZHANG Yajuan, ZHANG Danhong. Research on Fast Frequent Pattern Mining Algorithm Based on Bitmap-Code List [J]. Computer Engineering and Applications, 2020, 56(19): 86-93.
[13]	ZHANG Xiao, SUN Yiming, WU Xufeng. Research on Query-Aware Relation-Graph Database Adaptive Storage Technology [J]. Computer Engineering and Applications, 2020, 56(17): 100-108.
[14]	YANG Ying, WANG Jun, WANG Gang. Customer Complaints Classification Method Based on Improved Random Subspace [J]. Computer Engineering and Applications, 2020, 56(13): 230-235.
[15]	WANG Shiyu, LIU Hongxing, FAN Jiajia. Research on Transformation Method from Mobile User Interface Conceptual Model to Code [J]. Computer Engineering and Applications, 2020, 56(10): 240-245.

Axiomatic semantics of rule-based language

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics