 Artificial intelligence is based on the assumption that the process of human thought can be mechanized . The study of mechanical — or " formal " — reasoning has a long history . Chinese , Indian and Greek philosophers all developed structured methods of formal deduction in the first millennium BCE . Their ideas were developed over the centuries by philosophers such as Aristotle ( who gave a formal analysis of the syllogism ) , Euclid ( whose Elements was a model of formal reasoning ) , Muslim mathematician al @-@ Khwārizmī ( who developed algebra and gave his name to " algorithm " ) and European scholastic philosophers such as William of Ockham and Duns Scotus . 
 Artificial intelligence is based on the assumption that the process of human thought can be mechanized . The study of mechanical — or " formal " — reasoning <a href='got' title='1'><mark>has</mark></a> a long history . Chinese , Indian and Greek philosophers all developed structured methods of formal deduction in the first millennium BCE . Their ideas <a href='uninflect' title='2'><mark>were</mark></a> developed over the centuries by philosophers such as Aristotle ( <a href='null_relcl' title='3'><mark>who</mark></a>gave a formal analysis of the syllogism ) , Euclid ( whose Elements was a model of formal reasoning ) , Muslim mathematician al @-@ Khwārizmī ( <a href='null_relcl' title='4'><mark>who</mark></a>developed algebra and gave his name to " algorithm " ) and European scholastic philosophers such as William of Ockham and Duns Scotus . 
Artificial intelligence is based on the assumption dat the process of human thought can b mechanized . da study of mechanical — or " formal " — reasoning got a long history . Chinese , Indian and Greek philosophers all developed structured methods of formal deduction in the first millennium BCE . Their ideas was developed ova tdacenturies by philosophers such as Aristotle ( gave a formal analysis of thdayllogism ) , Euclid ( whose Elements was a model of formal reasoning ) , Muslim mathematician al @-@ Khwārizmī ( developed algebra and gave his name to " algorithm " ) and European scholastic philosophers such as William of Ockham and Duns Scotus .