{"id":"W2172181603","doi":"10.1016/j.artint.2007.02.002","title":"Inductive situation calculus","year":2007,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":60,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Mathematics; Calculus (dental); Situation calculus; Rotation formalisms in three dimensions; Inductive logic programming; Many-valued logic; Monotone polygon; Inductive reasoning; Representation (politics); Algebra over a field; Computer science; Artificial intelligence; Pure mathematics; 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.002516617,0.0009976394,0.0007646158,0.002560815,0.002472768,0.005274772,0.002639839,0.001557693,0.02815249],"category_scores_gemma":[0.005690344,0.0009194145,0.001576448,0.001972464,0.00442106,0.009520422,0.003480258,0.004967642,0.007861235],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002712657,"about_ca_system_score_gemma":0.001791299,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002104555,"about_ca_topic_score_gemma":0.001656912,"domain_scores_codex":[0.9973668,0.0007855677,0.0001737165,0.0005856837,0.000826468,0.0002617409],"domain_scores_gemma":[0.9979867,0.0009794554,0.00007413386,0.0003503267,0.0004754693,0.0001339328],"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.000009841251,0.00001647018,0.00005110272,0.00002699713,0.00000538094,0.00003277702,0.0001566022,0.0002647641,0.0001350844,0.989473,0.002513407,0.007314475],"study_design_scores_gemma":[0.00001008493,0.000004310446,0.00004892088,0.00002047831,0.00001168275,0.00005965399,0.00005536953,0.002049923,0.0003966868,0.9709432,0.02639246,0.000007361014],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006228123,0.001735861,0.6051375,0.003802576,0.0004302108,0.0001928519,0.0008672228,0.001154611,0.3804509],"genre_scores_gemma":[0.4988079,0.003426341,0.3431755,0.002085451,0.0009774942,0.0005638741,0.003401462,0.0006203676,0.1469416],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02815249,"threshold_uncertainty_score":0.09417945,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05741505432868664,"score_gpt":0.3118936394500684,"score_spread":0.2544785851213818,"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."}}