Index

A

alpha_symbols (pyMentalModels.tests.test_numpy_models.TestComposedModels attribute) (pyMentalModels.tests.test_numpy_models.TestNumpySimpleModels attribute)

atom_index_mapping (pyMentalModels.mental_model.mental_model attribute) atoms_model (pyMentalModels.mental_model.mental_model attribute)

B

build_and() (in module pyMentalModels.numpy_reasoner) build_equals() (in module pyMentalModels.numpy_reasoner) build_implication() (in module pyMentalModels.numpy_reasoner) build_necessary() (in module pyMentalModels.numpy_reasoner)

build_not() (in module pyMentalModels.numpy_reasoner) build_or() (in module pyMentalModels.numpy_reasoner) build_possibly() (in module pyMentalModels.numpy_reasoner) build_xor() (in module pyMentalModels.numpy_reasoner)

C

combine_mental_models() (in module pyMentalModels.infer)

D

default_assumptions (pyMentalModels.custom_logical_classes.Necessary attribute) (pyMentalModels.custom_logical_classes.Possibly attribute)

E

EXPLICIT (pyMentalModels.numpy_reasoner.Insight attribute)

expr (pyMentalModels.mental_model.mental_model attribute)

F

FOLLOWS (pyMentalModels.infer.InferenceTask attribute)

I

infer() (in module pyMentalModels.infer) InferenceTask (class in pyMentalModels.infer)

Insight (class in pyMentalModels.numpy_reasoner) INTUITIVE (pyMentalModels.numpy_reasoner.Insight attribute)

M

map_instance_to_operation() (in module pyMentalModels.numpy_reasoner) mental_model (class in pyMentalModels.mental_model)

mental_model_builder() (in module pyMentalModels.numpy_reasoner) model (pyMentalModels.mental_model.mental_model attribute)

N

Necessary (class in pyMentalModels.custom_logical_classes) NECESSARY (pyMentalModels.infer.InferenceTask attribute)

normalize_combined_model_values() (in module pyMentalModels.infer) NotSureThisIsRightError

O

ONLY_MODELS (pyMentalModels.infer.InferenceTask attribute)

P

parse_expr() (in module pyMentalModels.modal_parser) parse_format() (in module pyMentalModels.modal_parser) POSSIBLE (pyMentalModels.infer.InferenceTask attribute) Possibly (class in pyMentalModels.custom_logical_classes) pretty_print_atom_assign() (in module pyMentalModels.pretty_printing) PROBABILITY (pyMentalModels.infer.InferenceTask attribute) probability_intuititive_explicit() (in module pyMentalModels.numpy_reasoner) pyMentalModels (module) pyMentalModels.custom_logical_classes (module) pyMentalModels.infer (module)

pyMentalModels.mental_model (module) pyMentalModels.modal_parser (module) pyMentalModels.numpy_reasoner (module) pyMentalModels.pretty_printing (module) pyMentalModels.tests (module) pyMentalModels.tests.test_infer (module) pyMentalModels.tests.test_lisp_cases (module) pyMentalModels.tests.test_numpy_helper (module) pyMentalModels.tests.test_numpy_models (module) pyMentalModels.tests.test_parsing (module)

R

resize_model() (in module pyMentalModels.infer)

S

sympify_formatter() (in module pyMentalModels.modal_parser)

T

test_A_and_B_XOR_B_and_C() (pyMentalModels.tests.test_numpy_models.TestComposedModels method) test_A_and_BorC_and_DxorE() (pyMentalModels.tests.test_parsing.TestParse method) test_A_or_A() (pyMentalModels.tests.test_numpy_models.TestNumpySimpleModels method) test_A_or_B_and_A_ore_B() (pyMentalModels.tests.test_numpy_models.TestComposedModels method) test_and() (pyMentalModels.tests.test_numpy_models.TestNumpySimpleModels method) test_and_negA_negB() (pyMentalModels.tests.test_numpy_models.TestNumpySimpleModels method) test_and_not_A_B() (pyMentalModels.tests.test_numpy_models.TestNumpySimpleModels method) test_B_in_or_xor() (pyMentalModels.tests.test_numpy_models.TestComposedModels method) test_basic_cases() (pyMentalModels.tests.test_lisp_cases.TestLispCases method) test_equals() (pyMentalModels.tests.test_numpy_models.TestNumpySimpleModels method) test_formatting_expression_R_full() (pyMentalModels.tests.test_parsing.TestFormatter method) test_implication() (pyMentalModels.tests.test_numpy_models.TestNumpySimpleModels method) test_implies_A_B_and_C() (pyMentalModels.tests.test_numpy_models.TestComposedModels method) test_implies_intuitive() (pyMentalModels.tests.test_numpy_models.TestNumpySimpleModels method)

test_infer() (in module pyMentalModels.tests.test_infer) test_merge_and() (in module pyMentalModels.tests.test_numpy_helper) test_not() (pyMentalModels.tests.test_numpy_models.TestNumpySimpleModels method) test_or() (pyMentalModels.tests.test_numpy_models.TestNumpySimpleModels method) test_or_notA_B() (pyMentalModels.tests.test_numpy_models.TestNumpySimpleModels method) test_parsing_logical_expression_non_dyadic() (pyMentalModels.tests.test_parsing.TestParse method) test_parsing_modal_expressions() (pyMentalModels.tests.test_parsing.TestParse method) test_premise_parirings() (in module pyMentalModels.tests.test_infer) test_print_long_example() (pyMentalModels.tests.test_numpy_models.TestComposedModels method) test_xor() (pyMentalModels.tests.test_numpy_models.TestNumpySimpleModels method) TestComposedModels (class in pyMentalModels.tests.test_numpy_models) TestFormatter (class in pyMentalModels.tests.test_parsing) TestLispCases (class in pyMentalModels.tests.test_lisp_cases) TestNumpySimpleModels (class in pyMentalModels.tests.test_numpy_models) TestParse (class in pyMentalModels.tests.test_parsing)

V

VERIFY (pyMentalModels.infer.InferenceTask attribute)