{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001061502,0.000625178,0.0004407438,0.001599066,0.0008303714,0.001867746,0.0008220875,0.0009929152,0.02034634],"category_scores_gemma":[0.002642436,0.0004193526,0.001032004,0.00210305,0.002152676,0.004048989,0.00151356,0.00122475,0.003015114],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0011185,"about_ca_system_score_gemma":0.0003293593,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001888847,"about_ca_topic_score_gemma":0.001627584,"domain_scores_codex":[0.9990755,0.0003139537,0.00008141161,0.0002641966,0.0001858968,0.00007896103],"domain_scores_gemma":[0.9984957,0.0009712858,0.0001480975,0.0001037105,0.0002297417,0.00005155391],"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.00009372713,0.00008401733,0.0005858688,0.0005946332,0.00007511245,0.001159784,0.001014348,0.003706048,0.002586596,0.897709,0.02430174,0.06808911],"study_design_scores_gemma":[0.00003888339,0.00005183501,0.0008794795,0.00009456549,0.00005959435,0.0006237854,0.0001122344,0.01070969,0.0009321427,0.9325136,0.05395776,0.00002648898],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03892369,0.03628384,0.7604678,0.01507919,0.004563491,0.0002300058,0.001351335,0.001317898,0.1417827],"genre_scores_gemma":[0.7467808,0.01754813,0.1708684,0.003002871,0.006056382,0.0005345708,0.001862562,0.0002227184,0.05312352],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02034634,"threshold_uncertainty_score":0.06806529,"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."}}