A Bayesian network, Bayes network, belief network, Bayes(ian) model or probabilistic directed acyclic graphical model is a probabilistic graphical model (a type of statistical model) that represents a set of random variables and their conditional dependencies via a directed acyclic graph (DAG). For example, a Bayesian network could represent the probabilistic relationships between diseases and symptoms. Given symptoms, the network can be used to compute the probabilities of the presence of various diseases.
Formally, Bayesian networks are directed acyclic graphs whose nodes represent random variables in the Bayesian sense: they may be observable quantities, latent variables, unknown parameters or hypotheses. Edges represent conditional dependencies; nodes which are not connected represent variables which are conditionally independent of each other. Each node is associated with a probability function that takes as input a particular set of values for the node's parent variables and gives the probability of the variable represented by the node. For example, if the parents are $m$ Boolean variables then the probability function could be represented by a table of $2^m$ entries, one entry for each of the $2^m$ possible combinations of its parents being true or false. Similar ideas may be applied to undirected, and possibly cyclic, graphs; such are called Markov networks.
Efficient algorithms exist that perform inference and learning in Bayesian networks. Bayesian networks that model sequences of variables (e.g. speech signals or protein sequences) are called dynamic Bayesian networks. Generalizations of Bayesian networks that can represent and solve decision problems under uncertainty are called influence diagrams.
Example
Suppose that there are two events which could cause grass to be wet: either the sprinkler is on or it's raining. Also, suppose that the rain has a direct effect on the use of the sprinkler (namely that when it rains, the sprinkler is usually not turned on). Then the situation can be modeled with a Bayesian network (shown). All three variables have two possible values, T (for true) and F (for false).
The joint probability function is:
 $\backslash mathrm\; P(G,S,R)=\backslash mathrm\; P(GS,R)\backslash mathrm\; P(SR)\backslash mathrm\; P(R)$
where the names of the variables have been abbreviated to G = Grass wet (yes/no), S = Sprinkler turned on (yes/no), and R = Raining (yes/no).
The model can answer questions like "What is the probability that it is raining, given the grass is wet?" by using the conditional probability formula and summing over all nuisance variables:
 $$
\mathrm P(\mathit{R}=T \mid \mathit{G}=T)
=\frac{
\mathrm P(\mathit{G}=T,\mathit{R}=T)
}
{
\mathrm P(\mathit{G}=T)
}
=\frac{
\sum_{\mathit{S} \in \{T, F\}}\mathrm P(\mathit{G}=T,\mathit{S},\mathit{R}=T)
}
{
\sum_{\mathit{S}, \mathit{R} \in \{T, F\}} \mathrm P(\mathit{G}=T,\mathit{S},\mathit{R})
}
 $$
=\frac{
\mathrm P(\mathit{G}=T,\mathit{S}=T,\mathit{R}=T)_{TTT} + \mathrm P(\mathit{G}=T,\mathit{S}=F,\mathit{R}=T)_{TFT}
}
{
\mathrm P(\mathit{G}=T,\mathit{S}=T,\mathit{R}=T)_{TTT} + \mathrm P(\mathit{G}=T,\mathit{S}=T,\mathit{R}=F)_{TTF} + \mathrm P(\mathit{G}=T,\mathit{S}=F,\mathit{R}=T)_{TFT} + \mathrm P(\mathit{G}=T,\mathit{S}=F,\mathit{R}=F)_{TFF}
}
 $$
=\frac{
\mathrm (P(G=TS=T,R=T)\mathrm P(S=TR=T)\mathrm P(R=T))_{TTT} + \mathrm (P(G=TS=F,R=T)\mathrm P(S=FR=T)\mathrm P(R=T))_{TFT}
}
{
\mathrm (P(G=TS=T,R=T)\mathrm P(S=TR=T)\mathrm P(R=T))_{TTT} + \mathrm (P(G=TS=T,R=F)\mathrm P(S=TR=F)\mathrm P(R=F))_{TTF} + \mathrm (P(G=TS=F,R=T)\mathrm P(S=FR=T)\mathrm P(R=T))_{TFT} + \mathrm (P(G=TS=F,R=F)\mathrm P(S=FR=F)\mathrm P(R=F))_{TFF}
}
 $$
