{"id":"W2771250101","doi":"","title":"Why Rules are Complex: Real-Valued Probabilistic Logic Programs are not Fully Expressive.","year":2017,"lang":"en","type":"article","venue":"Uncertainty in Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Probabilistic logic; Programming language; Probabilistic argumentation; Theoretical computer science; Logic program; Probabilistic logic network; Description logic; Logic programming; Artificial intelligence; Multimodal logic; Autoepistemic 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.006639971,0.0005135943,0.001010106,0.001304695,0.00129893,0.009373823,0.0025238,0.003144892,0.006128637],"category_scores_gemma":[0.04450101,0.001004159,0.001690489,0.001438048,0.007057454,0.02296343,0.003493684,0.005523348,0.001264785],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0011751,"about_ca_system_score_gemma":0.001698074,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002841504,"about_ca_topic_score_gemma":0.002407858,"domain_scores_codex":[0.9944448,0.001959086,0.0005035811,0.001127537,0.001531103,0.0004338716],"domain_scores_gemma":[0.9646045,0.02593311,0.00232307,0.004415453,0.00204561,0.000678284],"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.00006649075,0.0000302789,0.001106179,0.0002105992,0.00008357085,0.0002164901,0.0006083101,0.008001926,0.0008463708,0.9594779,0.003897108,0.02545468],"study_design_scores_gemma":[0.000009047198,0.000003182186,0.0001305058,0.00002931035,0.00001316681,0.00007968306,0.0001002087,0.00850206,0.0002905923,0.9883768,0.002455195,0.00001029773],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0688198,0.002830093,0.8456652,0.02781332,0.0003698274,0.0001223087,0.001343111,0.001318425,0.05171788],"genre_scores_gemma":[0.8292481,0.001743337,0.160328,0.002803623,0.0002720758,0.0001806796,0.0009621225,0.0003409306,0.004121154],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009373823,"threshold_uncertainty_score":0.03511596,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1345770587479101,"score_gpt":0.3333605007034456,"score_spread":0.1987834419555355,"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."}}