<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/w/index.php?action=history&amp;feed=atom&amp;title=Local_language_%28formal_language%29</id>
	<title>Local language (formal language) - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/w/index.php?action=history&amp;feed=atom&amp;title=Local_language_%28formal_language%29"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Local_language_(formal_language)&amp;action=history"/>
	<updated>2026-08-13T12:23:31Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.47.0-wmf.7</generator>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Local_language_(formal_language)&amp;diff=28288&amp;oldid=prev</id>
		<title>Deltahedron: cite Salomaa (1981)</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Local_language_(formal_language)&amp;diff=28288&amp;oldid=prev"/>
		<updated>2012-12-20T22:08:29Z</updated>

		<summary type="html">&lt;p&gt;cite Salomaa (1981)&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{orphan|date=December 2012}}&lt;br /&gt;
{{unreferenced|date=December 2012}}&lt;br /&gt;
&lt;br /&gt;
&amp;#039;&amp;#039;&amp;#039;Credal networks&amp;#039;&amp;#039;&amp;#039; are probabilistic graphical models based on [[imprecise probability]]. Credal networks can be regarded as an extension of [[Bayesian network]]s, where [[credal set]]s replace probability mass functions in the specification of the local models for the network variables given their parents. As a Bayesian network defines a joint probability mass function over its variables, a credal network defines a joint credal set. The way this credal set is defined depends on the particular notion of independence for imprecise probability adopted. Most of the research on credal networks focused on the case of strong independence. Given strong independence the joint credal set associated to a credal network is called its strong extension. Let &amp;lt;math&amp;gt;(X_1,\ldots,X_n)&amp;lt;/math&amp;gt; denote a collection of categorical variables and &amp;lt;math&amp;gt;G&amp;lt;/math&amp;gt;. If &amp;lt;math&amp;gt;K(X_i\mid\pi_i)&amp;lt;/math&amp;gt; is, for each &amp;lt;math&amp;gt;i=1,\ldots,n&amp;lt;/math&amp;gt;, a conditional credal set over &amp;lt;math&amp;gt;X_i&amp;lt;/math&amp;gt;, then the strong extension of a credal network is defined as follows:&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;K(X_1,\ldots,X_n)=\mathrm{CH}\{ P(X_1,\ldots,X_n): P(x_1,\ldots,x_n)=\prod_{i=1}^n P(x_i\mid\pi_i) , P(X_i\mid\pi_i) \in K(X_i\mid\pi_i) \}&amp;lt;/math&amp;gt;&lt;br /&gt;
where &amp;lt;math&amp;gt;\mathrm{CH}&amp;lt;/math&amp;gt; denote the [[convex hull]].&lt;br /&gt;
&lt;br /&gt;
==Inference==&lt;br /&gt;
Inference on a credal network is intended as the computation of the bounds of an expectation with respect to its strong extensions. When computing the bounds of a conditional event, inference is called updating. Say that the queried variable &amp;lt;math&amp;gt;X_q&amp;lt;/math&amp;gt; and the observed variables are &amp;lt;math&amp;gt;X_E&amp;lt;/math&amp;gt;, the lower bound to be evaluated is:&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;\underline{P}(x_q\mid x_E)=\min_{P(X_1,\ldots,X_n)\in K(X_1,\ldots,X_n)} \frac{\sum_{X_q,X_E}P(X_1,\ldots,X_n)}{\sum_{X_q}P(X_1,\ldots,X_n)}. &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Being a generalization of the same problem for Bayesian networks, updating with credal networks is a NP-hard task. Yet a number of algorithm have been specified.{{vague|date=December 2012}}&lt;br /&gt;
&lt;br /&gt;
==See also==&lt;br /&gt;
* [[Imprecise probability]]&lt;br /&gt;
* [[Credal set]]&lt;br /&gt;
* [[Bayesian network]]&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
&lt;br /&gt;
{{Empty section|date=February 2013}}&lt;br /&gt;
&lt;br /&gt;
==Further reading==&lt;br /&gt;
&lt;br /&gt;
[[Category:Bayesian inference]]&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
{{probability-stub}}&lt;/div&gt;</summary>
		<author><name>Deltahedron</name></author>
	</entry>
</feed>