{"id":"W56552273","doi":"10.1007/978-3-540-39451-8_8","title":"Optimality Theory through Default Logic","year":2003,"lang":"en","type":"article","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Default logic; Computer science; Artificial intelligence; Autoepistemic logic; Multimodal logic; Description logic","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.002205272,0.0002897949,0.000290035,0.0001726789,0.0003887611,0.0004799211,0.002698169,0.0001259577,0.00002850252],"category_scores_gemma":[0.0007800101,0.0002228127,0.00009623734,0.002359248,0.000643897,0.001040714,0.000626892,0.0003739257,0.00008665502],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001488736,"about_ca_system_score_gemma":0.0003598787,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002341048,"about_ca_topic_score_gemma":0.00002263505,"domain_scores_codex":[0.9968118,0.0003193142,0.0003113959,0.001162145,0.0005447305,0.0008506043],"domain_scores_gemma":[0.9977124,0.0006640588,0.0001119328,0.001183172,0.0001818576,0.0001465299],"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.000006227958,0.0002106843,0.002566193,0.00001890871,0.00000761212,0.00007784658,0.004405036,0.03935311,0.0005710053,0.7538629,0.00003178397,0.1988887],"study_design_scores_gemma":[0.0003522628,0.0001451574,0.002048341,0.0000298656,0.000003056083,0.0001251593,0.000001802823,0.2049876,0.01256728,0.7786583,0.0006366896,0.0004444604],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005924594,0.0005725518,0.9873009,0.0003757902,0.001547817,0.0001884155,4.758454e-7,0.0002202828,0.003869185],"genre_scores_gemma":[0.5831421,0.000007456083,0.415316,0.001446932,0.00007118743,0.000006058874,2.488081e-7,0.000005084691,0.000004965523],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5772175,"threshold_uncertainty_score":0.9086039,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02187440263970014,"score_gpt":0.2745501081635801,"score_spread":0.25267570552388,"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."}}