• Think rationally
  The goal is to formalize the reasoning process, producing a system that contains logical inference mechanisms that are provably correct, and guarantee finding an optimal solution. This brings up the question: How do we represent information that will allow us to do inferences like the following one?

               "Socrates is a man.
               All men are mortal.
               Therefore Socrates is mortal." -- Aristotle
  

  Problem : Not all problems can be solved just by reasoning and inferences.

This is the Laws of Thought approach. It tells us the kind of behavior we want, but not how to do it.

Logic gives us the notation and rules for correct derivation of thoughts. Aristotle and the ancient Greek philosophers made much progress on the subject of correct arguments and thought processes. Their work established the foundation of modern science, mathematics and philosophy.

Problems:

• Not all intelligent behavior is mediated by logical deliberation
  
• What is the purpose of thinking? What thoughts should I have?
  
• Logical systems tend to do the wrong thing in the presence of uncertainty