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.