{"id":"W2572706305","doi":"","title":"Decidable reasoning in a logic of limited belief with function symbols","year":2016,"lang":"en","type":"article","venue":"RWTH Publications (RWTH Aachen)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Decidability; Non-monotonic logic; Computer science; Function (biology); Completeness (order theory); Deductive reasoning; Semantics (computer science); Description logic; Class (philosophy); Mathematics; Artificial intelligence; Theoretical computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006503364,0.0002106378,0.0002826706,0.0005309043,0.0001566934,0.0001361372,0.000942814,0.0001372101,0.00008492995],"category_scores_gemma":[0.0005766416,0.0001384675,0.0000704765,0.002237004,0.0001093702,0.001316248,0.0002003147,0.0001571131,0.0001360846],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000151187,"about_ca_system_score_gemma":0.0003233915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007175088,"about_ca_topic_score_gemma":0.000193908,"domain_scores_codex":[0.9980272,0.000132324,0.0004240192,0.0006074962,0.0003237366,0.0004852019],"domain_scores_gemma":[0.9976804,0.0003110888,0.0002901607,0.001061607,0.0004835017,0.0001732706],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00003220739,0.0004727979,0.08495232,0.00002419104,0.00004595895,0.000002226548,0.0006222525,0.00003039467,0.001116183,0.8733017,0.001551747,0.03784799],"study_design_scores_gemma":[0.005370851,0.001477447,0.8617283,0.000674963,0.0001004879,0.0001037154,0.0001915548,0.01627714,0.00407903,0.04509686,0.06345982,0.00143989],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05225093,0.0005448564,0.8785825,0.003932879,0.0001879276,0.0006344176,0.000008455334,0.0005190965,0.06333897],"genre_scores_gemma":[0.9690369,0.00003488969,0.0276025,0.0001834874,0.00006507504,0.0002195871,0.00001289301,0.00001811565,0.002826563],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.916786,"threshold_uncertainty_score":0.5646541,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01778734998925226,"score_gpt":0.2328811087589867,"score_spread":0.2150937587697345,"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."}}