Select your font size 
 
about us products & services consulting & support news & events contact us
Discussion of the canonical formula for Bayes Inference.

Deriving Bayes' Theorem - Quebec

print this article 
 

You are now in a position to discuss the canonical formula for Bayes inference. The derivation of Bayes formula follows naturally from the definition of conditional probability using the probability format:

P(A | B) = P(A & B) / P(B)

Using some algebra, this equation can be rewritten as:

P(A & B) = P(A | B) P(B)

The same right-hand value can also be computed using A as the conditioning variable:

P(A & B) = P(B | A) P(A)

Given this equivalence, you can write:

P(A | B) P(B) = P(B | A) P(A)

Simplifying, you arrive at Bayes theorem:

P(A | B) = P(B | A) P(A) / P(B)

Notice that this formula for computing a conditional probability is similiar to the original formula with the exception that the joint probability P(A & B) that used to appear in the numerator has been replaced with the equivalent expression P(B | A) P(A).

Computing the full posterior

Bayesian inference is often put forth as a prescriptive framework for hypothesis testing. Using this framework, it is standard to replace P(A | B) with P(H | E) where H stands for hypothesis and E stands for evidence. Bayes inference rule then looks like this:

P(H | E) = P(E | H) P(H) / P(E)

In words, the formula says that the posterior probability of a hypothesis given the evidence P(H | E) is equal to the likelihood of the evidence given the hypothesis P(E | H) multiplied by the prior probability of the hypothesis P(H). You can ignore P(E) as only serving a normalization role (in other words, ensuring the sum of all the cell probabilities is 1.0). You can thus mentally simplify the equation to:

P(H | E) = P(E | H) P(H)

The prior distribution P(H) in this equation can be represented in PHP as an indexed array of probability values (as shown):

var $priors = array();

The $priors array is expected to contain a list of numbers denoting the prior probability of each hypothesis. In the context of medical diagnosis, the $priors array might contain the prevalence rates of each hypothesized disease in the population. Alternatively, the array might contain a medical specialist's best guess as to the prior probability of each disease under consideration given everything they know about each disease and current conditions.

The exact nature of the full posterior probability computation is made clearer by seeing that the posterior and likelihood terms appear in a PHP implementation as two-dimensional arrays (the closest you can currently get to a matrix datatype in PHP).

Listing 3. The posterior and likelihood terms appear in a PHP implementation as 2D arrays
<?php

// $m denotes the number of hypothesis
// $n denotes the number of evidence patterns

$m = 3;
$n = 4;

$priors      = getPriorDistribution();
$likelihoods = getlikelihoodDistribution();
$evidence    = getEvidenceDistribution();

for($e=0; $e < $n; $e++) {
  for ($h=0; $h < $m; $h++) {
    $posterior[$e][$h] = $priors[$h]
       * $likelihoods[$h][$e] / $evidence[$e];
  }
}

?>

For now, ignore the issue of how the $prior, $likelihood, and $evidence distribution values are computed from raw data. You can posit magical get functions to obtain these values. The previous code shows how the values of the posterior probability matrix are computed by looping over the evidence items and the hypothesis alternatives.

The order of the index elements $e and $h in the posterior matrix might be puzzling until you realize that in PHP the evidence key should appear first in the posterior matrix because it is a lookup key. If you access the posterior matrix using an evidence key $e, it will return an array containing the probability of each hypothesis under consideration (such as, +cancer, -cancer) given the particular evidence key you have supplied (like +test). The code above computes the full posterior distribution over all evidence keys. To compute a row of the full posterior distribution for a particular evidence key, you would use this formula:

Figure 2. Formula to compute posterior distribution
Formula to compute posterior distribution



Page:   1  2  3  4  5  6  7  8  9  10  11 Next Page: Medical diagnosis wizard

The content shown in this page was first published by IBM developerWorks and is reprinted with permission from Paul Meagher (www.datavore.com)


Most Recent Website and Regional Updates

 Transparen Toronto Office Locations
Addresses of Transparen Corporation offices in Toronto, Ontario.

 
 High Scalability - Large Systems Optimization
