Chapter 4 describes a number of algorithms for learning symbolic rules. The following links point to software that can be used to explore some of the ideas and techniques for rule learning.
ID3 and C4.5 algorithms
ID3 Lisp code
C4.5 Lisp code
C4.5 code for UNIX