Artificial Intelligence and Optimization

  • Sandeep KoranneEmail author


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.


Genetic Algorithm Support Vector Machine Simulated Annealing Expert System Theorem Prover 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2011

Authors and Affiliations

  1. 1.West LinnUSA

Personalised recommendations