Transparen Corporation lends its expertise to clients experiencing rapid and sudden growth in traffic or server utilization, bottlenecks, systems instability, downtime during peak traffic, or which would like to plan to avoid such issues.

 
 Throughput (or Bandwidth) vs. Latency
This document uses the example of Bill Gates purchasing Google to explain the difference between bandwidth (or throughput) and latency.

 
 Emergency Management Services
The prototypical emergency involves a shutdown of essential services for a finite period of time. What will your organization do when a world-wide financial crisis strikes?

 
 Fast RAID Server Data Recovery Service
Transparen's Vancouver International Response Team provides the option in Canada and USA to get a raid server back running in hours - eliminating costly waiting associated with typical RAID recoveries.

 
 Data Recovery Service
Have you deleted a mission critical file? Accidentally dropped a computer, or formatted a hard drive? No recent backup? Mistakes can happen, but the data might still be there.

 
 About Transparen
Transparen is committed to serving its clients.

 
 Appointment to the Saguenay Port Authority
OTTAWA ? The Honourable Lawrence Cannon, Minister of Transport, Infrastructure and Communities today announced the appointment of Mr. Jean-Sébastien Harvey to the board of directors of the Saguenay Port Authority for a term of three years.

 
 The Government of Canada continues its investments in the ports of Rimouski and Matane in Quebec
RIMOUSKI (Quebec) - During his visit to Rimouski today, the Honourable Lawrence Cannon, Minister of Transport, Infrastructure and Communities, announced an investment in the order of $7.3 million in the ports of Rimouski and Matane. The invested funds will go toward different repairs that will maintain the safety of the facilities and keep the ports in optimal operating condition.

 
 The Government of Canada invests in the Port of Gaspé (Sandy Beach) in Quebec
GASPÉ (Quebec) - During his visit to Gaspé, the Honourable Lawrence Cannon, Minister of Transport, Infrastructure and Communities, gave the go-ahead for a $5.5 M project to rebuild Rue du Quai in the Port of Gaspé (Sandy Beach). The first steps will involve finalizing the different preliminary studies required, establishing the road alignment, surveying, preparing a contaminated material management plan, conducting an environmental impact assessment and completing the final plans and specifications.

 
 Summer tour of eastern Quebec
The Honourable Lawrence Cannon, Minister of Transport, Infrastructure and Communities, will make different announcements during a summer tour of eastern Quebec...

 
 Opening of 4-lane divided stretch of highways 73/175
SAGUENAY ? The governments of Canada and Quebec are today announcing the opening of a rebuilt 4-lane divided stretch of Highway 175 between km 208 and km 213, near the northern boundary of the Laurentian Wildlife Reserve, and between km 219 and 227, at the entrance of Saguenay.

 
 08/01/2009: How to Divorce and Not Wreck the Kids
For years, divorce has pitted couples against each other, fueling conflict and concerns about the children caught in the middle of it. Now, unhappy couples with children are looking for ways to end their marriage, but not end the family. Today on the podast, we'll hear from a couple trying to do that and the director of a CBC TV documentary called "How To Divorce and Not Wreck The Kids".

 
 07/01/2009: A Death in the Family - Documentary
Today on the podcast, the story of Paul Johnson and Bill Mullins-Johnson, two brothers from Sault Saint Marie, Ontario whose lives were torn apart after the murder of Paul's four-year-old daughter ... a crime that turned the two men against each other even though neither of them had committed it.

 
 06/01/2009: The Threatening Sea
Today on the podcast, we continue our Watershed series with a trip to Vanuatu, a nation of 83 islands in the South Pacific that is slowly but surely sinking into the sea.

 

Google
 
Web transparen.com

Contact Information

Related Information

 
   
 
E C M | © 2003-2007 Transparen Corp.      

