{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001829801,0.0003691812,0.0004798879,0.0003483136,0.0008905747,0.0003477946,0.002315894,0.0001072033,0.003789607],"category_scores_gemma":[0.0001738552,0.0003870294,0.0002059298,0.001922296,0.00009630805,0.0005064497,0.003122714,0.0009622846,0.0004474272],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007178302,"about_ca_system_score_gemma":0.0004239958,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006074058,"about_ca_topic_score_gemma":0.0001793853,"domain_scores_codex":[0.995774,0.0006708448,0.0006617019,0.001184037,0.0006702231,0.001039192],"domain_scores_gemma":[0.9982121,0.0002000053,0.0002436098,0.00103637,0.00007039442,0.0002375272],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005201521,0.0007530004,0.02888306,0.00006951926,0.00003594875,0.0005352243,0.01637933,0.001634623,0.0002531269,0.7969472,0.006920867,0.1475361],"study_design_scores_gemma":[0.002966766,0.001195379,0.02023732,0.0002071675,0.00003239039,0.0008252071,0.003313984,0.8543075,0.0005556663,0.01983786,0.09463254,0.001888158],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.165218,0.01193608,0.06893792,0.004118939,0.007279366,0.0009422913,0.000009148616,0.0005212612,0.741037],"genre_scores_gemma":[0.9716679,0.0001095398,0.002663188,0.0005447009,0.0001649913,0.00006141936,0.000004327946,0.00002709501,0.02475682],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8526729,"threshold_uncertainty_score":0.9998581,"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."}}