Abstract— This paper presents a study about the software Macsyma. Specifically, the architecture, knowledge representation, inference techniques, application examples, technologyand products of this system. The key point is the study about an expert system and learn more in discipline of Artificial Intelligence the ob!ecti"e is research a lot of rele"ant information o"er Macsyma. Keywords— Macsyma, expert system, artificial intelligence. I. INTRODUÇÃO M acsyma, foi um sistema interativo simbólico-numrico-!r"fico #e "l!ebra com$utacional $ara a%u#ar a resolver $roblemas matem"ticos com$le&os'(). *asea#o na tecnolo!ia #a m"+uina is$ #o MIT, foi bem con eci#o e am$lamente utili a#o. O $ro%eto #o MIT +ue $ro#u iu o Macsyma correu #e (/01 a cerca #e (/23. 4oi $romovi#o $or a!5ncias #o !overno, como 6R76, N686, DO9, bem como al!uns colabora#ores in#ustriais. 6s $essoas encarre!a#as #o $ro%eto o ven#eram $ara a 8ymbolics Inc. uma licen:a ;e&clusiva; $ara comerciali "-lo. Mais tar#e, os #ireitos foram ven#i#os $ara a Macsyma Inc. +ue a!ora est" $ara#a '3). <om o intuito #e a$ren#i a!em sobre sistemas es$ecialistas, maises$ecifica#amente o Macsyma, reali amos al!umas $es+uisas sobre este soft=are. Dentre elas, ar+uitetura #o sistema, re$resenta:>o #o con ecimento, tcnicas #e infer5ncia, al!uns recursos e e&em$los #e a$lica:>o sobre tecnolo!ias e $ro#utos a res$eito #o Macsyma. II. 6r+uitetura #o macsyma 6. *ase #e <on ecimento O M6<8?M6 consiste em centenas #e mil ares #e $alavras com$ila#as em I87 e uma +uanti#a#e i!ual escrita na lin!ua!em #e $ro!rama:>o #o M6<8?M6. Isso o fe ser um #os maiores $ro!ramas em I87 #e to#os os tem$os '@). O M6<8?M6 #etm uma !ran#e +uanti#a#e #e con ecimento $ro!ram"vel embuti#o, $or isso consi#era#o um $ro!rama basea#o no con ecimento. M6<8?M6 um sistema e&tremamente !ran#e, ele conse!ue e&ecutar $elo menos 0AA o$era:Bes matem"ticas #iferentes, incluin#o C?. M. 6. O a#a, Universi#a#e 4e#eral #e UberlEn#ia FU4UG, UberlEn#ia, Minas Herais, *rasil. <. 6. *or!es, Universi#a#e 4e#eral #e UberlEn#ia FU4UG, UberlEn#ia, Minas Herais, *rasil. .T. 7ereira ,Universi#a#e 4e#eral #e UberlEn#ia FU4UG, UberlEn#ia, Minas Herais, *rasil. 7.J.<. 6lves ,Universi#a#e 4e#eral #e UberlEn#ia FU4UG, UberlEn#ia, Minas Herais, *rasil. M.I. 8ou a, Universi#a#e 4e#eral #e UberlEn#ia FU4UG, UberlEn#ia, Minas Herais, *rasil. #iferenciais, inte!rais, solu:>o #e e+ua:B e+ua:Bes, sries #e Taylor, o$era:Bes com matr vetorial, e outras an"lises, +ue ser>o abor# no trabal o '@). 7ara a or!ani a:>o e re$rese utili a#a as Re!ra #e 7ro#u:>o 'K). *. Lua#ro Ne!ro O +ua#ro ne!ro a "rea #e trabal o +ue o sis #urante o $rocesso #e infer5ncia. Nesta "rea s informa:Bes #e a$oio e su$orte ao funcionament +uan#o este est" raciocinan#o. 9ste lu!ar na me #estina#o $ara fa er avalia:Bes #as re!ras +ue #a base #e con ecimento $ara se c e!ar a uma s informa:Bes s>o !rava#as e a$a!a#as #e u infer5ncia at se c e!ar solu:>o #ese%a#a. 89 usem o +ua#ro ne!ro, nem to#os o e&$licitam com$onente #o sistema, como o M6<8?M6 'K). <. M"+uina #e Infer5ncia 6 m"+uina #e infer5ncia o mecanismo +ue $ro res$ostas na base #e con ecimento. 9la busca as re!ras necess"rias a serem avalia#as e or#ena-as #e u ló!ica. 6 $artir #a , #ireciona o $rocesso #e infer5ncia. 4unciona como um su$ervisor, +ue #iri!e a o$er con ecimento conti#o no M6<8?M6. Uma m"+uina #e infer5ncia toma #ecisBes e %ul!amentos basea#o simbólicos conti#os na base #e con ecimen b"sicas #a m"+uina #e infer5ncia s>o inf De$ois #e inicia#o o sistema, a m"+uina #e inf na base #e con ecimento fatos e re!ras, e ent> fatos com as informa:Bes forneci#as $elo usu"r #a m"+uina #e infer5ncia basea#a em al!oritmos +ue #efinem a busca es$ec fica e a unifica:>o #e re!ras. *asicamente, a m"+uina #e infer5ncia com$ forneci#a $elo usu"rio com as re!ras conti#as con ecimento buscan#o combina:Bes 'K). III. Re$resenta:>o #o con ecimento O termo re!ras #e $ro#u:>oP usa#o $ara #es fam lia #e sistemas, +ue tem em comum o fato # constitu #os #e um con%unto #e re!ras, +ue reQ e a:Bes. 6 con#i:>o constitu #a $orum $a#r>o +ue #etermina a a$licabili#a#e #a re!ra, en+uanto +ue ser" reali a#o +uan#o a re!ra for a$lica#a O Macsyma usa um sistema #e $ro#u:>o. O mesmo ser forma#o $or uma ou mais bases #e r se!un#o as conveni5ncias #e $rocessamento. <om ain#a, o sistema #e $ro#u:>o, uma estrat estabelecen#o as $riori#a#es em +ue as re!ras bem como critrios #e #esem$ate +uan#o ouver can#i#atas a$lica:>o a um tem$o só. ' ) 8ua estrutura constitui-se basicamente #e uma con%unto #e $remissas, e uma conclus>o, conclusBes. 6s re!ras s>o arma ena#as como uma #eclara:Bes 89-9NTÃO F89, sen#o $remissas conclusBesG. On#e a $arte con#icional consiste #e uma e&$ress>o $ro$osicional ou sim$lesmente um ter ?.M.6. O a#a, <. 6. *or!es, .T. 7ereira, 7.J.<. 6lves an# M. 6 stu#y about Macsyma