Read without ads and support Scribd by becoming a Scribd Premium Reader.

Language:

Download

Go BackAdd Note

Link

Embed

Save for later

Ch¬ng 1

Tæng quan vÒ khoa häc trÝ tuÖ nh©n t¹o

I. LÞch sö ph¸t triÓn cña khoa häc trÝ tuÖ nh©n t¹o

Tríc ®©y, khi nãi ®Õn trÝ tuÖ nh©n t¹o (TTNT) ngêi ta thêng quant©m ®Õn viÖc x©y dùng c¸c m¸y cã kh¶ n¨ng "

suy nghÜ

", thËm chÝ,trong mét ph¹m vi hÑp nµo ®ã cã thÓ c¹nh tranh hoÆc vît qu¸ bé n·ocon ngêi. ý tëng nµy ®· ¶nh hëng rÊt lín ®Õn çc nhµ nghiªn cøu, thóc®Èy hä t¹o dùng çc m¸y tÝnh th«ng minh, cã kh¶ n¨ng suy nghÜ vµ lµm®îc nhiÒu ®iÒu. ThÕ nhng, cho m·i ®Õn n¨m 1930 Allen Turing c«ng bènh÷ng kÕt qu¶ quan träng ®Çu tiªn khi ®ã ngêi ta m¬Ý ®i vµo nghiªncøu TTNT mét çch nghiªm tóc. Ph¸t minh cña Turing cho r»ng, ch¬ngtr×nh cã thÓ lu tr÷ trong bé nhí ®Ó sau ®ã ®îc thùc hiÖn trªn c¬ sëçc phÐp to¸n c¬ b¶n ®èi víi hai ®¹i lîng 0 vµ 1 vµ ®iÒu nµy ®· t¹o c¬së cho sù ra ®êi cña çc m¸y tÝnh hiÖn ®¹iMét sè kÕt qu¶ TTNT ®· ®¹t ®îc:

- N¨m 1956:

Ch¬ng tr×nh dÉn xuÊt kÕt luËn cña hÖ h×nh thøc ®· ®îc c«ng bè

- N¨m 1959:

Ch¬ng tr×nh chøng minh c¸c ®Þnh lý h×nh häc ph¼ng vµ ch¬ngtr×nh gi¶i c¸c bµi to¸n v¹n n¨ng

- N¨m 1960:

Ng«n ng÷ lËp tr×nh ®Çu tiªn dïng cho TTNT ra ®êi. §ã lµ ng«nng÷ LISP (List Proccessing). Tõ ®©y, khoa häc TTNT b¾t ®Çu ph¸t triÓn

- N¨m 1961:

Ch¬ng tr×nh tÝnh tÝch ph©n bÊt ®Þnh

- N¨m 1963:



C¸c ch¬ng tr×nh Heuristic



Ch¬ng tr×nh chøng minh c¸c ®Þnh lý h×nh häc kh«ng gian



Ch¬ng tr×nh ch¬i cê cña Samuel

- N¨m 1964:



Ch¬ng tr×nh gi¶i c¸c ph¬ng tr×nh ®¹i sè s¬ cÊp



Ch¬ng tr×nh trî gióp ELIZA

- N¨m 1966:

Ch¬ng tr×nh ph©n tÝch vµ tæng hîp tiÕng nãi

- N¨m 1968:



Ch¬ng tr×nh ®iÒu khiÓn Ngêi - M¸y (Robot)



Ch¬ng tr×nh häc nãi

- N¨m 1972:

Mét sù

kiÖn quan träng cña khoa häc TTNT lµ sù ra ®êi cña ng«nng÷ Prolog (Programming in Logic) cña Gi¸o s ngêi Ph¸p.

- N¨m 1981:

NhËt b¶n cã dù n¸n x©y dùng m¸y tÝnh thÕ hÖ thø 5 lÊy ng«nng÷ Prolog lµm ng«n ng÷ c¬ cë.

- Tõ n¨m 1981

trë ®i khoa häc TTNT ph¸t triÓn m¹nh vµ cã nhiÒu øng dôngthùc tÕ nh: m¸y giÆt, m¸y ¶nh, c¸c hÖ thèng nhËn d¹ng vµ xö lý tiÕng nãi , m¹ngN¬ron, tiÕp cËn mê.

- N¨m 1997:

m¸y tÝnh ch¬i cê Deep Blue cña Mü ®· ®¸nh th¾ng vua cêKasparob lµ sù chøng minh hïng hån vÒ sù ph¸t tiÓn cña TTNT

II. TiÒn ®Ò c¬ b¶n cña trÝ tuÖ nh©n t¹o

