{"id":"W2059970836","doi":"10.3166/jancl.12.259-285","title":"Reasoning credulously and skeptically within a single extension","year":2002,"lang":"en","type":"article","venue":"Journal of Applied Non-Classical Logics","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Extension (predicate logic); Axiom; Monotonic function; Computer science; Default logic; Consistency (knowledge bases); Mathematical economics; Skepticism; Mathematics; Theoretical computer science; Artificial intelligence; Epistemology; Philosophy; 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.01021469,0.0008202728,0.001025849,0.001365858,0.001707532,0.005003507,0.00250492,0.002956203,0.003148265],"category_scores_gemma":[0.0149528,0.001104319,0.003195639,0.0009140252,0.006880457,0.01625102,0.007040435,0.005275994,0.0007185682],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001778507,"about_ca_system_score_gemma":0.001798166,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006839865,"about_ca_topic_score_gemma":0.0009161806,"domain_scores_codex":[0.993696,0.001780983,0.0005237625,0.001348068,0.00212878,0.0005222602],"domain_scores_gemma":[0.9821988,0.008404143,0.001321066,0.006127906,0.001411345,0.0005367573],"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.0004287072,0.000204206,0.003296848,0.000195542,0.0001429894,0.001149961,0.002099652,0.01146399,0.01214846,0.907141,0.001037614,0.06069108],"study_design_scores_gemma":[0.00005773209,0.00007589674,0.0006535813,0.00007979445,0.0001102638,0.0004475455,0.0003271797,0.04635018,0.01504106,0.931386,0.005408617,0.00006210843],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1739768,0.0002664788,0.8060009,0.001893994,0.0001195593,0.0001229015,0.0001640992,0.001102648,0.01635259],"genre_scores_gemma":[0.6627651,0.0001703418,0.3323227,0.0005111626,0.0001112116,0.000132247,0.0002332208,0.0001620757,0.003591832],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01021469,"threshold_uncertainty_score":0.05402106,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02462651184908425,"score_gpt":0.2214007150295357,"score_spread":0.1967742031804514,"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."}}