Title: Rule-based systems for finite domains: applications to intelligent control systems