AAAI Publications, Twenty-Second International FLAIRS Conference

Font Size: 
On ALSV Rules Formulation and Inference
Grzegorz Jacek Nalepa, Antoni Ligeza

Last modified: 2009-03-18

Abstract


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 XTT2. Representation extensions are introduced, and practical inference rules provided. The original includes an extended state specification, as well as interpreter design. xamples of rule analysis are given. Visual design tool HQed assuring rule quality is also presented.

Full Text: PDF