Introduction to Artificial Intelligence with a study on Finite Model Generation with SATO.