constructingJustifications: Programmatically constructing justifier elements

Description Usage Arguments Value Examples

Description

These functions can be used to programmatically construct justifications.

Usage

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
source(label, description = NULL, xdoi = NULL, type = NULL, id = NULL, ...)

assert(label, description = "", id = NULL, source = NULL, ...)

justify(label, description = "", id = NULL, assertion = NULL, ...)

dcsn(label, description = NULL, id = NULL, justification = NULL, ...)

## S3 method for class 'justifierElement'
c(...)

Arguments

label

A human-readable label for the decision, justification, assertion, or source.

description

A human-readable description.

xdoi, type

For sources, XDOI identifier and type can also be specified.

id

The identifier (randomly generated if omitted).

...

Additional fields and values to store in the element.

source

In assertions, the source (or sources) that the assertion is based on can be specified using srce().

assertion

In justifications, the assertion (or assertions) that the justification is based on can be specified using asrt().

justification

In decisions, the justification (or justifications) that the decision is based on can be specified using jstf().

Value

The generated object.

Examples

1
2
3
4
5
6
7
### Programmatically create a simple justification object
justifierObject <-
  justifier::asrt(
    "assertion",
    source = c(
      justifier::srce('source1'),
      justifier::srce('source2')));

Matherion/justifier documentation built on Dec. 31, 2020, 3:13 p.m.