The emergence of the theory of artificial intelligence
Keywords:
artificial intelligence, logic, logical inference axiomatic method deductionAbstract
The most famous scientists of the past worked on the problem of artificial intellect and continue to engage scientists today. They studied the problem under different names, but one thing united all their work : the desire to prove the truth of knowledge and describe human cerebral activity by means of algorithms of mathematics and logic. In the article discusses some of the highlights of becoming science of artificial intelligence.
References
Нікольський Ю.В., Пасічник В.В., Щербина Ю.М. Дискретна математика: Підручник. — Львів: «Магнолія 2006», 2007. — 608 с.
Глибовець М.М., Олецький О.В. Штучний інтелект. — К.: Академія, 2002. — 336 с.
Олексій Григорович Івахненко: Життєвий і творчий шлях ученого / Під ред. В. С. Степашка. — Київ: МННЦ ІТС НАНУ та МОНУ. — 2003. — 29 с.
