ntqr.r2.raxioms

R=2 evaluation axioms in integer space.

This is the space of integers possible since we are dealing with finite tests. Statistics of correctness are given as integers. In the case of R=2 the evaluation of a single classifier/responder is (Q_a, R_a_a, R_b_b).

Attributes

Classes

SingleClassifierAxioms

The axioms of a single R=2 classifier

Module Contents

class ntqr.r2.raxioms.SingleClassifierAxioms(labels, classifier)

The axioms of a single R=2 classifier

question_numbers

The variables for the count of correct questions for each true label.

Type:

List[simpy.Symbol..]

responses

The variables for the observed interger count of the two classes. Generically of the form,

R_{l_i} : number of ‘l’ responses by classifier ‘i’

Type:

List[simpy.Symbol..]

correctness_variables

The variables associated with correct and wrong responses given the true label. Generically of the form,

R_{l_i, l_true}: number of ‘l’ responses by classifier ‘i’ given true label ‘l_true’.

Type:

List[simpy.Symbol..]

evaluate_axioms(eval_dict): List[expression, expression, expression]

Evaluates the axioms given the variable substitutions in ‘eval_dict’.

satisfies_axioms(eval_dict): Boolean

Checks if the variable substitutions in ‘eval_dict’ make all three axioms identically zero.

labels
classifier
questions_number
responses
responses_by_label
algebraic_expressions
evaluate_axioms(eval_dict)

Evaluates axioms given ‘eval_dict’.

Parameters:

eval_dict (Map[sympySymbol -> value])

Return type:

Dict mapping label to axiom expression.

satisfies_axioms(eval_dict)

Tests axioms are satisfied for ‘eval_dict’ values.

Parameters:

eval_dict (Map[sympySymbol -> value])

Returns:

  • Boolean (returns True if the axioms are identically zero, False)

  • otherwise.

ntqr.r2.raxioms.raja
ntqr.r2.raxioms.rbjb
ntqr.r2.raxioms.raka
ntqr.r2.raxioms.rbkb
ntqr.r2.raxioms.raiaja
ntqr.r2.raxioms.raiaka
ntqr.r2.raxioms.rajaka
ntqr.r2.raxioms.rbibjb
ntqr.r2.raxioms.rbibkb
ntqr.r2.raxioms.rbjbkb
ntqr.r2.raxioms.three_responders_axiom = []