{"id":"W2607656057","doi":"10.1007/s10516-017-9339-1","title":"Solving Smullyan Puzzles with Formal Systems","year":2017,"lang":"en","type":"article","venue":"Axiomathes","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Gödel; Escher; Gödel's incompleteness theorems; Wonder; Paraphrase; Computer science; Mathematical logic; Epistemology; Classical logic; Mathematics; Artificial intelligence; Philosophy; Calculus (dental); Algorithm; Programming language","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.002790819,0.0009901272,0.0009849886,0.001136879,0.002043516,0.003469782,0.002835332,0.002228185,0.01417838],"category_scores_gemma":[0.02000048,0.0007171691,0.002177088,0.001113909,0.004980157,0.01145054,0.007053599,0.004434826,0.001303943],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001543686,"about_ca_system_score_gemma":0.001668855,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002123989,"about_ca_topic_score_gemma":0.003617711,"domain_scores_codex":[0.997647,0.001086833,0.0002153341,0.0004105672,0.0003686456,0.0002715897],"domain_scores_gemma":[0.9931554,0.004921365,0.0003018786,0.001146255,0.0002876993,0.0001873652],"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.0001298232,0.00007938176,0.0005724989,0.0002662263,0.000041225,0.0001361077,0.0007808398,0.02883126,0.001023407,0.921305,0.00321184,0.04362244],"study_design_scores_gemma":[0.00004179683,0.00001794182,0.00005593717,0.00003426827,0.00001520094,0.00003961795,0.0001454944,0.04641642,0.0008556375,0.9473006,0.005062358,0.00001471677],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07002036,0.0005004368,0.8943822,0.003288648,0.0002011017,0.0001246969,0.0001782272,0.001101653,0.0302027],"genre_scores_gemma":[0.5082843,0.0004843767,0.4807051,0.0004158197,0.0001363277,0.0001408669,0.0004066896,0.0002374752,0.009188989],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01417838,"threshold_uncertainty_score":0.04743135,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02056786822248027,"score_gpt":0.2363193772935295,"score_spread":0.2157515090710493,"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."}}