{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003615867,0.0007953767,0.001488866,0.002167081,0.001947591,0.005339233,0.002028984,0.002097503,0.01438382],"category_scores_gemma":[0.007690722,0.000979186,0.001596202,0.001527614,0.006609263,0.01570058,0.003332116,0.005412886,0.001633137],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00401994,"about_ca_system_score_gemma":0.001642422,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002577041,"about_ca_topic_score_gemma":0.002903631,"domain_scores_codex":[0.9972696,0.001012897,0.00017377,0.0006184201,0.0006526753,0.0002726327],"domain_scores_gemma":[0.9966471,0.002040154,0.0001803321,0.0005235333,0.0004596909,0.0001492447],"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.000008384866,0.000004998416,0.00003250301,0.00001246457,0.000004854556,0.000009337514,0.0000318799,0.0004184183,0.0000338582,0.9965413,0.0007601799,0.002141803],"study_design_scores_gemma":[0.000003475718,0.000001024282,0.00001374479,0.000004241822,0.000002411475,0.000005300933,0.000005109466,0.0009685403,0.00002375056,0.9980528,0.0009177913,0.000001642455],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02628978,0.004644459,0.6897546,0.01519732,0.0006773214,0.00006656371,0.000588623,0.0005732544,0.262208],"genre_scores_gemma":[0.8067766,0.003022888,0.1501667,0.001982342,0.001443851,0.000176876,0.0009091573,0.0004708694,0.03505074],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01438382,"threshold_uncertainty_score":0.04811865,"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."}}