{"id":"W2911540882","doi":"10.4149/cai_2018_6_1411","title":"Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction","year":2018,"lang":"en","type":"article","venue":"Computing and Informatics","topic":"Context-Aware Activity Recognition Systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University of Edmonton; École de Technologie Supérieure; Université du Québec à Montréal","funders":"","keywords":"Probabilistic logic; Probabilistic CTL; Computer science; Model checking; Temporal logic; Context (archaeology); Probabilistic argumentation; Linear temporal logic; Theoretical computer science; Task (project management); Probabilistic relevance model; Artificial intelligence; Property (philosophy); Machine learning; Probabilistic analysis of algorithms","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.0005426912,0.0001238913,0.0001884691,0.00008574306,0.0003561816,0.0002991841,0.0001494994,0.00006581327,2.960113e-7],"category_scores_gemma":[0.0001227859,0.0001153468,0.00002792773,0.0001071294,0.0001005386,0.0005820119,0.0002077191,0.00008132382,0.000001959584],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003634728,"about_ca_system_score_gemma":0.00006150259,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001270732,"about_ca_topic_score_gemma":0.000004808387,"domain_scores_codex":[0.9990853,0.00002323411,0.000413373,0.0001511575,0.0001221169,0.0002047867],"domain_scores_gemma":[0.9991378,0.0001499815,0.0002366075,0.00018401,0.000218935,0.0000726685],"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.00003447434,0.00009377373,0.00645125,0.001199244,0.00007892882,7.828982e-7,0.03967643,0.005052621,0.0003064694,0.02011643,0.0006822373,0.9263074],"study_design_scores_gemma":[0.0003934827,0.0001373747,0.0001405396,0.0001446876,0.000008816299,0.0000589158,0.0003456186,0.9952132,0.00006376451,0.002946738,0.0004178339,0.0001290307],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2131276,0.00003959307,0.7857875,0.00003510303,0.0002574552,0.00028442,0.000005576816,0.0001186547,0.0003441026],"genre_scores_gemma":[0.8934131,0.00000179964,0.1061966,0.0002231647,0.000140371,0.0000038877,0.000003154467,0.000005497435,0.00001246126],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9901606,"threshold_uncertainty_score":0.4703706,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1038689667459356,"score_gpt":0.3104117797728971,"score_spread":0.2065428130269615,"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."}}