A formal system for constructing artificial intelligent software agents from the book Design of Logic-based Intelligent Systems covering such topics as production rules neural nets support vector machines fuzzy logic and Bayesian networks License is given through purchase of the book alone COMM