=\frac{
(0.99 \times 0.01 \times 0.2)_{TTT} + (0.8 \times 0.99 \times 0.2)_{TFT}
}
{
(0.99 \times 0.01 \times 0.2)_{TTT} + (0.9 \times 0.4 \times 0.8)_{TTF} + (0.8 \times 0.99 \times 0.2)_{TFT} + (0.0 \times 0.6 \times 0.8)_{TFF}
}
 $$
= \frac{
0.00198_{TTT} + 0.1584_{TFT}
}
{
0.00198_{TTT} + 0.288_{TTF} + 0.1584_{TFT} + 0.0_{TFF}
} =\frac{891}{2491} \approx 35.77 %.
As is pointed out explicitly in the example numerator, the joint probability function is used to calculate each iteration of the summation function, marginalizing over $\backslash mathit\{S\}$ in the numerator, and marginalizing over $\backslash mathit\{S\}$ and $\backslash mathit\{R\}$ in the denominator.
If, on the other hand, we wish to answer an interventional question: "What is the likelihood that it would rain, given that we wet the grass?" the answer would be governed by the postintervention joint distribution function $\backslash mathrm\; P(S,Rdo(G=T))\; =\; P(SR)\; P(R)$ obtained by removing the factor $\backslash mathrm\; P(GS,R)$ from the preintervention distribution. As expected, the likelihood of rain is unaffected by the action: $\backslash mathrm\; P(Rdo(G=T))\; =\; P(R)$.
If, moreover, we wish to predict the impact of turning the sprinkler on, we have
 $P(R,Gdo(S=T))\; =\; P(R)P(GR,S=T)$
