审计专家系统与数据语义正确性判别

Audit Expert System and Correctness-Distinguishing of Data Semanteme

从审计领域的实例出发 ,指出数据库的数据语义不但受到数据库完整性的约束 ,而且受到数据库应用领域的特殊约束 ,并且把判断数据库是否满足特定领域的约束问题归为对数据库数据语义的判别 .文中通过给出审计专家系统 (AuditExpertSystem ,AES)的实现方案 ,分析了审计领域对数据库的特殊约束 ,提出用规则组的知识表示方法来表达这些特殊约束 ,并给出了基于规则组的推理策略 .使用规则组知识表示方法 ,缩小了选择可用知识的范围 ,有效地降低了算法的时间复杂度 .

presents the application of audit expert system, analyses the special restrictions imposed on database in the audit bield, suggests the use of the representation method of Rule Group to represent the restrictions on data and gives an inferential strategy based on the Rule Group, and points out the use of the representation method of Rule Group decreases the range of usable knowledge to be selected and depresses effectively the time complexity of the algorithm.