{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009090098,0.0001027645,0.0001613814,0.00007494524,0.00009288568,0.0001382019,0.0004820839,0.00004220498,0.000004218301],"category_scores_gemma":[0.0002951953,0.00007178033,0.0000573288,0.0002764485,0.00008434116,0.0002029318,0.0001264413,0.00009380191,0.00002146527],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004313974,"about_ca_system_score_gemma":0.00002495539,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009410419,"about_ca_topic_score_gemma":0.0001216802,"domain_scores_codex":[0.9989142,0.00003621363,0.0004120157,0.0002152871,0.000218208,0.0002040718],"domain_scores_gemma":[0.9991626,0.000187135,0.0001667242,0.0003388667,0.0001094297,0.000035291],"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.00000189099,0.0002511664,0.00008516212,0.00005127021,0.000006389129,0.00001007899,0.02234674,0.0005120959,0.0009132957,0.914084,0.00002560892,0.06171235],"study_design_scores_gemma":[0.00003016409,0.0001057918,0.0004427125,0.0001585636,0.000005635532,0.00001896136,0.002666427,0.0914304,0.07799344,0.8268663,0.0001065836,0.0001750174],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4763122,0.0003376656,0.5189463,0.001927067,0.0001083462,0.0001673963,6.561257e-7,0.0000250152,0.002175272],"genre_scores_gemma":[0.9945959,0.0001298394,0.005043923,0.0001500099,0.00004446796,0.000006401738,5.433243e-7,0.00000419974,0.00002466582],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5182837,"threshold_uncertainty_score":0.2927117,"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."}}