Knowledge Representation with Granular Attributive Logic for XTT-based Expert Systems

Antoni Ligeza, Grzegorz Nalepa

This paper presents an extension of classical attributive logic using atomic values of attributes. In the proposed logic set values are allowed and various relational symbols are used to form atomic formulae. The proposed language provides a concise and elegant tool for design, implementation and verification of rule-based systems.

Subjects: 11. Knowledge Representation; 1.7 Expert Systems

Submitted: Feb 8, 2007

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.