Standardized Services: Data Recovery Service / Creative Services / Premium Web Hosting Services / System Administration Tech Support Services
Recent Projects: Full-Service Mortgage and Financing Company / System to manage flights from Vancouver to Tofino / Photo exchange verification service
Our Vancouver BC Server Proudly Hosts: automated parking and revenue control systems, leafside lane at southlands, cost effective alternative power sources, Higher Grade Learning Centres, pacific forage bag supply, sunburst medical, neosonic design, roger mahler photography - passionate, intriguing, desirable, the connection between east and west, affordable flights to victoria and tofino, low interest mortgage brokers in vancouver, richmond, surrey, toronto, Toronto Calgary and Vancouver IT staffing and talent search
* Acton Vale * Alma * Amos * Amqui * Asbestos * Baie-Comeau * Baie-Saint-Paul * Barkmere * Beauceville * Beauharnois * Beaupré * Bécancour * Bedford * Belleterre * Beloeil * Berthierville * Blainville * Boisbriand * Bois-de-Filion * Bonaventure * Bromont * Brownsburg-Chatham * Cabano * Candiac * Cap-Chat * Cap-Santé * Carignan * Carleton-Saint-Omer * Causapscal * Chambly * Chandler * Chapais * Charlemagne * Châteauguay * Château-Richer * Chibougamau * Clermont * Coaticook * Contrecoeur * Cookshire-Eaton * Cowansville * Danville * Daveluyville * Dégelis * Delson * Desbiens * Deux-Montagnes * Disraeli * Dolbeau-Mistassini * Donnacona * Drummondville * Dunham * Duparquet * East Angus * Farnham * Fermont * Forestville * Fossambault-sur-le-Lac * Gaspé * Gatineau * Gracefield * Granby * Grande-Rivière * Hudson * Huntingdon * Joliette * Kingsey Falls * Lac-Brome * Lac-Delage * Lachute * Lac-Mégantic * Lac-Saint-Joseph * Lac-Sergent * La Malbaie * La Pocatière * La Prairie * La Sarre * L'Assomption * La Tuque * Laval * Lavaltrie * Lebel-sur-Quévillon * L'Épiphanie * Léry * Lévis * L'Île-Cadieux * L'Île-Perrot * Longueuil * Lorraine * Louiseville * Magog * Malartic * Maniwaki * Marieville * Mascouche * Matagami * Matane * Mercier * Métabetchouan- Lac-à-la-Croix * Métis-sur-Mer * Mirabel * Mont-Joli * Mont-Laurier * Montmagny * Montreal - largest city * Mont-Saint-Hilaire * Mont-Tremblant * Murdochville * Neuville * New Richmond * Nicolet * Normandin * Notre-Dame-de-l'Île-Perrot * Notre-Dame-du-Lac * Otterburn Park * Paspébiac * Percé * Pincourt * Plessisville * Pohénégamook * Port-Cartier * Pont-Rouge * Portneuf * Prévost * Princeville * Quebec - provincial capital * Repentigny * Richelieu * Richmond * Rimouski * Rivière-du-Loup * Rivière-Rouge * Roberval * Rosemère * Rouyn-Noranda * Saguenay * Saint-Basile * Saint-Basile-le-Grand * Saint-Césaire * Saint-Constant * Sainte-Adèle * Sainte-Agathe-des-Monts * Sainte-Anne-de-Beaupré * Sainte-Anne-des-Monts * Sainte-Anne-des-Plaines * Sainte-Catherine * Sainte-Catherine-de- la-Jacques-Cartier * Sainte-Julie * Sainte-Marguerite-Estérel * Sainte-Marie * Sainte-Marthe-sur-le-Lac * Sainte-Thérèse * Saint-Eustache * Saint-Félicien * Saint-Gabriel * Saint-Georges * Saint-Hyacinthe * Saint-Jean-sur-Richelieu * Saint-Jérôme * Saint-Joseph-de-Beauce * Saint-Joseph-de-Sorel * Saint-Lazare * Saint-Lin-Laurentides * Saint-Marc-des-Carrières * Saint-Ours * Saint-Pamphile * Saint-Pascal * Saint-Pie * Saint-Raymond * Saint-Rémi * Saint-Sauveur * Saint-Tite * Salaberry-de-Valleyfield * Schefferville * Scotstown * Senneterre * Sept-Îles * Shawinigan * Sherbrooke * Sorel-Tracy * Stanstead * Sutton * Témiscaming * Terrebonne * Thetford Mines * Thurso * Trois-Pistoles * Trois-Rivières * Valcourt * Val-d'Or * Varennes * Vaudreuil-Dorion * Victoriaville * Ville-Marie * Warwick * Waterloo * Waterville * Windsor