searchindex.js

Search.setIndex({"docnames": ["distributions", "index", "individuals", "language", "probability", "references"], "filenames": ["distributions.rst", "index.rst", "individuals.rst", "language.rst", "probability.rst", "references.rst"], "titles": ["tyche.distributions", "Tyche Documentation", "tyche.individuals", "tyche.language", "tyche.probability", "tyche.references"], "terms": {"thi": [0, 1, 2, 3, 4, 5], "modul": [0, 1, 2, 3, 4, 5], "contain": [0, 2, 3, 4, 5], "sever": [0, 3], "class": [0, 2, 3, 5], "probabl": [0, 1, 2, 3], "can": [0, 2, 3], "easili": 0, "manipul": 0, "e": [0, 1, 3], "g": [0, 3], "shift": 0, "scale": 0, "add": [0, 2, 3], "get": [0, 2, 3], "new": [0, 2, 3, 5], "exampl": [0, 1, 3], "person_height_cm": 0, "normaldist": [0, 1], "mean": [0, 2], "180": 0, "std_dev": 0, "5": 0, "heel_height_cm": 0, "3": 0, "total_height_cm": 0, "total_height_ft": 0, "0": [0, 2, 3, 4], "0328084": 0, "hoop_height_ft": 0, "10": 0, "distance_to_hoop_ft": 0, "result": [0, 3], "normal": [0, 3], "930": 0, "191": 0, "The": [0, 2, 3, 4, 5], "follow": [0, 4], "ar": [0, 3, 4], "current": 0, "avail": 0, "uniformdist": [0, 1], "A": [0, 1, 2, 3, 4], "uniform": 0, "aim": 0, "allow": [0, 1, 2, 3, 5], "more": 0, "flexibl": 0, "intuit": 0, "us": [0, 1, 2, 3, 4, 5], "reduc": 0, "amount": 0, "manual": 0, "work": [0, 3], "i": [0, 1, 2, 3, 4, 5], "requir": [0, 2, 3], "them": [0, 2], "except": [0, 2, 3, 4, 5], "tychedistributionsexcept": [0, 1], "messag": [0, 1, 2, 3, 4, 5], "sourc": [0, 2, 3, 4, 5], "an": [0, 1, 2, 3, 4, 5], "type": [0, 2, 3, 4, 5], "thrown": [0, 2, 3, 4, 5], "when": [0, 2, 3, 4, 5], "error": [0, 2, 3, 4, 5], "occur": [0, 2, 3, 4, 5], "construct": [0, 2, 3, 5], "paramet": [0, 2, 3, 4, 5], "str": [0, 2, 3, 4, 5], "describ": [0, 2], "reason": [0, 1], "wa": [0, 3, 4], "rais": [0, 2, 3], "probdist": [0, 1], "over": [0, 2, 3], "space": 0, "numer": 0, "valu": [0, 2, 3, 5], "sampl": [0, 2, 3], "rng": [0, 3, 4], "shape": [0, 4], "none": [0, 2, 3, 4, 5], "random": [0, 3, 4], "from": [0, 2, 3, 4, 5], "gener": [0, 2, 3, 4, 5], "numpi": 0, "number": [0, 2, 3], "option": [0, 2, 3, 4, 5], "union": [0, 2, 3, 4], "int": [0, 2, 3, 4], "tupl": [0, 2, 3, 4], "configur": 0, "format": [0, 2, 3], "return": [0, 2, 3, 4], "By": [0, 2, 3], "default": [0, 2, 3], "singl": [0, 2], "If": [0, 2, 3, 4], "provid": [0, 1, 2, 3], "arrai": 0, "": [0, 2, 3], "arraylik": 0, "continuousprobdist": [0, 1], "base": [0, 2, 3, 5], "continu": 0, "truncat": 0, "minimum": 0, "maximum": 0, "repres": [0, 2, 3, 4, 5], "rang": [0, 2, 3, 4], "float": [0, 2, 3, 4], "lower": 0, "limit": [0, 2], "after": [0, 3], "upper": 0, "cdf": 0, "x": 0, "evalu": [0, 2, 3], "cumul": 0, "densiti": 0, "function": [0, 1, 2, 3, 5], "should": [0, 2, 3], "fall": [0, 3], "1": [0, 2, 3, 4], "although": 0, "caus": 0, "slightli": 0, "higher": 0, "point": [0, 3], "which": [0, 2], "match": 0, "varianc": 0, "standard": 0, "deviat": 0, "pdf": 0, "inverse_cdf": 0, "prob": [0, 3], "invers": 0, "involv": 0, "calcul": [0, 3, 4], "would": [0, 3], "produc": [0, 3], "given": [0, 1, 2, 3], "lineartransformcontinuousprobdist": [0, 1], "dist": 0, "appli": [0, 2, 3, 4], "linear": [0, 3], "transform": [0, 5], "perform": [0, 2, 3], "befor": 0, "deleg": [0, 3], "truncatedcontinuousprobdist": [0, 1], "all": [0, 2, 3], "below": 0, "abov": 0, "discard": 0, "bound": 0, "within": [0, 2, 3, 5], "have": [0, 2, 3], "equal": [0, 3], "being": [0, 1, 2, 3, 4], "could": [0, 2, 3], "center": 0, "around": 0, "python": 1, "librari": 1, "support": [1, 2, 3], "represent": [1, 3], "about": [1, 2, 3], "aleator": [1, 2, 3], "inform": [1, 2], "ha": [1, 3], "independ": [1, 3], "true": [1, 2, 3, 4], "each": [1, 2, 3], "time": 1, "observ": [1, 2, 3, 4], "treat": 1, "roll": 1, "dice": 1, "For": [1, 3], "everi": [1, 2], "text": [1, 3], "peopl": 1, "send": 1, "_may_": 1, "includ": [1, 2, 3], "emoji": 1, "differ": [1, 5], "individu": [1, 3, 5], "sent": 1, "descript": [1, 2, 3], "logic": [1, 2, 3], "truth": [1, 3], "statement": 1, "effici": 1, "queri": 1, "tendenc": 1, "learnt": 1, "through": 1, "github": [1, 3], "com": [1, 3, 4], "tychelibrari": 1, "paper": 1, "probabilist": [1, 2], "belief": [1, 2, 3], "model": [1, 2, 3], "padraig": 1, "lamont": 1, "2022": 1, "link": 1, "old": 1, "arxiv": 1, "relat": [1, 3], "public": 1, "tim": 1, "french": 1, "thoma": 1, "smoker": 1, "2021": 1, "modal": 1, "calculu": 1, "andrew": 1, "gozzard": 1, "mark": [1, 2], "reynold": 1, "2018": 1, "languag": 1, "tychelanguageexcept": [1, 3], "roledist": [1, 2, 3], "exclusiveroledist": [1, 2, 3], "independentroledist": [1, 3], "tychecontext": [1, 2, 3], "emptycontext": [1, 3], "adlnod": [1, 2, 3], "atom": [1, 2, 3], "concept": [1, 2, 3, 4, 5], "constant": [1, 3], "role": [1, 2, 3, 5], "constantrol": [1, 3], "referencebackedrol": [1, 3], "condit": [1, 3], "conditionalwithoutels": [1, 3], "expect": [1, 2, 3], "exist": [1, 2, 3], "leastfixedpoint": [1, 3], "tycheindividualsexcept": [1, 2], "tycheaccessorstor": [1, 2], "conceptfunctionsymbolrefer": [1, 2], "rolefunctionsymbolrefer": [1, 2], "individualpropertydecor": [1, 2], "tycheconceptdecor": [1, 2], "tycheroledecor": [1, 2], "learningstrategi": [1, 2], "conceptlearningstrategi": [1, 2], "rolelearningstrategi": [1, 2], "directconceptlearningstrategi": [1, 2], "statisticalconceptlearningstrategi": [1, 2], "bayesrulelearningstrategi": [1, 2], "statisticalrolelearningstrategi": [1, 2], "identityindividu": [1, 2], "distribut": [1, 2, 3], "tycheprobabilityexcept": [1, 4], "random_prob": [1, 4], "uncertain_bayes_rul": [1, 4], "refer": [1, 2, 3], "tychereferencesexcept": [1, 5], "symbolrefer": [1, 2, 3, 5], "bakedsymbolrefer": [1, 2, 3, 5], "fieldsymbolrefer": [1, 5], "functionsymbolrefer": [1, 2, 5], "guardedsymbolrefer": [1, 5], "index": [1, 3], "search": 1, "page": 1, "ontolog": 2, "knowledg": 2, "relationship": [2, 3], "between": [2, 3], "These": [2, 5], "context": [2, 3], "adl": [2, 3], "sentenc": [2, 3], "also": [2, 3, 4], "mani": [2, 3, 4], "learn": [2, 3], "strategi": 2, "mai": [2, 3], "updat": [2, 3, 5], "your": [2, 3], "upon": [2, 3], "type_nam": 2, "accessor": 2, "accessedvaluetyp": 2, "store": [2, 5], "set": [2, 3], "wai": 2, "access": [2, 5], "dict": [2, 3], "symbol": [2, 3, 5], "whether": [2, 3], "bool": [2, 3], "get_refer": 2, "obj": [2, 5], "object": [2, 3, 5], "ani": 2, "modifi": [2, 5], "static": [2, 3], "get_accessor_stores_map": 2, "accessor_typ": 2, "map": [2, 3], "subclass": 2, "get_accessor_ref_map": 2, "get_or_populate_for": 2, "obj_typ": 2, "field_type_hint": 2, "popul": 2, "associ": 2, "fget": [2, 5], "fset": [2, 5], "learning_strat": 2, "addit": [2, 3], "attach": 2, "callabl": [2, 5], "tycheconceptvalu": 2, "tycherolevalu": 2, "learningstrategytyp": 2, "decor": 2, "method": [2, 3, 4], "metadata": 2, "learning_func": 2, "regist": 2, "setter": 2, "fn": 2, "formula": [2, 3], "name": [2, 3], "suppli": [2, 3], "express": [2, 3], "chang": 2, "init_for_new_usag": 2, "per": 2, "state": 2, "clone": 2, "otherwis": [2, 3], "share": 2, "fine": 2, "stateless": 2, "selftype_learningstrategi": 2, "concept_ref": 2, "likelihood": [2, 3, 4], "learning_r": [2, 3], "self": [2, 3], "role_ref": 2, "most": 2, "basic": 2, "simpli": 2, "thei": [2, 3], "were": [2, 3, 4], "rate": [2, 3], "stop": 2, "alwai": [2, 3], "initial_value_weight": 2, "decay_r": 2, "decay_rate_for_decay_r": 2, "accumul": 2, "run": 2, "initi": 2, "bia": 2, "favour": 2, "until": 2, "enough": 2, "been": [2, 3], "made": 2, "consid": [2, 3], "first": 2, "call": [2, 3], "so": 2, "instanc": 2, "kept": 2, "separ": 2, "todo": 2, "helper": 2, "entiti": 2, "variabl": [2, 3], "field": [2, 5], "give": [2, 3], "tycheconcept": 2, "hint": 2, "tycherol": 2, "eval": [2, 3], "node": [2, 3], "compatiblewithadlnod": [2, 3], "eval_rol": [2, 3], "possibl": [2, 3], "other": [2, 3], "compatiblewithrol": [2, 3], "string": [2, 3], "get_concept_nam": 2, "get_role_nam": 2, "classmethod": 2, "coerce_concept_valu": 2, "coerc": 2, "get_concept": [2, 3], "without": [2, 3], "modif": [2, 3], "get_concept_refer": [2, 3], "mutabl": [2, 3, 5], "coerce_role_valu": 2, "onli": [2, 3], "weightedroledistribut": 2, "In": 2, "futur": 2, "accept": 2, "get_rol": [2, 3], "get_role_refer": [2, 3], "propag": 2, "effect": 2, "its": [2, 3], "child": [2, 3], "to_str": [2, 3], "detail_lvl": [2, 3], "indent_lvl": [2, 3], "version": [2, 3], "specifi": [2, 3], "level": [2, 3], "detail": [2, 3], "indent": [2, 3], "while": [2, 3], "id_role_valu": 2, "entri": [2, 3], "implicitli": 2, "take": 2, "id": 2, "ident": 2, "list": [2, 3], "forwardref": [2, 3], "is_empti": [2, 3], "ad": [2, 3], "weight": [2, 3], "rel": [2, 3], "against": 2, "alreadi": [2, 3], "replac": [2, 3], "remov": [2, 3], "attempt": [2, 3], "degre": [2, 3], "certainti": [2, 3], "assum": [2, 3], "reliabl": [2, 3], "math": 3, "explicitli": 3, "fals": [3, 4], "clear": 3, "yield": 3, "present": 3, "calculate_expect": 3, "implicit": 3, "least": 3, "one": 3, "non": 3, "null": 3, "vacuous": 3, "reverse_expectation_learning_param": 3, "influenc": 3, "chanc": [3, 4], "select": 3, "calculate_exist": 3, "content": 3, "where": [3, 5], "either": 3, "zero": [3, 4], "case": [3, 4], "howev": 3, "exactli": 3, "you": 3, "item": 3, "properti": [3, 5], "total_weight": 3, "sum": 3, "anoth": 3, "_replaced_": 3, "add_combining_weight": 3, "apply_bayes_rul": 3, "bay": [3, 4], "rule": [3, 4], "uncertain": [3, 4], "cannot": 3, "anyth": 3, "event": [3, 4], "incorrectli": [3, 4], "OR": [3, 4], "NOT": [3, 4], "therefor": [3, 4], "equival": [3, 4], "see": [3, 4], "http": [3, 4], "stat": [3, 4], "stackexchang": [3, 4], "question": [3, 4], "345200": [3, 4], "bayess": [3, 4], "theorem": [3, 4], "evid": [3, 4], "act": 3, "origin": 3, "just": 3, "remain": 3, "unchang": 3, "That": 3, "must": 3, "b": [3, 4], "c": 3, "etc": 3, "own": 3, "empti": 3, "cast": 3, "canonic": 3, "automat": 3, "convert": 3, "get_child_nodes_in_eval_context": 3, "order": 3, "same": 3, "here": 3, "copy_with_new_child_node_from_eval_context": 3, "copi": 3, "get_children_in_eval_context": 3, "direct_ev": 3, "disclaim": 3, "_not_": 3, "control": 3, "usual": 3, "instead": 3, "normal_form": 3, "tree": 3, "form": 3, "alphabet": 3, "is_equival": 3, "provabl": 3, "two": 3, "is_weak": 3, "necessarili": 3, "less": 3, "than": 3, "is_strong": 3, "greater": 3, "complement": 3, "negat": 3, "oper": 3, "special_symbol": 3, "indivis": 3, "never": 3, "check_symbol": 3, "symbol_nam": 3, "symbol_type_nam": 3, "check": 3, "alphanumer": 3, "charact": 3, "underscor": 3, "invalid": 3, "eval_refer": 3, "value_ref": 3, "taken": 3, "if_y": 3, "if_no": 3, "ternari": 3, "els": 3, "is_known_noop": 3, "doe": 3, "noth": 3, "is_known_compl": 3, "is_known_conjunct": 3, "conjunct": 3, "AND": 3, "is_known_disjunct": 3, "disjunct": 3, "allow_no_bracket": 3, "potenti": 3, "omit": 3, "enclos": 3, "bracket": 3, "specif": 3, "recurs": 3, "sub": 3, "element": 3, "due": 3, "handl": 3, "avoid": [3, 4], "maybe_unpack": 3, "unpack": 3, "constitu": 3, "whilst": 3, "both": 3, "eval_nod": 3, "given_nod": 3, "randomli": 3, "get_content_nod": 3, "evaluate_role_under_rol": 3, "outer_rol": 3, "inner_rol": 3, "member": 3, "yet": 3, "It": 3, "progress": 3, "fix": 3, "margin": 3, "peteroupc": 3, "io": 3, "bernoulli": 3, "html": 3, "complex": 3, "need": 3, "iter": 3, "equat": 3, "solv": 3, "is_linear": 3, "test": 3, "place": 4, "prob_concept": 4, "prob_ob": 4, "prob_obs_given_concept": 4, "let": 4, "phi": 4, "p": 4, "To": 4, "divis": 4, "special": 4, "deriv": 4, "fetch": 5, "symboltyp": 5, "ref": 5, "bake": 5, "field_nam": 5, "get_transform": 5, "set_transform": 5, "guardedsymboltyp": 5, "referenc": 5}, "objects": {"tyche": [[0, 0, 0, "-", "distributions"], [2, 0, 0, "-", "individuals"], [3, 0, 0, "-", "language"], [4, 0, 0, "-", "probability"], [5, 0, 0, "-", "references"]], "tyche.distributions": [[0, 1, 1, "", "ContinuousProbDist"], [0, 1, 1, "", "LinearTransformContinuousProbDist"], [0, 1, 1, "", "NormalDist"], [0, 1, 1, "", "ProbDist"], [0, 1, 1, "", "TruncatedContinuousProbDist"], [0, 3, 1, "", "TycheDistributionsException"], [0, 1, 1, "", "UniformDist"]], "tyche.distributions.ContinuousProbDist": [[0, 2, 1, "", "cdf"], [0, 2, 1, "", "inverse_cdf"], [0, 2, 1, "", "mean"], [0, 2, 1, "", "pdf"], [0, 2, 1, "", "sample"], [0, 2, 1, "", "std_dev"], [0, 2, 1, "", "truncate"], [0, 2, 1, "", "variance"]], "tyche.distributions.LinearTransformContinuousProbDist": [[0, 2, 1, "", "cdf"], [0, 2, 1, "", "inverse_cdf"], [0, 2, 1, "", "pdf"], [0, 2, 1, "", "sample"], [0, 2, 1, "", "variance"]], "tyche.distributions.NormalDist": [[0, 2, 1, "", "cdf"], [0, 2, 1, "", "inverse_cdf"], [0, 2, 1, "", "pdf"], [0, 2, 1, "", "std_dev"], [0, 2, 1, "", "variance"]], "tyche.distributions.ProbDist": [[0, 2, 1, "", "sample"]], "tyche.distributions.TruncatedContinuousProbDist": [[0, 2, 1, "", "cdf"], [0, 2, 1, "", "inverse_cdf"], [0, 2, 1, "", "pdf"], [0, 2, 1, "", "truncate"]], "tyche.distributions.UniformDist": [[0, 2, 1, "", "cdf"], [0, 2, 1, "", "inverse_cdf"], [0, 2, 1, "", "pdf"], [0, 2, 1, "", "variance"]], "tyche.individuals": [[2, 1, 1, "", "BayesRuleLearningStrategy"], [2, 1, 1, "", "ConceptFunctionSymbolReference"], [2, 1, 1, "", "ConceptLearningStrategy"], [2, 1, 1, "", "DirectConceptLearningStrategy"], [2, 1, 1, "", "IdentityIndividual"], [2, 1, 1, "", "Individual"], [2, 1, 1, "", "IndividualPropertyDecorator"], [2, 1, 1, "", "LearningStrategy"], [2, 1, 1, "", "RoleFunctionSymbolReference"], [2, 1, 1, "", "RoleLearningStrategy"], [2, 1, 1, "", "StatisticalConceptLearningStrategy"], [2, 1, 1, "", "StatisticalRoleLearningStrategy"], [2, 1, 1, "", "TycheAccessorStore"], [2, 1, 1, "", "TycheConceptDecorator"], [2, 3, 1, "", "TycheIndividualsException"], [2, 1, 1, "", "TycheRoleDecorator"], [2, 4, 1, "", "concept"], [2, 4, 1, "", "role"]], "tyche.individuals.BayesRuleLearningStrategy": [[2, 2, 1, "", "apply"]], "tyche.individuals.ConceptLearningStrategy": [[2, 2, 1, "", "apply"]], "tyche.individuals.DirectConceptLearningStrategy": [[2, 2, 1, "", "apply"]], "tyche.individuals.IdentityIndividual": [[2, 2, 1, "", "add"], [2, 2, 1, "", "eval"], [2, 2, 1, "", "eval_role"], [2, 2, 1, "", "get_concept"], [2, 2, 1, "", "get_concept_reference"], [2, 2, 1, "", "get_role"], [2, 2, 1, "", "get_role_reference"], [2, 2, 1, "", "is_empty"], [2, 2, 1, "", "observe"], [2, 2, 1, "", "remove"], [2, 2, 1, "", "to_str"]], "tyche.individuals.Individual": [[2, 2, 1, "", "coerce_concept_value"], [2, 2, 1, "", "coerce_role_value"], [2, 2, 1, "", "describe"], [2, 2, 1, "", "eval"], [2, 2, 1, "", "eval_role"], [2, 2, 1, "", "get_concept"], [2, 2, 1, "", "get_concept_names"], [2, 2, 1, "", "get_concept_reference"], [2, 2, 1, "", "get_role"], [2, 2, 1, "", "get_role_names"], [2, 2, 1, "", "get_role_reference"], [2, 2, 1, "", "observe"], [2, 2, 1, "", "to_str"]], "tyche.individuals.IndividualPropertyDecorator": [[2, 2, 1, "", "learning_func"]], "tyche.individuals.LearningStrategy": [[2, 2, 1, "", "init_for_new_usage"]], "tyche.individuals.RoleLearningStrategy": [[2, 2, 1, "", "apply"]], "tyche.individuals.StatisticalConceptLearningStrategy": [[2, 2, 1, "", "apply"], [2, 2, 1, "", "init_for_new_usage"]], "tyche.individuals.StatisticalRoleLearningStrategy": [[2, 2, 1, "", "apply"], [2, 2, 1, "", "init_for_new_usage"]], "tyche.individuals.TycheAccessorStore": [[2, 2, 1, "", "contains"], [2, 2, 1, "", "get"], [2, 2, 1, "", "get_accessor_ref_map"], [2, 2, 1, "", "get_accessor_stores_map"], [2, 2, 1, "", "get_or_populate_for"], [2, 2, 1, "", "get_reference"], [2, 2, 1, "", "set"]], "tyche.language": [[3, 1, 1, "", "ADLNode"], [3, 1, 1, "", "Atom"], [3, 1, 1, "", "Concept"], [3, 1, 1, "", "Conditional"], [3, 1, 1, "", "ConditionalWithoutElse"], [3, 1, 1, "", "Constant"], [3, 1, 1, "", "ConstantRole"], [3, 1, 1, "", "EmptyContext"], [3, 1, 1, "", "ExclusiveRoleDist"], [3, 1, 1, "", "Exists"], [3, 1, 1, "", "Expectation"], [3, 1, 1, "", "Given"], [3, 1, 1, "", "IndependentRoleDist"], [3, 1, 1, "", "LeastFixedPoint"], [3, 1, 1, "", "ReferenceBackedRole"], [3, 1, 1, "", "Role"], [3, 1, 1, "", "RoleDist"], [3, 1, 1, "", "TycheContext"], [3, 3, 1, "", "TycheLanguageException"]], "tyche.language.ADLNode": [[3, 2, 1, "", "cast"], [3, 2, 1, "", "complement"], [3, 2, 1, "", "copy_with_new_child_node_from_eval_context"], [3, 2, 1, "", "direct_eval"], [3, 2, 1, "", "get_child_nodes_in_eval_context"], [3, 2, 1, "", "is_equivalent"], [3, 2, 1, "", "is_stronger"], [3, 2, 1, "", "is_weaker"], [3, 2, 1, "", "normal_form"], [3, 2, 1, "", "when"]], "tyche.language.Atom": [[3, 2, 1, "", "check_symbol"], [3, 2, 1, "", "copy_with_new_child_node_from_eval_context"], [3, 2, 1, "", "get_child_nodes_in_eval_context"], [3, 2, 1, "", "is_equivalent"], [3, 2, 1, "", "is_weaker"], [3, 2, 1, "", "normal_form"]], "tyche.language.Concept": [[3, 2, 1, "", "direct_eval"], [3, 2, 1, "", "eval_reference"]], "tyche.language.Conditional": [[3, 2, 1, "", "copy_with_new_child_node_from_eval_context"], [3, 2, 1, "", "direct_eval"], [3, 2, 1, "", "get_child_nodes_in_eval_context"], [3, 2, 1, "", "is_known_complement"], [3, 2, 1, "", "is_known_conjunction"], [3, 2, 1, "", "is_known_disjunction"], [3, 2, 1, "", "is_known_noop"], [3, 2, 1, "", "is_weaker"], [3, 2, 1, "", "normal_form"], [3, 2, 1, "", "to_str"]], "tyche.language.Constant": [[3, 2, 1, "", "direct_eval"]], "tyche.language.ConstantRole": [[3, 2, 1, "", "eval_reference"]], "tyche.language.EmptyContext": [[3, 2, 1, "", "eval"], [3, 2, 1, "", "eval_role"], [3, 2, 1, "", "get_concept"], [3, 2, 1, "", "get_concept_reference"], [3, 2, 1, "", "get_role"], [3, 2, 1, "", "get_role_reference"], [3, 2, 1, "", "to_str"]], "tyche.language.ExclusiveRoleDist": [[3, 2, 1, "", "add"], [3, 2, 1, "", "add_combining_weights"], [3, 2, 1, "", "apply_bayes_rule"], [3, 2, 1, "", "calculate_exists"], [3, 2, 1, "", "calculate_expectation"], [3, 2, 1, "", "clear"], [3, 2, 1, "", "contains"], [3, 2, 1, "", "contexts"], [3, 2, 1, "", "is_empty"], [3, 2, 1, "", "remove"], [3, 2, 1, "", "reverse_expectation_learning_params"], [3, 2, 1, "", "sample"], [3, 2, 1, "", "to_str"], [3, 5, 1, "", "total_weight"]], "tyche.language.Exists": [[3, 2, 1, "", "copy_with_new_child_node_from_eval_context"], [3, 2, 1, "", "direct_eval"], [3, 2, 1, "", "get_child_nodes_in_eval_context"]], "tyche.language.Expectation": [[3, 2, 1, "", "copy_with_new_child_node_from_eval_context"], [3, 2, 1, "", "direct_eval"], [3, 2, 1, "", "evaluate_role_under_role"], [3, 2, 1, "", "get_child_nodes_in_eval_context"], [3, 2, 1, "", "get_content_node"]], "tyche.language.Given": [[3, 2, 1, "", "copy_with_new_child_node_from_eval_context"], [3, 2, 1, "", "direct_eval"], [3, 2, 1, "", "get_child_nodes_in_eval_context"], [3, 2, 1, "", "is_weaker"], [3, 2, 1, "", "maybe_unpack"], [3, 2, 1, "", "normal_form"]], "tyche.language.IndependentRoleDist": [[3, 2, 1, "", "add"], [3, 2, 1, "", "calculate_exists"], [3, 2, 1, "", "calculate_expectation"], [3, 2, 1, "", "clear"], [3, 2, 1, "", "contains"], [3, 2, 1, "", "contexts"], [3, 2, 1, "", "is_empty"], [3, 2, 1, "", "remove"], [3, 2, 1, "", "reverse_expectation_learning_params"], [3, 2, 1, "", "sample"], [3, 2, 1, "", "to_str"]], "tyche.language.LeastFixedPoint": [[3, 2, 1, "", "copy_with_new_child_node_from_eval_context"], [3, 2, 1, "", "direct_eval"], [3, 2, 1, "", "get_child_nodes_in_eval_context"], [3, 2, 1, "", "is_equivalent"], [3, 2, 1, "", "is_linear"], [3, 2, 1, "", "is_weaker"], [3, 2, 1, "", "normal_form"]], "tyche.language.ReferenceBackedRole": [[3, 2, 1, "", "eval_reference"]], "tyche.language.Role": [[3, 2, 1, "", "eval_reference"]], "tyche.language.RoleDist": [[3, 2, 1, "", "calculate_exists"], [3, 2, 1, "", "calculate_expectation"], [3, 2, 1, "", "clear"], [3, 2, 1, "", "contains"], [3, 2, 1, "", "contexts"], [3, 2, 1, "", "is_empty"], [3, 2, 1, "", "reverse_expectation_learning_params"], [3, 2, 1, "", "to_str"]], "tyche.language.TycheContext": [[3, 2, 1, "", "eval"], [3, 2, 1, "", "eval_role"], [3, 2, 1, "", "get_concept"], [3, 2, 1, "", "get_concept_reference"], [3, 2, 1, "", "get_role"], [3, 2, 1, "", "get_role_reference"], [3, 2, 1, "", "observe"], [3, 2, 1, "", "to_str"]], "tyche.probability": [[4, 3, 1, "", "TycheProbabilityException"], [4, 4, 1, "", "random_probability"], [4, 4, 1, "", "uncertain_bayes_rule"]], "tyche.references": [[5, 1, 1, "", "BakedSymbolReference"], [5, 1, 1, "", "FieldSymbolReference"], [5, 1, 1, "", "FunctionSymbolReference"], [5, 1, 1, "", "GuardedSymbolReference"], [5, 1, 1, "", "SymbolReference"], [5, 3, 1, "", "TycheReferencesException"]]}, "objtypes": {"0": "py:module", "1": "py:class", "2": "py:method", "3": "py:exception", "4": "py:function", "5": "py:property"}, "objnames": {"0": ["py", "module", "Python module"], "1": ["py", "class", "Python class"], "2": ["py", "method", "Python method"], "3": ["py", "exception", "Python exception"], "4": ["py", "function", "Python function"], "5": ["py", "property", "Python property"]}, "titleterms": {"tych": [0, 1, 2, 3, 4, 5], "distribut": 0, "document": 1, "tabl": 1, "content": 1, "indic": 1, "individu": 2, "languag": 3, "probabl": 4, "refer": 5}, "envversion": {"sphinx.domains.c": 2, "sphinx.domains.changeset": 1, "sphinx.domains.citation": 1, "sphinx.domains.cpp": 6, "sphinx.domains.index": 1, "sphinx.domains.javascript": 2, "sphinx.domains.math": 2, "sphinx.domains.python": 3, "sphinx.domains.rst": 2, "sphinx.domains.std": 2, "sphinx.ext.viewcode": 1, "sphinx": 56}})