{"id":"W2252001768","doi":"","title":"Decidable reasoning in a logic of limited belief with introspection and unknown individuals","year":2013,"lang":"en","type":"article","venue":"International Joint Conference on Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Decidability; Introspection; Semantics (computer science); Computer science; Identity (music); Artificial intelligence; Epistemology; Theoretical computer science; Programming language; Philosophy","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":[],"consensus_categories":[],"category_scores_codex":[0.0003628388,0.0002057039,0.0002689308,0.000385582,0.00007370803,0.0003382809,0.0006207709,0.00009262386,0.0002602103],"category_scores_gemma":[0.0003649138,0.0001667053,0.00004302531,0.0004516721,0.0001758117,0.0006013363,0.0002113626,0.0002539434,0.0001431117],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007505698,"about_ca_system_score_gemma":0.000109528,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004090408,"about_ca_topic_score_gemma":0.0004075158,"domain_scores_codex":[0.9981627,0.0000763924,0.0005332453,0.0005196966,0.0004214258,0.0002865585],"domain_scores_gemma":[0.9986268,0.0001584117,0.0002649706,0.0002859978,0.000562539,0.0001013288],"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.00002103102,0.0002073664,0.004141186,0.000006360149,0.00002036753,0.000007762031,0.0009901955,0.0002881999,0.002512082,0.9411039,0.00002786249,0.05067367],"study_design_scores_gemma":[0.0002793878,0.001170341,0.05613522,0.0006869311,0.00001148307,0.00007063467,0.00071687,0.3506262,0.07656531,0.5127571,0.0003082844,0.0006722673],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4418403,0.00006891389,0.5230374,0.002754438,0.0005980802,0.0006118528,0.000004737911,0.0001390527,0.0309453],"genre_scores_gemma":[0.9860967,0.00006940783,0.01336373,0.0001701025,0.00006014498,0.00006228705,0.000004250152,0.000008249987,0.0001650637],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5442565,"threshold_uncertainty_score":0.6798047,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0531541692446631,"score_gpt":0.2781331706778161,"score_spread":0.224979001433153,"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."}}