with the term $P(S=TR)$ removed, showing that the action has an effect on the grass but not on the rain.
These predictions may not be feasible when some of the variables are unobserved, as in most policy evaluation problems. The effect of the action $do(x)$ can still be predicted, however, whenever a criterion called "backdoor" is satisfied.^{[1]} It states that, if a set Z of nodes can be observed that dseparates (or blocks) all backdoor paths from X to Y then $P(Y,Zdo(x))\; =\; P(Y,Z,X=x)/P(X=xZ)$. A backdoor path is one that ends with an arrow into X. Sets that satisfy the backdoor criterion are called "sufficient" or "admissible." For example, the set Z = R is admissible for predicting the effect of S = T on G, because R dseparate the (only) backdoor path
S ← R → G. However, if S is not observed, there is no other set that dseparates this path and the effect of turning the sprinkler on (S = T) on the grass (G) cannot be predicted from passive observations. We then say that P(Gdo(S = T)) is not "identified." This reflects the fact that, lacking interventional data, we cannot determine if the observed dependence between S and G is due to a causal connection or is spurious
(apparent dependence arising from a common cause, R). (see Simpson's paradox)
To determine whether a causal relation is identified from an arbitrary Bayesian network with unobserved variables, one can use the three rules of "docalculus"^{[1]}^{[2]}
and test whether all do terms can be removed from the
expression of that relation, thus confirming that the desired quantity is estimable from frequency data.^{[3]}
Using a Bayesian network can save considerable amounts of memory, if the dependencies in the joint distribution are sparse. For example, a naive way of storing the conditional probabilities of 10 twovalued variables as a table requires storage space for $2^\{10\}\; =\; 1024$ values. If the local distributions of no variable depends on more than 3 parent variables, the Bayesian network representation only needs to store at most $10\backslash cdot2^3\; =\; 80$ values.
One advantage of Bayesian networks is that it is intuitively easier for a human to understand (a sparse set of) direct dependencies and local distributions than complete joint distribution.
Inference and learning
There are three main inference tasks for Bayesian networks.
Inferring unobserved variables
Because a Bayesian network is a complete model for the variables and their relationships, it can be used to answer probabilistic queries about them. For example, the network can be used to find out updated knowledge of the state of a subset of variables when other variables (the evidence variables) are observed. This process of computing the posterior distribution of variables given evidence is called probabilistic inference. The posterior gives a universal sufficient statistic for detection applications, when one wants to choose values for the variable subset which minimize some expected loss function, for instance the probability of decision error. A Bayesian network can thus be considered a mechanism for automatically applying Bayes' theorem to complex problems.
The most common exact inference methods are: variable elimination, which eliminates (by integration or summation) the nonobserved nonquery variables one by one by distributing the sum over the product; clique tree propagation, which caches the computation so that many variables can be queried at one time and new evidence can be propagated quickly; and recursive conditioning and AND/OR search, which allow for a spacetime tradeoff and match the efficiency of variable elimination when enough space is used. All of these methods have complexity that is exponential in the network's treewidth. The most common approximate inference algorithms are importance sampling, stochastic MCMC simulation, minibucket elimination, loopy belief propagation, generalized belief propagation, and variational methods.
Parameter learning
In order to fully specify the Bayesian network and thus fully represent the joint probability distribution, it is necessary to specify for each node X the probability distribution for X conditional upon X's parents. The distribution of X conditional upon its parents may have any form. It is common to work with discrete or Gaussian distributions since that simplifies calculations. Sometimes only constraints on a distribution are known; one can then use the principle of maximum entropy to determine a single distribution, the one with the greatest entropy given the constraints. (Analogously, in the specific context of a dynamic Bayesian network, one commonly specifies the conditional distribution for the hidden state's temporal evolution to maximize the entropy rate of the implied stochastic process.)
Often these conditional distributions include parameters which are unknown and must be estimated from data, sometimes using the maximum likelihood approach. Direct maximization of the likelihood (or of the posterior probability) is often complex when there are unobserved variables. A classical approach to this problem is the expectationmaximization algorithm which alternates computing expected values of the unobserved variables conditional on observed data, with maximizing the complete likelihood (or posterior) assuming that previously computed expected values are correct. Under mild regularity conditions this process converges on maximum likelihood (or maximum posterior) values for parameters.
A more fully Bayesian approach to parameters is to treat parameters as additional unobserved variables and to compute a full posterior distribution over all nodes conditional upon observed data, then to integrate out the parameters. This approach can be expensive and lead to large dimension models, so in practice classical parametersetting approaches are more common.
Structure learning
In the simplest case, a Bayesian network is specified by an expert and is then used to perform inference. In other applications the task of defining the network is too complex for humans. In this case the network structure and the parameters of the local distributions must be learned from data.
Automatically learning the graph structure of a Bayesian network is a challenge pursued within machine learning. The basic idea goes back to a recovery algorithm
developed by Rebane and Pearl (1987)^{[4]} and rests
on the distinction between the three possible types of
adjacent triplets allowed in a directed acyclic graph (DAG):
 $X\; \backslash rightarrow\; Y\; \backslash rightarrow\; Z$
 $X\; \backslash leftarrow\; Y\; \backslash rightarrow\; Z$
 $X\; \backslash rightarrow\; Y\; \backslash leftarrow\; Z$
Type 1 and type 2 represent the same dependencies ($X$ and $Z$ are independent given $Y$) and are, therefore, indistinguishable. Type 3, however, can be uniquely identified, since $X$ and $Z$ are marginally independent and all other pairs are dependent. Thus, while the skeletons (the graphs stripped of arrows) of these three triplets are identical, the directionality of the arrows is partially identifiable. The same distinction applies when $X$ and $Z$ have common parents, except that one must first condition on those parents. Algorithms have been developed to systematically determine the skeleton of the underlying graph and, then, orient all arrows whose directionality is dictated by the conditional independencies observed.^{[1]}^{[5]}^{[6]}^{[7]}
An alternative method of structural learning uses optimization based search. It requires a scoring function and a search strategy. A common scoring function is posterior probability of the structure given the training data. The time requirement of an exhaustive search returning a structure that maximizes the score is superexponential in the number of variables. A local search strategy makes incremental changes aimed at improving the score of the structure. A global search algorithm like Markov chain Monte Carlo can avoid getting trapped in local minima. Friedman et al.^{[8]}^{[9]} talk about using mutual information between variables and finding a structure that maximizes this. They do this by restricting the parent candidate set to k nodes and exhaustively searching therein.
Another method consists of focusing on the subclass of decomposable models, for which the MLE have a closed form. It is then possible to discover a consistent structure for hundreds of variables ^{[10]}.
Statistical introduction
Given data $x\backslash ,\backslash !$ and parameter $\backslash theta$, a simple Bayesian analysis starts with a prior probability (prior) $p(\backslash theta)$ and likelihood $p(x\backslash theta)$ to compute a posterior probability $p(\backslash thetax)\; \backslash propto\; p(x\backslash theta)p(\backslash theta)$.
Often the prior on $\backslash theta$ depends in turn on other parameters $\backslash varphi$ that are not mentioned in the likelihood. So, the prior $p(\backslash theta)$ must be replaced by a likelihood $p(\backslash theta\backslash varphi)$, and a prior $p(\backslash varphi)$ on the newly introduced parameters $\backslash varphi$ is required, resulting in a posterior probability
 $p(\backslash theta,\backslash varphix)\; \backslash propto\; p(x\backslash theta)p(\backslash theta\backslash varphi)p(\backslash varphi).$
