{"id":"W4387185195","doi":"10.3233/faia230281","title":"FOND Planning for Pure-Past Linear Temporal Logic Goals","year":2023,"lang":"en","type":"book-chapter","venue":"Frontiers in artificial intelligence and applications","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"Horizon 2020 Framework Programme","keywords":"Nondeterministic algorithm; Correctness; Computer science; Encoding (memory); Linear temporal logic; Observable; Action (physics); Automaton; Simple (philosophy); Temporal logic; Spurious relationship; Theoretical computer science; Algorithm; Artificial intelligence; Machine learning","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.0006412673,0.000475149,0.0002381822,0.000394095,0.0004880692,0.001333954,0.0006616861,0.0005532122,0.005640582],"category_scores_gemma":[0.001967416,0.0003506175,0.0006331477,0.0005453757,0.001318213,0.002439666,0.001278404,0.001117282,0.0009264338],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001219886,"about_ca_system_score_gemma":0.00117778,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002661127,"about_ca_topic_score_gemma":0.003394111,"domain_scores_codex":[0.9995432,0.000158161,0.00003431292,0.00007043617,0.0001492191,0.00004476214],"domain_scores_gemma":[0.9993475,0.0004216258,0.00003996781,0.0001140992,0.0000499419,0.00002697788],"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.0001386905,0.00004766992,0.0003284177,0.0002642944,0.00001678233,0.0002620021,0.0004031276,0.05500438,0.007141847,0.7979436,0.006610715,0.1318385],"study_design_scores_gemma":[0.00004430538,0.0000507999,0.0002162795,0.00009300619,0.00002802055,0.0002574659,0.00009357738,0.3457166,0.0149442,0.5767842,0.06173506,0.00003638019],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01449894,0.0004342763,0.9515136,0.0005315542,0.00006739215,0.00006175034,0.0003464301,0.003565007,0.02898094],"genre_scores_gemma":[0.3001765,0.0007607619,0.6796579,0.0002869281,0.00005015843,0.000164638,0.0008000177,0.0005566896,0.01754639],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005640582,"threshold_uncertainty_score":0.0188697,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08519032252542884,"score_gpt":0.3134233112495748,"score_spread":0.228232988724146,"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."}}