{"id":"W4389742382","doi":"10.1007/s10489-023-05087-1","title":"Temporally extended goal recognition in fully observable non-deterministic domain models","year":2023,"lang":"en","type":"article","venue":"Applied Intelligence","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computer science; Domain (mathematical analysis); Linear temporal logic; Task (project management); Set (abstract data type); Artificial intelligence; Observable; Plan (archaeology); State (computer science); Machine learning; Theoretical computer science; Algorithm; 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.002286767,0.0006909737,0.0006684051,0.0007725588,0.0004052017,0.002057885,0.001430222,0.001180122,0.002062291],"category_scores_gemma":[0.0121329,0.0005355811,0.001245395,0.0005374118,0.001346,0.004114292,0.002577625,0.001625591,0.0003483362],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002020021,"about_ca_system_score_gemma":0.001913713,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01606652,"about_ca_topic_score_gemma":0.01645928,"domain_scores_codex":[0.9977766,0.0007031004,0.0001815912,0.0005319581,0.0005882186,0.0002185892],"domain_scores_gemma":[0.9911697,0.005248212,0.0009265906,0.001494101,0.0008719086,0.0002895753],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004390559,0.0001617478,0.005998643,0.000158463,0.00009669443,0.0005330602,0.0005482984,0.8696083,0.005821324,0.05339584,0.001286349,0.06195223],"study_design_scores_gemma":[0.00000876779,0.00002932844,0.0002542512,0.000009727464,0.000008058063,0.00002987596,0.0000375595,0.9744965,0.002313218,0.02225776,0.0005426838,0.00001217824],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1647712,0.0001515634,0.8262837,0.000394503,0.00003533059,0.0001315347,0.0006544846,0.004199086,0.003378662],"genre_scores_gemma":[0.8080257,0.00008909684,0.1888962,0.0001295441,0.00001076512,0.0001000624,0.0009977408,0.0001505829,0.001600336],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01606652,"threshold_uncertainty_score":0.031946,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05064233811878784,"score_gpt":0.2628539234140657,"score_spread":0.2122115852952779,"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."}}