Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
wnioskowanie
Oczywistldemonstracjlludzkiejinteligencjijestumiejętnośćwnioskowania
ofaktachnapodstawieinnychfaktów.Takademonstracjajestszczególnieefek-
towna,kiedyprzesłanki,napodstawiektórychwycilgasięwnioski,slodległe
odsamychwniosków.Nicwięcdziwnego,żewyobrażenieosystemiedysponu-
jlcymsztucznlinteligencjlfunkcjonujlcenapoczltkuistnieniatejdziedziny
(czyliok.roku1950)byłotakie,żejesttosystem,którypoprawniewnioskuje,
posługujlcsięlogikl.Współcześniedziałajlcesystemyrealizujlcetakiepostu-
latytosystemyeksperckieisystemyautomatycznegodowodzeniatwierdzeń.
ŻSystemyeksperckie.Systemeksperckizawierazbiórregułopisujlcychpe-
wienπświatπ,wsensieprawidłowości,któreslwnimniezmienne;tenzbiór
regułtotzw.bazawiedzy.Jegozadaniepoleganatym,żeotrzymujlc
informacjeofaktachdotyczlcychbieżlcegostanutegoświataiposługujlc
siębazlwiedzy,wnioskujelogicznieoinnychfaktach.Przykłademtakich
rozwilzańslsystemydiagnozujlceuszkodzeniawdużychmaszynach.
ŻSystemyautomatyczniedowodzlcetwierdzeń.Sltoszkieletowesystemy,
wktórewpisujesięwiedzęwpostaciformułisprawdza,czynajejpodstawie
dasięudowodnićzałożonltezę.
Systemyrozmyte
Pojęciarozmyteiwnioskowanierozmyteslpróbluporaniasięzproblemami
pojawiajlcymisię,kiedychcemyzmusićkomputerdoposługiwaniasięwiedzl
człowiekawtakisposób,jakczynitoczłowiek,tj.wykorzystujlcprzybliżonl
wiedzędodokonywaniaprzybliżonychrozumowań.Istniejldwapodstawowe
narzędziastosowanewsystemachtegorodzaju.Pierwszymznichslpojęcia
rozmyte,zdefiniowanejakofunkcjeprzynależnościobiektówdodanegopojęcia
(np.πdużyπ).Drugimslnatomiastregułyrozmyte,służlcedowycilgania
wnioskówzpojawianiasięobiektówokreślanychpojęciamirozmytymi.
1030Historiasztucznejinteligencji
Okresdoroku1955.Prekursorzy
Wkrótcepotym,jakw1938r.AlanTuringzdefiniowałMaszynęTuringa,zo-
stałyzbudowanepierwszekomputeryprogramowalne:niemieckiZ3Ź1941r.,
brytyjskiColossusstworzonydołamaniaszyfrówEnigmyŹ1943r.,amerykański
ENIACsłużlcydoobliczeńzwilzanychzbalistykl,projektowaniembronijl-
drowejorazprognozowaniempogodyŹ1943r.ENIACskładałsięzponad18
12
