{"id":"W7096518375","doi":"","title":"Accessibility Relation and Nonmonotonic Reasoning (Extended Abstract)","year":2007,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Kripke semantics; Kripke structure; Non-monotonic logic; Accessibility relation; Relation (database); Epistemic modal logic; Belief revision; Semantics (computer science); Possible world","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001160878,0.0001148241,0.0001197108,0.00006740024,0.0001665691,0.0001736653,0.0003562451,0.00009326693,0.0000485007],"category_scores_gemma":[0.0001437252,0.00009220101,0.00003844057,0.0002259131,0.0000447103,0.0008017778,0.0001911428,0.0001488133,0.0000590356],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005576148,"about_ca_system_score_gemma":0.00004614736,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004420397,"about_ca_topic_score_gemma":0.0001005771,"domain_scores_codex":[0.9988676,0.00001998384,0.0002315593,0.00042928,0.0001577051,0.0002939228],"domain_scores_gemma":[0.9991446,0.0001580162,0.00009285751,0.0004070132,0.00006828118,0.0001293013],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00002816202,0.0001814979,0.1067487,0.00003072493,0.00002186811,0.00003783161,0.002252826,0.000007819422,0.001795512,0.5430731,0.000350319,0.3454717],"study_design_scores_gemma":[0.0002536383,0.00003471449,0.9764078,0.00001133367,0.00000338151,0.00001692031,0.00003312974,0.01030135,0.00234643,0.009676524,0.0007591826,0.0001556296],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.447985,0.0002379923,0.353213,0.00008849088,0.0002107777,0.0001259798,1.47176e-7,0.000256942,0.1978817],"genre_scores_gemma":[0.9689256,0.00001518001,0.03006143,0.0000834157,0.00005601095,0.000002326255,0.000001055387,0.000004769487,0.0008502375],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8696591,"threshold_uncertainty_score":0.3759848,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0154124200111978,"score_gpt":0.2754439439620948,"score_spread":0.260031523950897,"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."}}