{"id":"W4399036736","doi":"10.29007/c1jg","title":"A Tool for Reasoning about Trust and Belief","year":2024,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"British Columbia Institute of Technology","funders":"","keywords":"Computer science; Trustworthiness; Formalism (music); Belief revision; Focus (optics); Iterated function; Software; Human–computer interaction; Software engineering; Artificial intelligence; Computer security; Programming language; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00906287,0.001720345,0.00171498,0.004559054,0.002409951,0.00831664,0.00462497,0.003477839,0.01371793],"category_scores_gemma":[0.036075,0.002136907,0.00468559,0.003221239,0.00368966,0.01207966,0.006099435,0.004996981,0.003398301],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001760122,"about_ca_system_score_gemma":0.0026412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005795076,"about_ca_topic_score_gemma":0.00534626,"domain_scores_codex":[0.9918107,0.002367448,0.001388668,0.001340276,0.002584663,0.0005082823],"domain_scores_gemma":[0.9784197,0.01383721,0.001545423,0.003619911,0.001990695,0.000587157],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004873344,0.0002306584,0.003541842,0.001070777,0.0003930498,0.002176767,0.003151804,0.04330002,0.004704792,0.6800581,0.02499348,0.2358914],"study_design_scores_gemma":[0.0002136641,0.0001462172,0.0005121405,0.0003355014,0.0002617145,0.00122234,0.0004264832,0.3179719,0.00951161,0.5510153,0.1182282,0.0001548222],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009195972,0.0000613499,0.9918608,0.0002173803,0.00004323748,0.00009711357,0.0002446393,0.005423148,0.001132751],"genre_scores_gemma":[0.04353309,0.0001460378,0.9519427,0.0002045507,0.00007199578,0.0003228594,0.0007614316,0.0007701064,0.002247106],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01371793,"threshold_uncertainty_score":0.04792964,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01245571737319241,"score_gpt":0.2668661751472123,"score_spread":0.2544104577740199,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}