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

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.

• Type: Conference
• Year: 2007
• Where: FLAIRS
• Authors: Antoni Ligeza, Grzegorz J. Nalepa
• Keywords: Artificial Intelligence, Atomic Values, Classical Attributive Logic, FLAIRS 2007, Logic Set Values