{"id":"W1642340034","doi":"10.3233/fun-2001-48404","title":"Non-Clausal Reasoning with Definite Theories","year":2001,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Calculus (dental); Mathematics; Computer science; Epistemology; Algebra over a field; Pure mathematics; 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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000336821,0.0002335948,0.0002346128,0.0001179927,0.0003209219,0.0005643105,0.0008500267,0.0000648651,0.0001475341],"category_scores_gemma":[0.00004703958,0.0001652338,0.00005924823,0.0005045962,0.0001298155,0.001747156,0.0003215258,0.0001888036,0.001082799],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007179465,"about_ca_system_score_gemma":0.0001080207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002468677,"about_ca_topic_score_gemma":0.00002204222,"domain_scores_codex":[0.9985325,0.00002374795,0.0003386758,0.0002153427,0.0003595545,0.0005301932],"domain_scores_gemma":[0.9988357,0.0001054377,0.0001623006,0.0006311063,0.00008712815,0.0001783237],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006632389,0.0001240171,0.04496428,0.00006804372,0.00009406841,0.00005835315,0.01700349,0.00005637203,0.00002337114,0.9071319,0.00477863,0.02563111],"study_design_scores_gemma":[0.007433834,0.003220616,0.08041442,0.0009827415,0.0001378449,0.002117158,0.007133685,0.1297251,0.002199025,0.05114741,0.7119516,0.003536657],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.08744628,0.00008643317,0.3860008,0.0003688122,0.0003716591,0.0002869059,0.00000275315,0.0003849943,0.5250513],"genre_scores_gemma":[0.9533491,0.00004449078,0.0429937,0.001113822,0.0001037719,0.0000455402,0.00001215386,0.00001461768,0.002322878],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8659027,"threshold_uncertainty_score":0.9996949,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01019027867258903,"score_gpt":0.226365688647173,"score_spread":0.216175409974584,"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."}}