منطق ذاتي

المنطق الذاتي هو أحد أنواع المنطق الاحتمالي الذي يأخذ في عين الاعتبار كلاً من الارتياب وعلاقة الاعتقاد بصاحبه. يعد المنطق الذاتي مناسباً لنمذجة وتحليل الحالات التي تتضمن ارتياباً أو معرفة غير مكتملة. . فيمكن استخدامها مثلاً لنمذجة شبكات الثقة وتحليل شبكات بايز.

الوسائط التي يتعامل معها المنطق الذاتي هي الآراء الذاتية حول القضايا. يمكن أن يطبق رأياً ذو حدين على قضية واحدة، ويمكن أن يمثل كتوزيع بيتا Beta distribution. ينطبق الرأي المتعدد الحدود على مجموعة من القضايا، ويمكن تمثيله بتوزيع ديرشلت Dirichlet distribution. من خلال التواصل بين كل الآراء وبين كل من توزيع بيتا وديريشلت، يقدم المنطق الذاتي جبر للتعامل مع هذه التوابع. ترتبط الآراء لتوابع اعتقاد نظرية دمپستر-شافر Dempster-Shafer theory.

A fundamental aspect of the human condition is that nobody can ever determine with absolute certainty whether a proposition about the world is true or false. In addition, whenever the truth of a proposition is expressed, it is always done by an individual, and it can never be considered to represent a general and objective belief. These philosophical ideas are directly reflected in the mathematical formalism of subjective logic.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

 Subjective opinions

Subjective opinions express subjective beliefs about the truth of propositions with degrees of uncertainty, and can indicate subjective belief ownership whenever required. An opinion is usually denoted as $\omega _{x}^{A}$ where $A\,\!$ is the subject, also called the belief owner, and $x\,\!$ is the proposition to which the opinion applies. An alternative notation is $\omega (A:x)\,\!$. The proposition $x\,\!$ is assumed to belong to a frame of discernment (also called state space) e.g. denoted as $X\,\!$, but the frame is usually not included in the opinion notation. The propositions of a frame are normally assumed to be exhaustive and mutually disjoint, and subjects are assumed to have a common semantic interpretation of propositions. The subject, the proposition and its frame are attributes of an opinion. Indication of subjective belief ownership is normally omitted whenever irrelevant.

 Binomial opinions

Let $x\,\!$ be a proposition. A binomial opinion about the truth of a $x\,\!$ is the ordered quadruple $\omega _{x}=(b,d,u,a)\,\!$ where:

$b\,\!$: belief	is the belief that the specified proposition is true.
$d\,\!$: disbelief	is the belief that the specified proposition is false.
$u\,\!$: uncertainty	is the amount of uncommitted belief.
$a\,\!$: base rate	is the a priori probability in the absence of evidence.

These components satisfy $b+d+u=1\,\!$ and $b,d,u,a\in [0,1]\,\!$. The characteristics of various opinion classes are listed below.

An opinion	where $b=1\,\!$	is equivalent to binary logic TRUE,
	where $d=1\,\!$	is equivalent to binary logic FALSE,
	where $b+d=1\,\!$	is equivalent to a traditional probability,
	where $b+d<1\,\!$	expresses degrees of uncertainty, and
	where $b+d=0\,\!$	expresses total uncertainty.

The probability expectation value of an opinion is defined as $E=b+au\,\!$.

Binomial opinions can be represented on an equilateral triangle as shown below. A point inside the triangle represents a $(b,d,u)\,\!$ triple. The b,d,u-axes run from one edge to the opposite vertex indicated by the Belief, Disbelief or Uncertainty label. For example, a strong positive opinion is represented by a point towards the bottom right Belief vertex. The base rate, also called relative atomicity, is shown as a red pointer along the base line, and the probability expectation, $E\,\!$, is formed by projecting the opinion onto the base, parallel to the base rate projector line. Opinions about the three propositions X, Y and Z are visualized on the triangle to the left, and their equivalent Beta distributions are visualized on the plot to the right. The numerical values and verbal discrete descriptions of each opinion are also shown.

Beta distributions are normally denoted as $\mathrm {Beta} (\alpha ,\beta )\,\!$ where $\alpha \,\!$ and $\beta \,\!$ are its two parameters. The Beta distribution of a binomial opinion $\omega =(b,d,u,a)\,\!$ is the function $\mathrm {Beta} (\alpha ,\beta ){\mbox{ where }}{\begin{cases}\alpha &=2b/u+2a\\\beta &=2d/u+2(1-a)\end{cases}}\,\!$

 Multinomial opinions