This is the simplest example of a hierarchical Bayes model.
The process may be repeated; for example, the parameters $\backslash varphi$ may depend in turn on additional parameters $\backslash psi\backslash ,\backslash !$, which will require their own prior. Eventually the process must terminate, with priors that do not depend on any other unmentioned parameters.
Introductory examples
Suppose we have measured the quantities $x\_1,\backslash dots,x\_n\backslash ,\backslash !$each with normally distributed errors of known standard deviation $\backslash sigma\backslash ,\backslash !$,
 $$
x_i \sim N(\theta_i, \sigma^2)
Suppose we are interested in estimating the $\backslash theta\_i$. An approach would be to estimate the $\backslash theta\_i$ using a maximum likelihood approach; since the observations are independent, the likelihood factorizes and the maximum likelihood estimate is simply
 $$
\theta_i = x_i
However, if the quantities are related, so that for example we may think that the individual $\backslash theta\_i$ have themselves been drawn from an underlying distribution, then this relationship destroys the independence and suggests a more complex model, e.g.,
 $$
x_i \sim N(\theta_i,\sigma^2),
 $$
\theta_i\sim N(\varphi, \tau^2)
with improper priors $\backslash varphi\backslash sim$flat, $\backslash tau\backslash sim$flat$\backslash in\; (0,\backslash infty)$. When $n\backslash ge\; 3$, this is an identified model (i.e. there exists a unique solution for the model's parameters), and the posterior distributions of the individual $\backslash theta\_i$ will tend to move, or shrink away from the maximum likelihood estimates towards their common mean. This shrinkage is a typical behavior in hierarchical Bayes models.
Restrictions on priors
Some care is needed when choosing priors in a hierarchical model, particularly on scale variables at higher levels of the hierarchy such as the variable $\backslash tau\backslash ,\backslash !$ in the example. The usual priors such as the Jeffreys prior often do not work, because the posterior distribution will be improper (not normalizable), and estimates made by minimizing the expected loss will be inadmissible.
Definitions and concepts
There are several equivalent definitions of a Bayesian network. For all the following, let G = (V,E) be a directed acyclic graph (or DAG), and let X = (X_{v})_{v ∈ V} be a set of random variables indexed by V.
Factorization definition
X is a Bayesian network with respect to G if its joint probability density function (with respect to a product measure) can be written as a product of the individual density functions, conditional on their parent variables:
$p\; (x)\; =\; \backslash prod\_\{v\; \backslash in\; V\}\; p\; \backslash left(x\_v\; \backslash ,\backslash big\backslash ,\; x\_\{\backslash operatorname\{pa\}(v)\}\; \backslash right)$
where pa(v) is the set of parents of v (i.e. those vertices pointing directly to v via a single edge).
For any set of random variables, the probability of any member of a joint distribution can be calculated from conditional probabilities using the chain rule (given a topological ordering of X) as follows:
$\backslash mathrm\; P(X\_1=x\_1,\; \backslash ldots,\; X\_n=x\_n)\; =\; \backslash prod\_\{v=1\}^n\; \backslash mathrm\; P\; \backslash left(X\_v=x\_v\; \backslash mid\; X\_\{v+1\}=x\_\{v+1\},\; \backslash ldots,\; X\_n=x\_n\; \backslash right)$
Compare this with the definition above, which can be written as:
$\backslash mathrm\; P(X\_1=x\_1,\; \backslash ldots,\; X\_n=x\_n)\; =\; \backslash prod\_\{v=1\}^n\; \backslash mathrm\; P\; (X\_v=x\_v\; \backslash mid\; X\_j=x\_j$ for each $X\_j\backslash ,$ which is a parent of $X\_v\backslash ,\; )$
The difference between the two expressions is the conditional independence of the variables from any of their nondescendents, given the values of their parent variables.
Local Markov property
X is a Bayesian network with respect to G if it satisfies the local Markov property: each variable is conditionally independent of its nondescendants given its parent variables:
 $X\_v\; \backslash perp\backslash !\backslash !\backslash !\backslash perp\; X\_\{V\; \backslash setminus\; \backslash operatorname\{de\}(v)\}\; \backslash ,\backslash ,\; X\_\{\backslash operatorname\{pa\}(v)\}\; \backslash quad\backslash text\{for\; all\; \}v\; \backslash in\; V$
where de(v) is the set of descendants of v.
This can also be expressed in terms similar to the first definition, as
 $\backslash mathrm\; P(X\_v=x\_v\; \backslash mid\; X\_i=x\_i$ for each $X\_i\backslash ,$ which is not a descendent of $X\_v\backslash ,\; )\; =\; P(X\_v=x\_v\; \backslash mid\; X\_j=x\_j$ for each $X\_j\backslash ,$ which is a parent of $X\_v\backslash ,\; )$
Note that the set of parents is a subset of the set of nondescendants because the graph is acyclic.
Developing Bayesian networks
To develop a Bayesian network, we often first develop a DAG G such that we believe X satisfies the local Markov property with respect to G. Sometimes this is done by creating a causal DAG. We then ascertain the conditional probability distributions of each variable given its parents in G. In many cases, in particular in the case where the variables are discrete, if we define the joint distribution of X to be the product of these conditional distributions, then X is a Bayesian network with respect to G.^{[13]}
Markov blanket
The Markov blanket of a node is the set of nodes consisting of its parents, its children, and any other parents of its children. This set renders it independent of the rest of the network; the joint distribution of the variables in the Markov blanket of a node is sufficient knowledge for calculating the distribution of the node. X is a Bayesian network with respect to G if every node is conditionally independent of all other nodes in the network, given its Markov blanket.
dseparation
This definition can be made more general by defining the "d"separation of two nodes, where d stands for directional.^{[14]}^{[15]} Let P be a trail (that is, a collection of edges which is like a path, but each of whose edges may have any direction) from node u to v. Then P is said to be dseparated by a set of nodes Z if and only if (at least) one of the following holds:
 P contains a chain, x ← m ← y, such that the middle node m is in Z,
 P contains a fork, x ← m → y, such that the middle node m is in Z, or
 P contains an inverted fork (or collider), x → m ← y, such that the middle node m is not in Z and no descendant of m is in Z.
Thus u and v are said to be dseparated by Z if all trails between them are dseparated. If u and v are not dseparated, they are called dconnected.
X is a Bayesian network with respect to G if, for any two nodes u, v:
 $X\_u\; \backslash perp\backslash !\backslash !\backslash !\backslash perp\; X\_v\; \backslash ,\; \; \backslash ,\; X\_Z$
where Z is a set which dseparates u and v. (The Markov blanket is the minimal set of nodes which dseparates node v from all other nodes.)
Hierarchical models
The term hierarchical model is sometimes considered a particular type of Bayesian network, but has no formal definition. Sometimes the term is reserved for models with three or more levels of random variables; other times, it is reserved for models with latent variables. In general, however, any moderately complex Bayesian network is usually termed "hierarchical".
Causal networks
Although Bayesian networks are often used to represent causal relationships, this need not be the case: a directed edge from u to v does not require that X_{v} is causally dependent on X_{u}. This is demonstrated by the fact that Bayesian networks on the graphs:
 $a\; \backslash longrightarrow\; b\; \backslash longrightarrow\; c\; \backslash qquad\; \backslash text\{and\}\; \backslash qquad\; a\; \backslash longleftarrow\; b\; \backslash longleftarrow\; c$
are equivalent: that is they impose exactly the same conditional independence requirements.
A causal network is a Bayesian network with an explicit requirement that the relationships be causal. The additional semantics of the causal networks specify that if a node X is actively caused to be in a given state x (an action written as do(X=x)), then the probability density function changes to the one of the network obtained by cutting the links from X's parents to X, and setting X to the caused value x.^{[1]} Using these semantics, one can predict the impact of external interventions from data obtained prior to intervention.
Applications
Bayesian networks are used for modelling knowledge in computational biology and bioinformatics (gene regulatory networks, protein structure, gene expression analysis,^{[16]} learning epistasis from GWAS data sets ^{[17]}) medicine,^{[18]} biomonitoring,^{[19]} document classification, information retrieval,^{[20]} semantic search,^{[21]} image processing, data fusion, decision support systems,^{[22]} engineering, gaming and law.^{[23]}^{[24]}^{[25]}
Software
 WinBUGS
 website), further (open source) development of WinBUGS.
 OpenMarkov, open source software and API implemented in Java
 website)
 Stan (website) — Stan is an opensource package for obtaining Bayesian inference using the NoUTurn sampler, a variant of Hamiltonian Monte Carlo. It’s somewhat like BUGS, but with a different language for expressing models and a different sampler for sampling from their posteriors. RStan is the R interface to Stan.
 GeNIe&Smile (website) — SMILE is a C++ library for BN and ID, and GeNIe is a GUI for it
 SamIam (website), a Javabased system with GUI and Java API
 Bayes Server  User Interface and API for Bayesian networks, includes support for time series and sequences
 Belief and Decision Networks on AIspace
 BayesiaLab by Bayesia
 Hugin
 Netica by Norsys
 dVelox by Apara Software
 System Modeler by Inatas AB
