{"id":"W7124255152","doi":"10.65109/lgbu6441","title":"Epistemic Reasoning in Jason","year":2022,"lang":"","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Extension (predicate logic); Semantic reasoner; Epistemic modal logic; CONTEST; Class (philosophy); Abductive reasoning; Non-monotonic logic; Scalability; Circumscription","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.004676812,0.0007997559,0.0007103501,0.001350979,0.001541959,0.004034434,0.002310162,0.001183848,0.008631789],"category_scores_gemma":[0.006951629,0.0008543195,0.002310573,0.0008864521,0.002867951,0.00838722,0.005108479,0.003233423,0.001505644],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00193335,"about_ca_system_score_gemma":0.0023556,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004167744,"about_ca_topic_score_gemma":0.006622096,"domain_scores_codex":[0.9967539,0.0008492638,0.000328832,0.0004914562,0.001261476,0.000315155],"domain_scores_gemma":[0.9962203,0.001982312,0.0002611532,0.0006634829,0.0007105368,0.0001622004],"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.0003974605,0.0001510824,0.0009934779,0.0004386581,0.00006150208,0.0004097016,0.001422186,0.03107107,0.006750536,0.8880253,0.008294836,0.06198412],"study_design_scores_gemma":[0.0001296502,0.0001038508,0.0003241096,0.0002641968,0.0001179406,0.0003843817,0.0003145095,0.3134198,0.01498717,0.5358493,0.1340104,0.00009476768],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01160388,0.000203906,0.9641011,0.001174447,0.000221514,0.0001758444,0.0005232928,0.006979007,0.01501705],"genre_scores_gemma":[0.2120717,0.0003453106,0.7745954,0.001029283,0.0001614897,0.0003381833,0.0009470002,0.0008549582,0.009656606],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008631789,"threshold_uncertainty_score":0.02887625,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01655710567611436,"score_gpt":0.2399918177700902,"score_spread":0.2234347120939759,"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."}}