{"id":"W2059326695","doi":"10.1023/b:amai.0000034523.18162.6b","title":"Representing von Neumann–Morgenstern Games in the Situation Calculus","year":2004,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Von Neumann architecture; Formalism (music); Stochastic game; Nash equilibrium; Game theory; Computer science; Variety (cybernetics); Situation calculus; Mathematical economics; Mathematics; Calculus (dental); Artificial intelligence; Pure mathematics","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.003294249,0.001098678,0.001453636,0.00155597,0.002650348,0.008074849,0.002581897,0.002375895,0.008813257],"category_scores_gemma":[0.007197719,0.000922984,0.002214518,0.001904017,0.004063303,0.01217162,0.004176076,0.002930384,0.001237168],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002574301,"about_ca_system_score_gemma":0.001959359,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004312017,"about_ca_topic_score_gemma":0.004412007,"domain_scores_codex":[0.9970546,0.001274066,0.0002244731,0.0003770846,0.0005918785,0.0004778609],"domain_scores_gemma":[0.9980236,0.001012507,0.0001831752,0.0003105996,0.0002625355,0.0002074762],"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.0000387006,0.00002019763,0.00008753495,0.00002155151,0.00001333928,0.00008172361,0.0002310287,0.007787183,0.0002788253,0.9883224,0.0003503128,0.002767158],"study_design_scores_gemma":[0.00001707056,0.000007944478,0.00001691028,0.000009879946,0.00001298148,0.00002298504,0.00006066827,0.03284682,0.0002413105,0.96471,0.002042101,0.00001130733],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07060285,0.0009601968,0.8733456,0.002076401,0.0003576181,0.000153059,0.000374921,0.0007182272,0.05141103],"genre_scores_gemma":[0.8226455,0.000742665,0.1645773,0.0002771274,0.0001909759,0.0001918032,0.0003620596,0.0001690527,0.01084356],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008813257,"threshold_uncertainty_score":0.02948332,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1286554961339966,"score_gpt":0.3436359137128901,"score_spread":0.2149804175788935,"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."}}