{"id":"W3093584058","doi":"10.1007/s00354-020-00112-0","title":"Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions","year":2020,"lang":"en","type":"article","venue":"New Generation Computing","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"National Natural Science Foundation of China","keywords":"Inductive logic programming; Computer science; Nondeterministic algorithm; Logic program; Dynamic logic (digital electronics); Artificial intelligence; Logic programming; Multimodal logic; Theoretical computer science; Programming language; State (computer science); Interpretation (philosophy); 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.000106407,0.0001628571,0.0001731751,0.00003937748,0.0003374018,0.0004134642,0.00032263,0.00006659555,0.00001989174],"category_scores_gemma":[0.0001252268,0.0001568628,0.00008476679,0.0003191882,0.00002385166,0.0003087498,0.0001047441,0.0002185724,0.00009654288],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000412515,"about_ca_system_score_gemma":0.0001034863,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002234646,"about_ca_topic_score_gemma":0.00002187932,"domain_scores_codex":[0.9986632,0.0001501726,0.0002746794,0.0005052238,0.0001889009,0.0002177921],"domain_scores_gemma":[0.9993541,0.00008590016,0.0001348583,0.0001520839,0.0001026985,0.0001703808],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001274524,0.00007400655,0.0008766556,0.00001332312,0.00004273787,0.00001793071,0.04793704,0.03776057,0.009791718,0.022161,0.0006018791,0.8807104],"study_design_scores_gemma":[0.0003192047,0.0003328813,0.000426742,0.0000200724,0.00001420482,0.000002987997,0.0001494308,0.9960718,0.0007370039,0.001098472,0.0006408462,0.0001863635],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03629418,0.00007705154,0.9595675,0.0011886,0.0004846696,0.0001800343,6.795408e-7,0.0004118778,0.001795346],"genre_scores_gemma":[0.9215685,0.000001808248,0.07636201,0.0007635601,0.00112818,0.000004877023,0.00008275923,0.00001043833,0.00007786145],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9583112,"threshold_uncertainty_score":0.639668,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04480490933102638,"score_gpt":0.2609039098683966,"score_spread":0.2160990005373702,"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."}}