Paper Info
Title
The automated analysis of rule-based systems, based on their procedural semantics
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.
Year
Venue
Keywords
1991
IJCAI
abstract domain,abstract interpretation,abstract description,rule base,procedural semantics,rule-based system,input-output mapping,conflict resolution,closed-world negation,concrete domain,automated analysis,control information,input output,rule based,search space,rule based system
Field
DocType
ISBN
Conflict resolution strategy,Rule-based system,Negation,Computer science,Abstract interpretation,Conflict resolution,Theoretical computer science,Artificial intelligence,Inference engine,Machine learning,Semantics
Conference
1-55860-160-0
Citations 
PageRank 
References 
5
1.00
9
Authors
1
Name
Order
Citations
PageRank
Rick Evertsz1224.31