History
The term "Bayesian networks" was coined by Judea Pearl in 1985 to emphasize three aspects:^{[26]}
 The often subjective nature of the input information.
 The reliance on Bayes' conditioning as the basis for updating information.
 The distinction between causal and evidential modes of reasoning, which underscores Thomas Bayes' posthumously published paper of 1763.^{[27]}
In the late 1980s the seminal texts Probabilistic Reasoning in Intelligent Systems^{[28]} and Probabilistic Reasoning in Expert Systems^{[29]} summarized the properties of Bayesian networks and helped to establish Bayesian networks as a field of study.
Informal variants of such networks were first used by legal scholar John Henry Wigmore, in the form of Wigmore charts, to analyse trial evidence in 1913.^{[24]}^{:66–76} Another variant, called path diagrams, was developed by the geneticist Sewall Wright^{[30]} and used in social and behavioral sciences (mostly with linear parametric models).
See also
Artificial intelligence portal 
Statistics portal 
Notes
General references





 (This paper puts .pdf.)

 Dowe, David L. (2010). 901–982.
 Fenton, Norman; Neil, Martin E. (November 2007). London Mathematical Society.


 .
 Also appears as
 An earlier version appears as Technical Report MSRTR9506, Microsoft Research, March 1, 1995. The paper is about both parameter and structure learning in Bayesian networks.







 .
 This paper presents variable elimination for belief networks.
 Computational Intelligence: A Methodological Introduction by Kruse, Borgelt, Klawonn, Moewes, Steinbrecher, Held, 2013, Springer, ISBN 9781447150121
 Graphical Models  Representations for Learning, Reasoning and Data Mining, 2nd Edition, by Borgelt, Steinbrecher, Kruse, 2009, J. Wiley & Sons, ISBN 9780470749562
External links
 A tutorial on learning with Bayesian Networks
 An Introduction to Bayesian Networks and their Contemporary Applications
 Online Tutorial on Bayesian nets and probability
 WebApp to create Bayesian nets and run it with a Monte Carlo method
 Continuous Time Bayesian Networks
 Bayesian Networks: Explanation and Analogy
 A live tutorial on learning Bayesian networks
 A hierarchical Bayes Model for handling sample heterogeneity in classification problems, provides a classification model taking into consideration the uncertainty associated with measuring replicate samples.
 Hierarchical Naive Bayes Model for handling sample uncertainty, shows how to perform classification and learning with continuous and discrete variables with replicated measurements.
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.