The Automated Analysis of Rule-based Systems, Based on their Procedural Semantics
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Architectures & Languages. Pages 22-28.
Abstract
This paper describes a method of analysing rule-based systems, which models the procedural semantics of such languages. Through a process of 'abstract interpretation', the program, AbsPS, derives a description of the mapping between a rule base's inputs and outputs. In contrast to earlier approaches, AbsPS can analyse the effects of: conflict resolution, closed-world negation and the retraction of facts. This considerably reduces the size of the search space because, in the abstract domain, AbsPS takes advantage of the very same control information which guides the inference engine in the concrete domain. AbsPS can detect redundancies which would be missed if the procedural semantics were ignored. Furthermore, the abstract description of a rule base's input-output mapping can be used to prove that the rule base meets its specification.
@inproceedings{ijcai1991p4,
title = {The Automated Analysis of Rule-based Systems, Based on their Procedural Semantics},
author = {Evertsz, Rick},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {22--28},
year = {1991},
month = {8},
note = {Architectures & Languages},
url = {https://ijcai.org/proceedings/1991/4},
}
TY - CPAPER TI - The Automated Analysis of Rule-based Systems, Based on their Procedural Semantics AU - Evertsz, Rick T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 22 EP - 28 UR - https://ijcai.org/proceedings/1991/4 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
