{"id":"W3090190944","doi":"10.3233/faia200170","title":"Agent Abstraction via Forgetting in the Situation Calculus","year":2020,"lang":"en","type":"book-chapter","venue":"Frontiers in artificial intelligence and applications","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Abstraction; Forgetting; Calculus (dental); Computer science; Cognitive science; Psychology; Epistemology; Philosophy; Cognitive psychology; Medicine","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.0003352443,0.0001861229,0.0002019218,0.0001613891,0.0001787668,0.0001467207,0.0005557556,0.000170271,0.000008188607],"category_scores_gemma":[0.00002541118,0.0001610054,0.00006607675,0.0002019389,0.00008906846,0.0001752202,0.00008717497,0.0004081223,0.00009753771],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008724676,"about_ca_system_score_gemma":0.00004948737,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003589839,"about_ca_topic_score_gemma":0.0001778491,"domain_scores_codex":[0.9986712,0.00002698243,0.0004450886,0.0004790535,0.0001908642,0.0001867918],"domain_scores_gemma":[0.9992976,0.00008003802,0.0001819115,0.0003377121,0.00004816063,0.0000545882],"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.000002388681,0.00002676062,0.00002289125,0.00001142559,0.000005086994,0.00000389385,0.001362595,0.0001163543,0.00001787364,0.5622939,0.0005041153,0.4356327],"study_design_scores_gemma":[0.00002368948,0.0000385824,0.0001122072,0.00004831924,0.00001824337,0.000006772981,0.0006436355,0.09032655,0.0003276794,0.8307713,0.07736565,0.000317371],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00001500877,0.0006344104,0.939229,0.0011039,0.0002808102,0.0006334432,0.00000316567,0.00004276567,0.05805753],"genre_scores_gemma":[0.9345955,0.002400391,0.04474449,0.001763959,0.002061346,0.001266713,0.0001768363,0.00008409334,0.01290669],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9345804,"threshold_uncertainty_score":0.6565611,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04467535015298014,"score_gpt":0.2700396037851123,"score_spread":0.2253642536321321,"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."}}