View source for Discussion

[[Category:THL publications 2009]]
[[Category:THL publications 2010]]
[[op_fi:Keskustelu]]
[[Category:Universal object]]
[[Category:Open policy practice]]
[[Category:Decision analysis and risk management]]
{{method|moderator = Jouni
| reference = {{publication
| authors        = Jouni T. Tuomisto, Mikko V. Pohjola
| page           = Discussion
| explanation    = Introduction to discussions in [[Opasnet]].
| publishingyear = 2019
| urn            = 
| elsewhere      = 
}}
}}
[[Category:Glossary term]]
<section begin=glossary />
:'''Discussion''' is a method to organise information about a topic into a form of hierarchical thread of arguments trying to resolve whether a statement is true or not. In discussion, anyone can raise any relevant points about the topic. Discussion is organised using the pragma-dialectical argumentation theory<ref name="pragmadial">Eemeren, F.H. van, & Grootendorst, R. (2004). A systematic theory of argumentation: The pragma-dialectical approach. Cambridge: Cambridge University Press.</ref>. A discussion usually consists of three parts: 1) opening statement(s); 2) the actual discussion organised as hierarchical threads of arguments; and 3) closing statement(s), which is updated based on the discussion, notably any valid arguments pointing to it. When a closing statement is updated, the content should be accordingly portrayed within texts that refer to the discussion.
<section end=glossary />

Contribution in the form of remarks or argumentative criticism on the content of wiki pages is most welcome. It can change the outcome of an assessment; it will improve it and make the assessment better understandable for decision makers and other stakeholders. The discussions will show the reasoning behind the work done in an assessment; it will indicate the objective and normative aspects in an assessment. In this way, decision makers and stakeholders can judge themselves whether they agree on such normative weightings. Discussion rules and formats facilitate the execution and synthesis of discussions.

== Question ==

How should discussions be organised in such a way that
* they can capture all kinds of written and spoken information, facts and valuations related to a specific topic,
* there are straightforward rules about how the information should be handled,
* the approach facilitates the convergence to a [[shared understanding]] by easily identifying and describing differing premises and other reasons behind disagreements,
* the appraoch can be applied both ''a priori'' (to structure a discussion to be held) and ''a posteriori'' (to restructure a discussion already held)?

==Answer==

=== Discussion structure ===

