XTT+ Rule Design Using the ALSV(FD)

This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressive power of simple attributive languages so that it becomes satisfactory for complex applications, including the business rules support. A formal framework of extended Attributive Logic with Set Values over Finite Domains (ALSV(FD)) is presented and specific inference rules are provided with their corresponding prototype in PROLOG.

• Type: Conference
• Year: 2008
• Where: ECAI
• Authors: Grzegorz J. Nalepa, Antoni Ligeza
• Keywords: Artificial Intelligence, Attributive Logic, ECAI 2008, Set Attributive Logic, Simple Attributive Languages