Let $X\,\!$ be a frame, i.e. a set of exhaustive and mutually disjoint propositions $x_{i}\,\!$. A multinomial opinion over $X\,\!$ is the composite function $\omega _{X}=({\vec {b}},u,{\vec {a}})\,\!$, where ${\vec {b}}\,\!$ is a vector of belief masses over the propositions of $X\,\!$, $u\,\!$ is the uncertainty mass, and ${\vec {a}}\,\!$ is a vector of base rate values over the propositions of $X\,\!$. These components satisfy $u+\sum {\vec {b}}(x_{i})=1\,\!$ and $\sum {\vec {a}}(x_{i})=1\,\!$ as well as ${\vec {b}}(x_{i}),u,{\vec {a}}(x_{i})\in [0,1]\,\!$.

Visualising multinomial opinions is not trivial. Trinomial opinions could be visualised as points inside a triangular pyramid, but the 2D aspect of computer monitors would make this impractical. Opinions with dimensions larger than trinomial do not lend themselves to traditional visualisation.

Dirichlet distributions are normally denoted as $\mathrm {Dir} ({\vec {\alpha }})\,\!$ where ${\vec {\alpha }}\,\!$ represents its parameters. The Dirichlet distribution of a multinomial opinion $\omega _{X}=({\vec {b}},u,{\vec {a}})\,\!$ is the function $\mathrm {Dir} ({\vec {\alpha }})$ where the vector components are given by ${\vec {\alpha }}(x_{i})=2{\vec {b}}(x_{i})/u+2{\vec {a}}(x_{i})\,\!$

 Subjective logic operators

Most operators in the table below are generalisations of binary logic and probability operators. For example addition is simply a generalisation of addition of probabilities. Most operators are only meaningful for combining binomial opinions, but some also apply to multinomial opinions. Most operators are binary, but complement is unary, deduction is ternary and abduction is quaternary. See the referenced papers for mathematical details of each operator.

Subjective logic operators, notations, and corresponding propositional/binary logic operators

Subjective logic operator	Operator notation	Propositional/binary logic operator
Addition	$\omega _{x\cup y}^{A}=\omega _{x}^{A}+\omega _{y}^{A}\,\!$	Union
Subtraction	$\omega _{x\backslash y}^{A}=\omega _{x}^{A}-\omega _{y}^{A}\,\!$	Difference
Multiplication	$\omega _{x\land y}^{A}=\omega _{x}^{A}\cdot \omega _{y}^{A}\,\!$	Conjunction / AND
Division	$\omega _{x{\overline {\land }}y}^{A}=\omega _{x}^{A}/\omega _{y}^{A}\,\!$	Unconjunction / UN-AND
Comultiplication	$\omega _{x\lor y}^{A}=\omega _{x}^{A}\sqcup \omega _{y}^{A}\,\!$	Disjunction / OR
Codivision	$\omega _{x{\overline {\lor }}y}^{A}=\omega _{x}^{A}\;{\overline {\sqcup }}\;\omega _{y}^{A}\,\!$	Undisjunction / UN-OR
Complement	$\omega _{\overline {x}}^{A}\;\;=\lnot \omega _{x}^{A}\,\!$	NOT
Deduction	$\omega _{y\|x}^{A}=\omega _{x}^{A}\circledcirc (\omega _{y|x}^{A},\omega _{y|{\overline {x}}}^{A})\,\!$	Modus Ponens
Abduction	$\omega _{y{\overline {\|}}x}^{A}=\omega _{x}^{A}\;{\overline {\circledcirc }}\;(\omega _{x|y}^{A},\omega _{x|{\overline {y}}}^{A},a_{y})\,\!$	Modus Tollens
Transitivity / discounting	$\omega _{x}^{A:B}=\omega _{B}^{A}\otimes \omega _{x}^{B}\,\!$	n.a.
Cumulative fusion / consensus	$\omega _{x}^{A\diamond B}=\omega _{x}^{A}\oplus \omega _{x}^{B}\,\!$	n.a.
Averaging fusion	$\omega _{x}^{A{\underline {\diamond }}B}=\omega _{x}^{A}\;{\underline {\oplus }}\;\omega _{x}^{B}\,\!$	n.a.

Apart from the computations on the opinion values themselves, subjective logic operators also affect the attributes, i.e. the subjects, the propositions, as well as the frames containing the propositions. In general, the attributes of the derived opinion are functions of the argument attributes, following the principle illustrated below. For example, the derived proposition is typically obtained using the propositional logic operator corresponding to the subjective logic operator.

The functions for deriving attributes depend on the operator. Some operators, such as cumulative and averaging fusion, only affect the subject attribute, not the proposition which then is equal to that of the arguments. Fusion for example assumes that two separate argument subjects are fused into one. Other operators, such as multiplication, only affect the proposition and its frame, not the subject which then is equal to that of the arguments. Multiplication for example assumes that the derived proposition is the conjunction of the argument propositions, and that the derived frame is composed as the Cartesian product of the two argument frames. The transitivity operator is the only operator where both the subject and the proposition attributes are affected, more specifically by making the derived subject equal to the subject of the first argument opinion, and the derived proposition and frame equal to the proposition and frame of the second argument opinion.

