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

作者：魏振春 韩江洪 陆阳 刘小平规则逻辑规则描述语言公理语义hoare逻辑形式语法

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社