On ALSV Rules Formulation and Inference.
Grzegorz Jacek Nalepa, Antoni Ligęza · 2009
In this paper knowledge representation and inference issues for rule-based systems are discussed. The paper deals with improving the logical calculus of Set Attributive Logic founding an expressive rule language XTT 2. Representation extensions are introduced, and practical inference rules provided. The original includes an extended state specification, as well as interpreter design. Examples of rule analysis are given. Visual design tool HQed assuring rule quality is also presented.