Boken 'Probabilistic Reasoning in Intelligent Systems' gir en omfattende og lettfattelig fremstilling av de teoretiske grunnlagene og de beregningsmetodene som ligger til grunn for plausibel resonnement under usikkerhet. Forfatteren, Judea Pearl, tilbyr en sammenhengende forklaring av sannsynlighet som et språk for resonnement med delvis tro og gir et enhetlig perspektiv på andre tilnærminger innen kunstig intelligens når det gjelder usikkerhet, som Dempster-Shafer-formalismen, sannhetsvedlikeholdssystemer og ikke-monoton logikk. Pearl skiller mellom syntaktiske og semantiske tilnærminger til usikkerhet, og presenterer teknikker basert på tro-nettverk som gir en mekanisme for å gjøre semantisk baserte systemer operative. Spesielt fungerer nettverkspropageringsteknikker som en forbindelse mellom den teoretiske sammenhengen i sannsynlighetsteori og moderne krav til resonnementssystemteknologi: modulære deklarative innganger, konseptuelt meningsfulle slutninger og parallell distribuert beregning. Anvendelsesområdene inkluderer diagnose, prognoser og bildebehandling.