TrÝ tuÖ nh©n t¹o ra ®êi dùa trªn c¬ së lý thuÕt cña 3 lÜnh vùc sau:- Logic h×nh thøc- T©m lý häc nhËn thøc- §iÒu khiÓn häcAllen Turing lµ ngêi ®Æt nÒn mãng cho Tin häc, c¸c d¹ng cña m«h×nh m¸y tÝnh v¹n n¨ng dùa trªn nh÷ng phÐp to¸n Logic c¬ b¶n lµ and,or, not.Bøc tranh vÒ sù h×nh thµnh, híng nghiªn cøu vµ øng dông cña trÝtuÖ nh©n t¹o ®îc thÓ hiÖn nh sau:

III. §Þnh nghÜa vÒ trÝ tuÖ nh©n t¹o

TrÝ tuÖ nh©n t¹o lµ m«n häc nghiªn cøu n¨ng lùc trÝ tuÖ th«ngqua viÖc sö dông c¸c m« h×nh tÝnh to¸n. Nh÷ng vÊn ®Ò thó vÞ nhÊtcña TTNT n¶y sinh ra khi cè g¾ng b¾t chíc c¸c kh¶ n¨ng trÝ tuÖ cña conngêi, ch¼ng h¹n nh sù nh×n, sù nghe, sù sö dông ng«n ng÷ tù nhiªn . . .

T©m lý häcnhËn thøcLogic h×nhthøcXö lý danhs¸chC¸c hÖ xö lýký hiÖu

TrÝ tuÖ nh©nt¹oArtificial

§iÒu khiÓnhäcC¸c kü thuËtlËp tr×nh n©ngcaoKü thuËt vi®iÖn tö hiÖn®¹iHÖ chuyªngiaNgêi m¸yXö lý ng«nng÷ tùnhiªnC¸c hÖ thèngm¸y tÝnh ph¸ttriÓn

III

. 1. TrÝ tuÖ con ngêi:

§Õn nay, cha cã mét ®Þnh nghÜa nµo chÝnh thøc vÒ trÝ tuÖ conngêi, song cã mét sè ®Þnh nghÜa ®¸ng chó ý nh sau:



§Þnh nghÜa cña Alen Turing: TrÝ tuÖ lµ nh÷ng g× cã thÓ ®¸nh gi¸ ®îc th«ng qua c¸c phÐpkiÓm tra th«ng minh



Tõ ®iÓn B¸ch khoa: TrÝ tuÖ lµ kh¶ n¨ng- Ph¶n ¸nh mét çch thÝch hîp nh÷ng t×nh huèng míi th«ngqua hiÖu chØnh hµnh vi mét çch thÝch ®¸ng- HiÓu râ nh÷ng mèi quan hÖ qua l¹i gi÷a çc sù kiÖn cñathÕ giíi bªn ngoµi nh»m ®a ra nh÷ng hµnh ®éng phï hîp ®Ó ®¹t tíi métmôc ®Ých nµo ®ã



Çc chuyªn gia t©m lý häc cho r»ng: Ho¹t ®éng trÝ tuÖ con ngêibao gåm 4 thao t¸c sau:- X¸c ®Þnh tËp ®Ých cÇn ®¹t tíi- Thu thËp sù kiÖn vµ çc luËt suy diÔn ®Ó ®¹t tíi çc ®Ých®Æt ra- Thu gän qu¸ tr×nh suy luËn nh»m x¸c ®Þnh nhanh chãngtËp çc luËt suy diÔn cã thÓ sö dông ®Ó ®¹t tíi môc ®Ých trung giannµo ®ã.- ¸p dông çc c¬ chÕ suy diÔn cô thÓ, dùa trªn çc quatr×nh thu gän suy luËn vµ çc sù kiÖn trung gian míi ®îc t¹o ra ®Ó dÉnd¾t tõ nh÷ng sù kiÖn ban ®Çu ®i tíi nh÷ng ®Ých ®Æt ra.

I. 2. TrÝ tuÖ m¸y (Machine Intelligent)

Êu hiÖu ®Æc tr-ng ®Ó ®¸nh gi¸ trÝ tuÖ m¸y- Kh¶ n¨ng häc- Kh¶ n¨ng m« pháng qu¸ tr×nh suy diÔn cña con ngêi- Kh¶ n¨ng tæng qu¸t ho¸, trõu tîng ho¸ qu¸ tr×nh suy diÔn- Kh¶ n¨ng tù thÝch nghi- Kh¶ n¨ng tù gi¶i thÝch hµnh vi- Kh¶ n¨ng tr¸nh bïng næ tæ hîp



Mét m¸y "biÕt suy nghÜ" ph¶i lµm ®îc nh÷ng ®iÒu sau: Tríc hÕt, nã ph¶i thu nhÆt c¸c kiÕn thøc tõ m«i trêng bªnngoµi biÕn chóng thµnh "

biÓu diÔn néi t¹i