{"id":"W2585220424","doi":"10.48550/arxiv.cs/0602098","title":"Compositional Semantics for the Procedural Interpretation of Logic","year":2006,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Well-founded semantics; Programming language; Computer science; Predicate logic; Logic programming; Operational semantics; Syntax; Denotational semantics; Semantics (computer science); First-order logic; Equivalence (formal languages); Abstract syntax; Predicate functor logic; Action semantics; Autoepistemic logic; Mathematics; Multimodal logic; Artificial intelligence; Description logic; Discrete mathematics","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.0002991023,0.0001734638,0.0002415905,0.00005446209,0.0001108023,0.00009955683,0.0009429719,0.0001425405,0.000002358319],"category_scores_gemma":[0.00003958486,0.000117552,0.0001820283,0.00009932488,0.00008622392,0.00009544033,0.0004400469,0.0002025685,0.00001578363],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003779755,"about_ca_system_score_gemma":0.0001067788,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008480516,"about_ca_topic_score_gemma":0.00002279417,"domain_scores_codex":[0.9988182,0.00005024886,0.0003648994,0.0003523465,0.0002212725,0.0001930929],"domain_scores_gemma":[0.9986785,0.0001876458,0.0003747496,0.0004701172,0.0002623399,0.00002664774],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009194147,0.0006563527,0.218077,0.002865791,0.0005448912,0.00001526146,0.004418104,0.01205614,0.001540062,0.7329963,0.009607864,0.01713033],"study_design_scores_gemma":[0.001013038,0.0004911805,0.1882519,0.0002037167,0.0002068335,0.00006081552,0.000107507,0.6039514,0.004437777,0.195419,0.004866374,0.0009904534],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04630745,0.000374731,0.9494135,0.001230834,0.001238612,0.0007870132,0.00000647522,0.00009790576,0.0005434218],"genre_scores_gemma":[0.993376,0.000005609857,0.005747646,0.0002187871,0.0002421609,0.0001288594,0.00006323256,0.00001007198,0.0002076556],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9470685,"threshold_uncertainty_score":0.4793629,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0428346645791441,"score_gpt":0.2816500988668588,"score_spread":0.2388154342877147,"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."}}