{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000116873,0.0001053126,0.0001499862,0.00008606279,0.0001812337,0.00008423321,0.0001038798,0.00005738072,0.00001736341],"category_scores_gemma":[0.00008654501,0.00009157748,0.00001855877,0.0002083111,0.00004538817,0.000325784,0.0002109699,0.00007650008,0.00001018052],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001374259,"about_ca_system_score_gemma":0.00007826609,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001913434,"about_ca_topic_score_gemma":0.0000667964,"domain_scores_codex":[0.9991053,0.00003135971,0.0001555931,0.0004275204,0.000145466,0.000134759],"domain_scores_gemma":[0.9990872,0.0001319187,0.0000476915,0.0002441191,0.0003201707,0.0001688688],"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.00004867892,0.0006252524,0.005321494,0.0001197248,0.00006479257,0.00003817673,0.002129575,0.0001396657,0.4317235,0.4733543,0.001561112,0.08487365],"study_design_scores_gemma":[0.001522929,0.0008051312,0.4682158,0.0001506868,0.0001032259,0.002431835,0.001631023,0.4208773,0.06322819,0.01269242,0.02718593,0.001155594],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9100583,0.0003372034,0.08630814,0.001081109,0.0001548955,0.0001879724,0.00001000574,0.00007452803,0.001787896],"genre_scores_gemma":[0.983528,0.0001032143,0.01537011,0.000340034,0.00004285467,0.00001411916,0.000005631012,0.000005447749,0.0005906213],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4628943,"threshold_uncertainty_score":0.3734421,"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."}}