10 famous systems

Upload: manisha9735

Post on 13-Apr-2018

225 views

Category:

Documents


0 download

TRANSCRIPT

  • 7/26/2019 10 Famous Systems

    1/32

    B. Ross Cosc 4f79 1

    Famous Expert Systems

    Before expert systems ("in the beinnin..."!

    #etai$e% &peration 'roce%ures (#&'s!) use% by aeronautics in%ustry an% *+S+, they are expert -no$e%e co%ifie% in ritten form.

    / *ot imp$emente% on a computer. 0oeer, usin a #&' is $i-e manua$$y fo$$oin an a$orithm by han%

    (ini2io p.49!

    0euristic prorammin) use heuristics to so$e $are, comp$excomputationa$ prob$ems (ear$y 193s!

    / Controersy hether expert systems are 5ust examp$es of heuristicprorammin

  • 7/26/2019 10 Famous Systems

    2/32

    B. Ross Cosc 4f79 6

    1. #E*#R+

    First expert system

    'ro5ect bean at Stanfor% in mi% 193s, an% is sti$$ bein use%.

    #omain) &ranic chemistry / mass spectrometry

    8as-) i%entify mo$ecu$ar structure of un-non compoun%s from mass spectra %ata

    nput) 0istoram iin mass number:intensity pairs

    &utput) #escription of structure of the compoun%

    +rchitecture) p$an/enerate/test ith constraine% heuristic search

    8oo$s) pro%uction ru$es imp$emente% in isp

    Resu$ts) "#iscoery" of -no$e%e enineerin. ;any pub$ishe% resu$ts.

  • 7/26/2019 10 Famous Systems

    3/32

    B. Ross Cosc 4f79

    #E*#R+

    =inston p. 6

  • 7/26/2019 10 Famous Systems

    6/32

    B. Ross Cosc 4f79 3

    #E*#R+

    'roce%ure)

    1. Spectra %ata ien as input

    6. 're$iminary ana$ysis %etermines

    / necessary compoun%s // spectra %ata / forbi%%en compoun%s // spectra %ata, expert -no$e%e

  • 7/26/2019 10 Famous Systems

    7/32B. Ross Cosc 4f79 7

    #E*#R+

    Examp$e ru$e for ana$y2er)

    =inston 61

    ;atcher is ino$e%) nee%s expert -no$e%e in -noin hen some pea-s are more important than others

  • 7/26/2019 10 Famous Systems

    8/32B. Ross Cosc 4f79 @

    6. ;+CSA;+

    #ee$ope% at ;8 since 193@ onar%s

    #omain) hih/performance symbo$ic math (a$ebra, ca$cu$us,%ifferentia$ euations,...!

    8as-) carry out comp$ex mathematica$ %eriations

    nput) formu$ae an% comman%s (interactie!

    &utput) So$utions to touh prob$ems

    ;etho%) Brute force (expert techniues are enco%e% as a$orithm!

    +rchitecture) proramme% in isp (

  • 7/26/2019 10 Famous Systems

    9/32B. Ross Cosc 4f79 9

    ;+CSA;+

    p.1

  • 7/26/2019 10 Famous Systems

    10/32B. Ross Cosc 4f79 1

  • 7/26/2019 10 Famous Systems

    11/32B. Ross Cosc 4f79 11

    0E+RS+A

    Resu$ts)

    / proe% feasibi$ity of automate% speech reconition

    / pioneerin effort in system architecture techniues

    / b$ac-boar% for mu$tip$e -no$e%e sources

    / poer of symbo$ic computation oer pure$y statistica$ ones

    / Spane% other expert system pro5ects.

  • 7/26/2019 10 Famous Systems

    12/32B. Ross Cosc 4f79 16

    0E+RS+A

    0armon 1

  • 7/26/2019 10 Famous Systems

    13/32B. Ross Cosc 4f79 1 0armon

  • 7/26/2019 10 Famous Systems

    22/32

    B. Ross Cosc 4f79 66

    7. 'DFF

    #ee$ope% at Stanfor% in 1979

    #omain) #ianosis of obstructie airay %iseases usin ;AC*s inference enine an% a ne -no$e%e base

    8as-) 8a-e %ata from instruments an% %ia$o, an% %ianose type an% seerity of %isease

    nput) instruments, ueries

    &utput) =ritten report for physician to reie an% annotate

    +rchitecture) ru$e/base%, exhaustie bac-ar% chainin ith uncertainty

    8oo$s) E;AC* (Empty ;AC*!

    Resu$ts) Reports correct @3G of the time. + >>/ru$e system is in %ai$y use, runnin in Basic

  • 7/26/2019 10 Famous Systems

    23/32

    B. Ross Cosc 4f79 61 0armon

  • 7/26/2019 10 Famous Systems

    25/32

    B. Ross Cosc 4f79 6>

    @. HC&* (R1!

    &riina$$y ca$$e% R1, %ee$ope% at Carneie ;e$$on an% #EC in $ate 7s

    #omain) confiure computer har%are

    8as-) confiure I+H systems by pro5ectin the nee% for subassemb$ies ien a hih/$ee$ %escription of the system

    nput) Iax system %escription

    &utput) $ist of parts, accessories, an% a p$an for assemb$y

    +rchitecture) forar%/chaine%, ru$e/base%, ith a$most no bac-trac-in

    8oo$s) &'S>, a pro%uction system too$

    Resu$ts) Dse% by #EC an% performe% better than preious experts (since fire%!/ by 19@3, processe% tota$ of @, or%ers ith 9>/9@G accuracy/ sae% #EC J6> mi$$ion a year

  • 7/26/2019 10 Famous Systems

    26/32

    B. Ross Cosc 4f79 63

    HC&*

    p. 1>3 0armon

  • 7/26/2019 10 Famous Systems

    27/32

    B. Ross Cosc 4f79 67

    HC&*

    as of 1991, HC&* has @ (! pro%uction ru$es

    a serious prob$em has %ee$ope%) maintenance

    has been sai% that HC&* rep$ace% 7> experts ith 1> HC&* maintainers

    shos the nee% for %ee$opin better maintenance systems for $are expert systems (an% other $are softare systems!

  • 7/26/2019 10 Famous Systems

    28/32

    B. Ross Cosc 4f79 6@

    Some other famous systems #E8+:C+8S)

    / %ianose an% repair %iese$ $ocomoties / %ee$ope% in S', but porte% to F&R8R+* (a common phenomenon!

    #R*? +#IS&R)

    / %ianose oi$ %ri$$in prob$ems / ru$e/base%, exhaustie bac-ar% chainin ith uncertainty, frames

    ?E*ESS)

    / %esins mo$ecu$ar enetics experiments an% proce%ures / as use% by oer > research scientists

    ?+8ES)

    / air$ine ate assinment an% trac-in system / use% by 8=+ at KFL airport / imp$emente% in 'ro$o on microcomputers / access %atabase for 1 %ai$y f$ihts, an% creates ate assinment in hours, ith 1 hour per mo%ification!

    ( possib$e extension) $ost $uae!

  • 7/26/2019 10 Famous Systems

    29/32

    B. Ross Cosc 4f79 69

    Conc$usion

    p. 17 0armon

  • 7/26/2019 10 Famous Systems

    30/32

    B. Ross Cosc 4f79

  • 7/26/2019 10 Famous Systems

    31/32

    B. Ross Cosc 4f79

  • 7/26/2019 10 Famous Systems

    32/32

    Conc$usions from 'ic-ers system

    ncrementa$ %esin of system et prototype runnin on initia$ prob$ems

    bui$% onto it

    Can he$p if Lno$e%e enineer has %omain -no$e%e

    caeat) here, LE is a$rea%y Mcomputer/oriente%N

    caeat) prob$em %omain e$$/a%apte% to 8estbui$%er para%im

    &n/site capture of ne %ata permits continua$ up%ate of systemfor MfreeN

    empirica$ %ata capture an% #B usefu$ for LB, as e$$ as pro%uctsthemse$es

    interate% stan%a$one systems (e. $aptops! ery han%y C# R&;s a$so can preent nee% to %on$oa% %ata