{"id":"W3206122379","doi":"10.24963/kr.2021/19","title":"An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors","year":2021,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Nondeterministic algorithm; Extensional definition; Action (physics); Computer science; Set (abstract data type); Artificial intelligence; Epistemic modal logic; Situation calculus; State (computer science); Extension (predicate logic); Epistemology; Theoretical computer science; Algorithm; Programming language; Philosophy","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.003285957,0.001060802,0.0005690329,0.001987326,0.001617376,0.004046659,0.002193241,0.002553011,0.004073005],"category_scores_gemma":[0.003815913,0.0006679075,0.001990788,0.001372282,0.01499155,0.01222798,0.002832415,0.003849835,0.0004799581],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003190303,"about_ca_system_score_gemma":0.001443774,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003725685,"about_ca_topic_score_gemma":0.002926283,"domain_scores_codex":[0.9982095,0.0006574649,0.0001243445,0.000364086,0.0004372353,0.0002073821],"domain_scores_gemma":[0.9972553,0.001578629,0.0003158622,0.0004377365,0.0002574479,0.0001549844],"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.000003460717,0.000003308708,0.00004014673,0.0000123476,0.000003136867,0.00003812393,0.0002961461,0.001250566,0.00005706909,0.9966421,0.0001942192,0.001459389],"study_design_scores_gemma":[0.000004250203,0.000006703805,0.00006819679,0.00001894578,0.000008870222,0.00004791754,0.00005954047,0.00506365,0.00009799306,0.989571,0.005046072,0.000006961321],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01296494,0.003877518,0.8546538,0.007548715,0.0003413607,0.00008578816,0.0001905958,0.0002855134,0.1200517],"genre_scores_gemma":[0.7680384,0.002511777,0.2077874,0.001809416,0.0007360834,0.0004565357,0.0001713479,0.0001233771,0.0183657],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004073005,"threshold_uncertainty_score":0.0231474,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02858426920546463,"score_gpt":0.2937491541838794,"score_spread":0.2651648849784148,"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."}}