Logic and Conditional Probability: A Synthesis
Táto monografia rozvíja algebru boolovských zlomkov, (ab) - usporiadaných.
Dvojice výrokov alebo udalostí - "a ak b", "udalosť a vzhľadom naudalosť b". V deviatich.
Kapitolách autor ukazuje, že tieto podmienkové propozície (spolu s.
Ich pridruženými inštanciami alebo modelmi):
Poskytujú logické prvky, ktoré lepšie reprezentujú a vernejšie uľahčujú.
Manipuláciu s istými a neistými podmienečnými informáciami.
Rozšírenie Booleovej algebry 2-hodnotových výrokov na 3-hodnotový systém.
Ten zahŕňa "nepoužiteľné výroky" - tie, ktorých podmienka môže byť.
nepravdivé v niektorých alebo vo všetkých prípadoch (príkladoch, prípadoch, modeloch... ).
Povoľte definíciupravdepodobnosti ľubovoľného boolovského výroku.
Netriviálne kombinovať booleovskú logiku so štandardnou podmienenou pravdepodobnosťou.
Teória.
Poskytnúť úplné a primerané rozvinutie rozhodujúcej 4. operácie.
Pre booleovskú logiku, konkrétne podmienenie,vrátane iterovaného podmienenia.
Poskytnúť rozšírenú teóriu dedukcie definovanú v termínoch rozšírenej.
Operácií na booleovských zlomkoch.
Pripustiť rôzne dedukčné vzťahy a že deduktívne uzavreté množiny.
Generované nejakou počiatočnou množinou kondicionálov sa dajú vypočítať.
Rozšírenie bežných funkčných operácií súčet, rozdiel, súčin a.
Kvocient na reálne funkcie s možnými rozdielnymi alebo prekrývajúcimi sa.
Oblasti definície.
Reprezentovať & zjednodušiť zložité podmienené výroky v bayesovskom experte.
Systémy používané na výpočet maximálnej informačnej entropieriešení.
Explikácia logiky kvantových meraní lepším vyjadrením.
Meniace sa podmienky v kvantovej mechanike.