It is impractical to explicitly express complex subject combinations and propositional logic expressions as attributes of derived opinions. Instead, the trust origin subject and a compact substitute propositional logic term can be used.

Subject combinations can be expressed in a compact or expanded form. For example, the transitive trust path from $A\,\!$ via $B\,\!$ to $C\,\!$ can be expressed as $A:B:C\,\!$ in compact form, or as $[A,B]:[B,C]\,\!$ in expanded form. The expanded form is the most general, and corresponds directly with the way subjective logic expressions are formed with operators.

 Properties

In case the argument opinions are equivalent to binary logic TRUE or FALSE, the result of any subjective logic operator is always equal to that of the corresponding propositional/binary logic operator. Similarly, when the argument opinions are equivalent to traditional probabilities, the result of any subjective logic operator is always equal to that of the corresponding probability operator (when it exists).

In case the argument opinions contain degrees of uncertainty, the operators involving multiplication and division will produce derived opinions that always have correct expectation value but possibly with approximate variance when seen as Beta/Dirichlet probability distributions. All other operators produce opinions where the expectation value and the variance are always equal to the analytically correct values.

Different composite propositions that traditionally are equivalent in propositional logic do not necessarily have equal opinions. For example $\omega _{x\land (y\lor z)}\neq \omega _{(x\land y)\lor (x\land z)}\,\!$ in general although the distributivity of conjunction over disjunction, expressed as $x\land (y\lor z)\Leftrightarrow (x\land y)\lor (x\land z)\,\!$, holds in binary propositional logic. This is no surprise as the corresponding probability operators are also non-distributive. However, multiplication is distributive over addition, as expressed by $\omega _{x\land (y\cup z)}=\omega _{(x\land y)\cup (x\land z)}\,\!$. De Morgan's laws are also satisfied as e.g. expressed by $\omega _{\overline {x\land y}}=\omega _{{\overline {x}}\lor {\overline {y}}}\,\!$.

Subjective logic allows extremely efficient computation of mathematically complex models. This is possible by approximating the analytically correct functions whenever needed. While it is relatively simple to analytically multiply two Beta distributions in the form of a joint distribution, anything more complex than that quickly becomes intractable. When combining two Beta distributions with some operator/connective, the analytical result is not always a Beta distribution and can involve hypergeometric series. In such cases, subjective logic always approximates the result as an opinion that is equivalent to a Beta distribution.

 Applications

Subjective logic is applicable when the situation to be analysed is characterised by considerable uncertainty and incomplete knowledge. In this way, subjective logic becomes a probabilistic logic for uncertain probabilities. The advantage is that uncertainty is carried through the analysis and is made explicit in the results so that it is possible to distinguish between certain and uncertain conclusions.

Trust networks and Bayesian networks are typical applications of subjective logic.

 Trust networks

Trust networks can be modelled with a combination of the transitivity and fusion operators. Let $[A,B]\,\!$ express the trust edge from $A\,\!$ to $B\,\!$. A simple trust network can for example be expressed as $([A,B]:[B,D])\diamond ([A,C]:[C,D])\,\!$ as illustrated in the figure below.

The indices 1, 2 and 3 indicate the chronological order in which the trust edges and recommendations are formed. Thus, given the set of trust edges with index 1, the origin trustor $A\,\!$ receives recommendations from $B\,\!$ and $C\,\!$, and is thereby able to derive trust in $D\,\!$. By expressing each trust edge and recommendation as an opinion $A\,\!$'s trust in $D\,\!$ can be computed as $\omega _{D}^{A}=(\omega _{B}^{A}\otimes \omega _{D}^{B})\oplus (\omega _{C}^{A}\otimes \omega _{D}^{C})\,\!$.

Trust networks can express the reliability of information sources for propositions, and can be used to determine subjective opinions about propositions. There can be a separate trust network leading to the opinion about each propositional term.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

 Bayesian Networks

In the Bayesian network below, $X\,\!$ and $Y\,\!$ are evidence frames and $Z\,\!$ is the conclusion frame. The frames can have arbitrary cardinality, and in the example the evidence frames are illustrated with cardinality 3. The conditional opinions express a conditional relationship between the evidence frames and the conclusion frame.

The evidence on $X\,\!$ and $Y\,\!$ produces separate derived opinions on $Z\,\!$ which is fused with either the cumulative or averaging fusion operator.

 انظر أيضاً

• Bayesian network
• Trust metric

 وصلات خارجية

• Online demonstrations of subjective logic.