Artificial Intelligence and Optimization
Artificial Intelligence (AI), and automated problem solving have been the epitome of computer science for many decades. While some of the lofty goals of completely automated reasoning have not come to pass, AI has nevertheless cemented its place as one of a number of useful techniques to bear on a hard problem. In this chapter we discuss tried and proven open-source tools and libraries which implement AI concepts. The tools include CLIPS (expert system) and ACL2 (theorem prover). The libraries include simulated annealing, genetic algorithm, machine learning using SVM and general backtracking.
KeywordsGenetic Algorithm Support Vector Machine Simulated Annealing Expert System Theorem Prover
Unable to display preview. Download preview PDF.