{{discussion
|id=Disc1
|type=fact
|title=Example discussion showing a typical structure
|openingStatement= Opening statements about a topic. This is the starting point of a discussion.
|closingStatement= Outcome of the discussion, i.e. opening statement updated by valid arguments pointing to it.
|Resolved = Yes.
|Argumentation =
{{argument|relat1=attack|id=arg1 |content=This argument attacks the statement. Arguments always point to one level up in the hierarchy.|sign=--[[User:Jouni|Jouni]] 17:48, 8 January 2010 (UTC)}}
:{{argument|relat1=defense|id=arg2 |content=This argument defends argument arg1.|sign=--[[User:Jouni|Jouni]] 17:48, 8 January 2010 (UTC)}}
:{{argument|relat1=defense|showtruth=untrue|id=arg3|content=This is an invalid defense of arg1 because it is successfully attacked by argument arg4.|sign=--[[User:Jouni|Jouni]] 17:48, 8 January 2010 (UTC)}}
::{{argument|relat1=attack|id=arg4 |content=This is a valid attack against argument arg3, because it is itself not successfully attacked.|sign=--[[User:Jouni|Jouni]] 17:48, 8 January 2010 (UTC)}}
:::{{argument|relat1=branch|id=arg5|content=This is a branch. The argument one level higher (arg4 in this case) defends this argument, but this argument points to a new statement, not the original one of this discussion. The use of branches is not recommended, as they don't bring added value to this question; rather, start another discussion with a relevant statement.|sign=--[[User:Jouni|Jouni]] 10:10, 10 January 2010 (UTC)}}
:{{argument|relat1=comment|id=arg6 |content=This is a comment. It clarifies the discussion but does not invalidate arguments.|sign=--[[User:Jouni|Jouni]] ([[User talk:Jouni|talk]]) 17:38, 6 December 2014 (UTC)}}
}}

=== Discussion rules ===

# Freedom of opinion. Everyone has the right to criticize or comment on the content of a discussion.
# A discussion is organised around an explicit statement or statements. The purpose of a discussion is to resolve which of the opening statements, if any, are valid. The statement(s) are updated according to the argumentation; this becomes the closing statement.
# A statement is defended or attacked using arguments, which themselves also can be defended and attacked. This forms a hierarchical thread or tree-like structure.
# Critique with a supporting, attacking, or commenting argument is stated in connection to what is being criticized.
# Argumentation must be relevant to the issue that they target.
# Only statements made and arguments given can be attacked.
# An argument is valid unless it is attacked by a valid argument. Defending arguments are used to protect arguments against attacks, but if an attack is successful, it is stronger than a defense.
# Attacks must be based on one of the two kinds of arguments:
#* The attacked argument is claimed to be irrelevant in its context.
#* The attacked argument is claimed to be not true, i.e. it is not consistent with observations.
# Other attacks such as those based on evaluation of the speaker (''argumentum ad hominem'') are weak and are treated as comments rather than attacks.
# Argumentation can not be redundant. If arguments are repeated, they should be merged into one.
# You are supposed to be committed to your statements, that is:
#* if someone doubts your statement or argument (comment), you must explain it (edit or defend).
#* if someone attacks your statement or argument (attack), you must defend it (defend).
# A discussion is called resolved, when someone writes a closing statement based on the opening statement and the current valid arguments targeting it, and updates the text (typically on a knowledge crystal page) that is targeted by the discussion.
# However, discussions are continuous. This means that anyone can re-open a discussion with new arguments even if a closing statement has been written.

== Rationale ==

The structure of the discussion follows the principles of the [https://en.wikipedia.org/wiki/Pragma-dialectics pragma-dialectics].<ref name="pragmadial">Eemeren, F.H. van, & Grootendorst, R. (2004). A systematic theory of argumentation: The pragma-dialectical approach. Cambridge: Cambridge University Press.</ref>{{reslink|Names of the discussion parts}}

A discussion is typically an important detail of a larger whole, such as a [[knowledge crystal]] in an assessment, but does attempt to give a full answer to the knowledge crystal question. The purpose of a discussion is to identify which of the opening statements are valid, or how they should be revised to become valid. 

Arguments are actually statements; the only differences is that the target of an argument is another argument or statement within a particular discussion, while the target of a statement is some explicated use outside the discussion, such as in the rationale of a knowledge crystal. Therefore, an argument can be upgraded into a statement of a new discussion, if it is needed elsewhere.

=== How to discuss ===

[[Open policy practice]] embraces participation, in particular deliberative participation. Therefore all contributions in the form of remarks or argumentative criticism on the content of the assessments, variables, methods as well as other content are most welcome. The contributions can change the outcome of the assessments by improving their information content and making it better understandable for decision makers, stakeholders and public. Documented discussions also show the reasoning behind the work done in assessments making it possible for decision makers, stakeholders and public to judge for themselves whether they agree with the reasoning behind the outcomes. In order to obtain an orderly discussion, rules and format for discussion in open policy practice have been created based on pragma-dialectics, a systematic theory of argumentation.

Discussion has a central role in the collaborative process of formulating questions, developing hypotheses as answers to these questions, and improving these hypotheses through criticism and corresponding corrections. When a diverse group of contributors participate in an assessment, it is obvious that disputes may arise. Formal argumentation offers a solution also to clarify and potentially solve disputes. In collaborative assessments, every knowledge crystal and every part of them are subject to open criticism according to the rules modified from pragma-dialectics<ref name="pragmadial"/>): see Answer above.

When a discussion goes on, there is often a need to clarify the opening statement to make it better reflect the actual need of the discussion. Within a small group of actively involved discussants, the statement can be changed with a mutual agreement. However, this should be done with caution to not distort the original meaning of any existing arguments. Rather, it should be considered whether a new discussion with the revised opening statement should be launched.

=== Discussion structure ===

A discussion has three parts: opening statement(s), argumentation, and closing statement(s). Often also references are added to back up arguments. These are briefly described below using a discussion template. Argumentation consists of defending and attacking arguments and comments.

{{discussion 
|id=Disc2
|openingStatement = ''Opening statement'' contains one statement or several alternative, conflicting statements. This explicates the dispute at hand. In Opasnet it must be relevant for the page where the discussion is located.
|closingStatement = ''Closing statement'' contains the current valid statement of the discussion, revised based on the opening statements and the valid arguments targeting it. In this example, the current arguments indicate that the opening statement is accepted, except if you apply [[paradigm]] toldya then it is not. The content of a closing statement is transferred to the texts that refer to this discussion (in Opasnet, such references typically come from a knowledge crystal page to its own talk page where the discussion is); after this, the discussion is called ''resolved''. It should be noted that resolutions are always temporary, as discussions can be opened again with new arguments.
|title = Statments accepted except if toldya.
|Resolved = Yes.
|Argumentation = 

:{{argument|relat1=comment|id=arg1 |title=Argument structure explained|content= The '''argumentation''' contains the actual discussion, organised as hierarchical threads of arguments. Each argument is either an attack against or a defense for an argument (called target). The original statement can also be targeted. As an argument always point to another argument, they form a hierarchical thread structure. It is also possible to use coordinative arguments where two or more arguments together act like one argument. Each argument is valid unless it has no proponents (a discussant promoting the argument) or it is attacked by a valid argument. However, also other validity rules than the default one can be used (see [[#validity and relevance]] below). In addition to attacks and defenses, also comments can be used for asking or offering clarification; comments do not affect the validity of the target argument. For example, this paragraph is a comment.|sign=--[[User:Jouni|Jouni]] 23:57, 2 January 2010 (UTC)}}
:{{argument|relat1=defense|id=arg2|title=Defense explained|content=If you agree with the argument one level higher (the opening statement in this case), you should use this '''defending argument''' template.|sign= --[[User:Jouni|Jouni]] 23:57, 2 January 2010 (UTC)}} 
:{{argument|relat1=attack|id=arg3|title=Attack explained|content=If you disagree with the argument one level higher (the opening statement in this case), you should use this '''attacking argument''' template.| sign=--[[User:Jouni|Jouni]] 23:57, 2 January 2010 (UTC)}}
::{{argument|relat1=attack|showtruth=untrue|parad1=science|id=arg933|type=truth|title=Paradigm-specific argument|content=This attack claims that the target argument arg3 is untrue. However, this claim is disputed, and with scientific paradigm this argument is untrue (because the scientific paradigm requires that every argument is backed up by references). However, with paradigm toldya this argument is true (because with toldya, there is no such requirement). With both paradigms, the attack against arg3 is relevant.|sign=--[[User:Jouni|Jouni]] ([[User talk:Jouni|talk]]) 06:43, 14 July 2018 (UTC)|truth2=true|parad2=toldya}} 
:{{argument|relat1=defense|showtruth=untrue|id=arg4 |title=Invalid argument explained|content=This argument is invalid because it is attacked by a valid argument (arg5). If you want to make it valid again, you should successfully invalidate all the attacking arguments.|sign=--[[User:Jouni|Jouni]] 23:57, 2 January 2010 (UTC)}}
::{{argument|relat1=attack|type=truth|id=arg5 |title=Truthlikeness attack|content=This is the argument that attacks the truthlikeness of argument arg4. The id numbering does not have any specific order or meaning, they are just used for identifying arguments, but it is recommended that it starts with ''arg''. Typical numbering systems are to use the first unused natural number a random four-digit number. Id is used as a reference when needed.|sign=--[[User:Jouni|Jouni]] 23:57, 2 January 2010 (UTC)}}
::{{argument|showrelevance=irrelevant|relat1=attack|type=truth|id=arg1124|title=True but irrelevant argument.|content=This argument attempts to attack the truthlikeness of argument #4, but this argument is irrelevant (and thus ineffective) although it is true.|sign=--[[User:Jouni|Jouni]] ([[User talk:Jouni|talk]]) 08:31, 12 July 2018 (UTC)}}
:::{{argument|relat1=attack|type=relevance|id=arg1125|title=Irrelevance attack|content=This argument attacks the relevance of argument #1124 and says that it is irrelevant in attacking the statement.|sign=--[[User:Jouni|Jouni]] ([[User talk:Jouni|talk]]) 08:31, 12 July 2018 (UTC)}}
}}

[[File:Risks of open government.svg|700px]]

The figure above shows a discussion started by Bengt Holmstöm about problems of open governance. Each argument is shown as a trapezoid. Discussion is organised around an opening statement (pink), which develops into a closing statement (blue for facts, green for values) during the discussion process.

[[File:Structured discussion on an argumentation tool.png|400px|thumb|Structured discussion at an argumentation tool (https://dev.tietokide.fi/?Q10)]]

=== Structure of an argument ===

Each argument has the following properties (see table below).

{| {{prettytable}}
|+ '''The parameters of an argument and possible combinations.
|----
! Id
! Title
! Content
! Sign
! Target
! Type
! Paradigm
! Relation
! Result
! Comment
|----
| arg1234
| Short title for display
| Actual argument
| Signature
| arg9876
| relevance
| science
| attack
| 1
| If paradigm changes (all else equal), relation may change, although typically only the result changes.
|----
| arg1234
| Short title for display
| Actual argument
| Signature
| arg5555
| relevance
| science
| comment
| 0
| 
|----
| arg1234
| Short title for display
| Actual argument
| Signature
| arg6666
| truth
| science
| defense
| 1
| Truth refers to the truth of the target
|----
| arg1234
| Short title for display
| Actual argument
| Signature
| arg1234
| selftruth
| science
| attack
| 0
| Selftruth refers to the truth of the argument itself, unlike other types that refer to the target.
|----
| arg1234
| Short title for display
| Actual argument
| Signature
| arg9876
| relevance
| toldya
| comment
| 0
| 
|----
| arg1234
| Short title for display
| Actual argument
| Signature
| arg5555
| relevance
| toldya
| defense
| 1
| 
|----
| arg1234
| Short title for display
| Actual argument
| Signature
| arg6666
| truth
| toldya
| attack
| 0
| 
|----
| arg1234
| Short title for display
| Actual argument
| Signature
| arg1234
| selftruth
| toldya
| comment
| 1
| The relation in case of type=selftruth is irrelevant and is ignored.
|----
| {{yes|}}
| {{yes|}}
| {{yes|}}
| {{yes|}}
| 
| 
| 
| 
| 
| These are unique to an argument
|----
| 
| 
| 
| 
| {{yes|}}
| {{yes|}}
| 
| 
| 
| These are unique to an argument-target pair
|----
| 
| 
| 
| 
| 
| 
| {{yes|}}
| {{yes|}}
| {{yes|}}
| These are unique to a triple of argument-target-paradigm
|----
|}

Importantly, an argument always has the same id, title, content, and signature. Even if the argument is used several times in different parts of a discussion, it is still a single argument with no variation in these parameters. However, an argument may target several other arguments (as shown as an arrow on [[insight network]] graph). Each of these arrows has exactly one type (either relevance or truth); if an arguments targets itself, the type is selftruth. 

Finally, people may disagree about the target relation (whether an argument is attacking, defending, or commenting a target argument) and also whether the target relation is successful or not. These disagreements are operationalised as paradigms. One paradigm has exactly one opinion about the relation and the result (e.g. that an argument is an untrue attack), while another paradigm may have another conclusion (e.g. that an argument is true defend).

Parameters are defined in the [[:Template:Argument|argument template]] of Opasnet, and they are embedded into the html code when a wiki page is parsed. It is therefore possible to collect that data by page scraping. The following properties are used to identify the properties of arguments.

{| {{prettytable}}
|+'''Parameter properties
! Parameter
! Css selector (Opasnet page scraping)
! Requirements
|----
| Id
| .argument attr=id
| Must start with a letter
|----
| Title
| .argument .title
| Short text. Is shown on insight graph as node label
|----
| Content
| .argument .content
| Text, may be long. Is shown with hover on graph
|----
| Sign
| .argument .sign a:first-of-type
| Must contain a link to participant's user page. Is shown with hover on graph
|----
| Target
| NA
| Previous argument one level up, or the statement for arguments on the first level
|----
| Type
| .argument i.type
| One of the three: relevance, truth, or selftruth (or "both", which is depreciated)
|----
| Paradigm
| .argument .paradigm
| Each paradigm should be described on a dedicated page. The rules implemented must be clear
|----
| Relation
| .argument .relation
| Is one of these: attack, defense, comment. "Branches" are typically uninteresting and ignored.
|----
| Result
| 
* relevance= .argument .relation attr=color. Gray= 0 (irrelevant), other=1 (relevant).
* truth= .argument .relation attr=color. Gray=0 (untrue), other=1 (true)
* selftruth= .argument .selftruth attr=color. Gray=0 (untrue), other=1 (true)
| Truthlikeness of the relation. Either 1 or 0
|----
|}

=== Validity and relevance ===

:''Main article: [[Paradigm]].

Each argument may be valid or invalid meaning that it does or does not affect its target argument, respectively. Validity depends on two parameters of an argument: it is valid if and only if it is true and relevant. Arguments that are untrue or irrelevant are invalid. It should be noted that with arguments, truth and relevance are thought in a narrow, technical sense: if an argument fulfills certain straightforward truth criteria, it is considered true, and the same applies to relevance. This is not to mean that they are true or relevant in an objective sense; rather, these are grassroot-level practical rules that ideally makes the system as a whole to converge towards what we consider truth and relevance. The current default criteria (called the "[[Science (paradigm)|scientific paradigm]]") are the following.

An argument is true iff
* it is backed up by a reference, and
* it is not attacked by a valid argument about its truthlikeness (a truth-type argument).

An argument is relevant iff
* it is not attacked by a valid argument about its relevance (a relevance-type argument).

Truth is a property of an argument itself, so if it is true in one discussion, it is true always. Of course, this does not mean that a sentence used in an argument is true in all contexts, but rather that the idea presented in a particular context is true in all discussions. Therefore, people should be very clear about the context when they borrow arguments from other discussions.

In contrast, relevance is a property of the relation between an argument and its target argument (or target statement). Again, this is a context-sensitive property, and in practice, it is possible to borrow relevance from another discussion only if both the argument and its target appear in that exact form and context in both discussions.

Each argument is an attack (red), a defense (green), or a comment (blue) towards its target. The nature of the argument is shown with its colour. The same argument may also attack or defend another argument, with possibly a different colour. This is because the colour is actually not the colour of the argument itself, but it is the colour of its ''relation'' with the target. There are a few possibilities to avoid confusion with these differing colours when using arguments on a wiki page.
* An argument is written once in one place, and then a copy of it (with only the arrow and the identifier) is pasted to all other relevant places, with proper colours for those relations.
* I there are several opening statements, the colour should always reflect the relationship to the first (i.e., primary) statement. If the primary statement changes, the colours should be changed respectively.

The legacy templates ([[:Template:Attack|Attack]], [[:Template:Defend invalid|Defend invalid]] etc.) do not differentiate between truth and relevance, but only validity. Therefore they are depreciated, and a new generic template [[:Template:Argument|Argument]] should be used instead. It is capable of showing relevance (irrelevant arguments have gray arrows) and truth (untrue arguments have gray content). If a legacy template is used, an invalid argument is assumed to be both irrelevant and untrue; it is also assumed to apply the scientific paradigm. If other paradigms are used, this must be stated clearly in the text, because the template offers no functionality for it. In Opasnet, the Argument template is capable of describing five different paradigms and the relevance and truth values of each (see [[#Practices in Opasnet]]).

'''Paradigms in argumentation

Paradigms are collections of rules to determine when an argument is true or relevant. The ''[[Science (paradigm)|scientific paradigm]]'' is the default in Opasnet, but any paradigms can be developed as long as the rules can be explicitly described and implemented. For example, previously Opasnet implicitly applied a paradigm called ''unattackedstand'' (although the name was coined only in summer 2018 and the mere concept of paradigms was developed in early 2018). Unattackedstand has the same rules as the scientific paradigm except that a true argument does not need a reference, a user backing up an argument with their signature is enough.

Paradigms may also have other rules than direct validity rules. For example, the scientific paradigm considers an argument based on observations stronger than an argument based on (expert) opinions without observations, and an ''argument ad hominem'' is even weaker.

However, the rules in a paradigm can be anything, e.g. that the strongest arguments are those by a particular user or an authoritative source, such as a holy book. These rules will clearly lead to different validity estimates and interpretations of a discussion. But the methods of discussions and [[open policy practice]] have been developed having this in mind. The outcome of such explicitly described differences in interpretations are called [[shared understanding]], and that is considered the main product of these methods.

=== Practices in Opasnet ===

For discussing, the [[#discussion structure]] should be used. In Opasnet, click the blue capital '''D''' in the toolbar on top of the edit window to apply the discussion template. This is how the discussion format appears:

<pre>
{{discussion 
|id = unique identifier of discussion on this page
|Statements = 
|Resolution = 
|Resolved = Yes, if respective texts updated; empty otherwise.
|Argumentation = Threaded hierarchical list of arguments. Each argument is on its own line. Hierarchy is created by using indents (colon character : in the beginning of a line). For example:

{{argument|relat1=comment|id=1|content=The blue horizontal line on the toolbar represents the comment button. It yields this blue layout, which is used for comments and remarks.}} 
:{{argument|relat1=attack|id=3|content=This red arrow represents an attacking argument. }} 
::{{argument|relat1=defend|id=2|content=This green arrow represents a defending argument.}} 
}}
</pre>

Arguments can have the parameters that are listed below (each parameter is shown on a separate line for clarity). Note that the parameters may be in any order, and it might be a good idea to show relat1 first. For details, see [[:Template:Argument]].

<pre>
{{argument
| id = identifier of the argument, unique on this page, default: arg + 4 random digits
| title = a short description of the content; displayed on insight networks
| content = content of the argument
| sign = signature of the speaker, default: --~~~~
| type = type of the relation to the target argument, i.e. what is attacked or defended. Either truth or relevance.
| parad1 = main paradigm used to derive the relation between this argument and its target. This is used to format the argument.
| relat1 = relation type between the argument and its target according to the first paradigm: it has two words separated by a single space. The first is either relevant or irrelevant and the second either attack, defend, or comment.
| true1 = truthlikeness of the argument according to the first paragism: either true or untrue.
| parad2 = the second paradigm used.
| relat2 = the second relation type according to paradigm2. Default: relat1
| true2 = the second truthlikeness according to paradigm2. Default: true1
| parad3 etc. up to parad5 in this wiki
}}
</pre>

Furthermore:
* If you agree with an argument made by others, you can place your signature (click the signature button in the toolbar) after that argument.
* Arguments may be edited or restructured. However, if there are signatures of other people, only minor edits are allowed without their explicit acceptance.

In order to contribute to a discussion you need to have a user account and be logged in.

=== Referring to a discussion in Opasnet ===

On a text that refers to a particular discussion (often on the content page of the respective talk page), you should make links at the relevant points to the respective discussions. There are two possibilities:
* {{disclink|Top}} Link to a discussion that is not yet resolved.
* {{reslink|Top}} Link to a resolved discussion.
Because all discussions can be re-opened, the difference between the two is '''not''' whether people are likely to participate in the discussion in the future or not. Instead, {{reslink|Top}} means that the current outcome of the discussion, whether an agreement or a continuing dispute, has been transferred to the main page, i.e. the contents of the main page reflect the current status of the discussion. In contrast, {{disclink|Top}} means that in the discussion itself, there is some information that is not yet reflected on the main page; therefore, the reader should read the discussion as well to be fully aware of the status of the page. This way, there is not a need to constantly update the main page during an active discussion. The updating can be done when the outcome of the discussion has stabilised.

=== Re-organising discussions afterwards ===

Free-format discussions can be re-organised ''a posteriori'' (afterwards) into the discussion structure presented here. The main tasks in this work are to
* document original sources of material,
* remove redundant text,
* structure the arguments around a useful opening statement,
* clarify arguments to be understandable without the context of the original discussion,
* analyse and synthesise outcome into a closing statement,
* save and publish your work.

See an example of a re-organisation work in [[:op_fi:Keskustelu:Pienhiukkasten terveysvaikutukset Suomessa#Keskustelu pienhiukkasvaikutuksesta |Discussion of health effects of PM2.5 in Finland]](in Finnish)

=== Calculations ===

<rcode label="Initiate argument inference functions">
# This is code Op_en####/update on page [[Discussion]]

library(OpasnetUtils)

update_truth <- function(
  paplus, # P(A+)
  pbplus, # P(B+)
  seprime # parameter for producing se for argument A
) {
  if(any(paplus>=1) | any(paplus<=0)) stop("probability P(A+) must be between ]0,1[, not ",paplus)
  if(any(pbplus>=1) | any(pbplus<=0)) stop("probability P(B+) must be between ]0,1[, not", pbplus)
  if(any(seprime <= -1) | any(seprime >=1)) stop("seprime for A must be between ]-1,1[, not", seprime)
  if(seprime>=0) {
    se <- pbplus + seprime * (pmin(1,pbplus/paplus) - pbplus)
  } else {
    se <- pbplus + seprime * pbplus
  }
  a <- se* paplus
  b <- pbplus -se*paplus
  c <- paplus -se*paplus
  d <- 1-paplus-pbplus+se*paplus
  sp <- d/(b+d)
  pab <- a/(a+b)
  fb <- se/(1-sp)
  papost <- a/(a+b)*pbplus + c/(c+d)*(1-pbplus)
  return(c(pab,se,papost))#, a, b, c, d, sum(a, b, c, d), se, sp, fb))
}

update_relevance <- function(
  pcplus, # P(C+)
  seprimeb, # relevance parameter prior for argument B, ]-1,1[
  seprimec # relevance parameter for parent argument C, ]-1,1[
) {
  seprimeb_sign <- sign(seprimeb)
  out <- abs(seprimeb)
  if(seprimec>=0) {
    out <- out + seprimec*pcplus*(1-out)
  } else {
    out <- out - seprimec*pcplus*out
  }
  out <- out * seprimeb_sign
  return(out)
}

infer_tree <- function(
  df,
  SENSITIVITY_PRIME,
  TRUTH_PRIOR
) {
  df$seprime <- SENSITIVITY_PRIME * ifelse(df$colour=="PRO",1,-1)
  df$truth <- TRUTH_PRIOR
  args_by_level <- df$Item[order(-df$level)]
  for(arg in args_by_level) {
    parents <- df$Item[df$Object==arg]
    for(parent in parents) {
      if(df$class[df$Item==parent]=="truth") {
        df$truth[df$Item==arg] <- update_truth(
          df$truth[df$Item==arg],
          df$truth[df$Item==parent],
          df$seprime[df$Item==arg]
        )[1]
      }
      if(df$class[df$Item==parent]=="relevance") {
        df$seprime[df$Item==arg] <- update_relevance(
          df$truth[df$Item==parent],
          df$seprime[df$Item==arg],
          df$seprime[df$Item==parent]
        )
      }
    }
  }
  return(df)
}

objects.store(update_truth, update_relevance, infer_tree)
cat("Functions update_truth, update_relevance, and infer_tree stored.\n")
</rcode>

==See also==

* [https://www.kialo.com/individuals-should-own-their-personal-data-or-not-23849?path=23849.0~23849.1 Individuals should own their personal data (or not?) | Kialo]
* [https://www.amazon.com/Breaking-News-Remaking-Journalism-Matters/dp/0374279624 Breaking News: The Remaking of Journalism and Why It Matters Now: Alan Rusbridger: 9780374279622: Amazon.com: Books]
* [https://en.wikipedia.org/wiki/Aumann%27s_agreement_theorem Aumann's agreement theorem - Wikipedia]
** [https://www.sciencedirect.com/science/article/abs/pii/016517658390126X Learning to agree - ScienceDirect]
* [https://en.wikipedia.org/wiki/Discursive_psychology Discursive psychology - Wikipedia]
* [https://www.sciencedirect.com/science/article/pii/S1877343519300880 Usable environmental knowledge from the perspective of decision-making: the logics of consequentiality, appropriateness, and meaningfulness - ScienceDirect]
* [https://vtechworks.lib.vt.edu/bitstream/handle/10919/82874/UP%203%282%29%20-%20The%20Dilemmas%20of%20Citizen%20Inclusion%20in%20Urban%20Planning%20and%20Governance%20to%20Enable%20a%201.5%20_C%20Climate%20Change%20Scenario.pdf?sequence=1&isAllowed=y The Dilemmas of Citizen Inclusion in Urban Planning and Governance to Enable a 1.5 °C Climate Change Scenario - UP 3(2) - The Dilemmas of Citizen Inclusion in Urban Planning and Governance to Enable a 1.5 _C Climate Change Scenario.pdf]
* [https://lawrencesusskind.mit.edu/sites/default/files/documents/oxfordhb-9780198747369-e-17.pdf Deliberative Democracy and Public Dispute Resolution - Oxford Handbooks - oxfordhb-9780198747369-e-17.pdf]
* [https://en.wikipedia.org/wiki/Lawrence_Susskind Lawrence Susskind - Wikipedia]
* [https://dialogiakatemia.fi/2020/04/14/dialogin-etafasilitointi/ Dialogin etäfasilitointi   – DialogiAkatemia]
* [https://www.kialo.com/ Kialo] for organised discussions
* [https://www.mediawiki.org/wiki/Structured_Discussions Structured Discussions]: another discussion system for MediaWiki projects
* [https://www.mediawiki.org/wiki/Extension:Iframe Iframe extension]: may be considered as an alternative to an inside-wiki discussion system: discussion functionality is "borrowed" from antother website using iframes.
* [[Discussion]]
* [[Argument]]
* [[Dealing with disputes]]
* [http://en.opasnet.org/en-opwiki/index.php?title=Discussion_structure&direction=prev&oldid=42070 Discussion structure] (archived in March 2010)
* [http://en.opasnet.org/en-opwiki/index.php?title=Discussion_method&direction=prev&oldid=42071 Discussion method] (archived in October 2009)
* [[:Category:Ongoing discussions]]
* [[:Category:Resolved discussions]]
* [[:Template:Discussion]] (for technical usage of the template)
* [[:Template:Argument]] (for technical usage of the template)
* [http://en.wikipedia.org/wiki/Pragma-dialectics Pragma-dialectical argumentation theory]
* [[:op_fi:Keskustelu:Keskustelu|Keskustelu:Keskustelu]] some more guidance in Finnish Opasnet
* [http://try.discourse.org/ Discourse] website for intelligent discussions: the best contributions are voted to the top
* [http://stackoverflow.com/ Stackoverflow] about intelligent discussions on computers and ICT.
* [http://meta.stackexchange.com/questions/2267/stack-exchange-clones Stack Exchange clones]
* [http://www.question2answer.org/ Question2Answer] is a free and open source platform for Q&A sites.

==References==

<references/>

{{eracedu}}