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