{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0009311388,0.0002307565,0.0002455639,0.0002577831,0.0001599997,0.000172173,0.0009958948,0.0001290552,0.00002371929],"category_scores_gemma":[0.00003297775,0.000241504,0.00005390244,0.001269817,0.00005408483,0.0004018852,0.0002479028,0.0003083557,0.001142056],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000617187,"about_ca_system_score_gemma":0.0001473373,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001049245,"about_ca_topic_score_gemma":0.00002457745,"domain_scores_codex":[0.9978891,0.0000511206,0.0004768803,0.000665988,0.0003256614,0.0005912364],"domain_scores_gemma":[0.9988357,0.0003016104,0.0001281255,0.000558685,0.00005721046,0.0001186878],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002146251,0.0003474564,0.0007294324,0.0003534833,0.00005385406,0.0008793907,0.01510601,0.1395809,0.01637082,0.1471032,0.00568318,0.6735777],"study_design_scores_gemma":[0.0001542549,0.0001074382,0.0005353118,0.0001423539,0.000003702604,0.0000124642,0.0002651832,0.5373216,0.003576535,0.4571499,0.0003084556,0.0004228387],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05520897,0.00003793066,0.9284117,0.0002647117,0.0002768883,0.0004061004,0.000008714831,0.0005074876,0.01487749],"genre_scores_gemma":[0.9248198,0.00002639479,0.07433189,0.0003184907,0.00004834778,0.0001435493,0.00004315748,0.00002090563,0.0002475288],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8696108,"threshold_uncertainty_score":0.9996357,"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."}}